Weryfikacja modelowa (Q644726): Difference between revisions

From wikibase-docker
Jump to navigation Jump to search
(‎Changed an Item: Updating statements of entity ["Weryfikacja modelowa" (pl), "Weryfikacja modelowa" (en)] with Lapacz)
(‎Changed an Item: Updating statements of entity ["Weryfikacja modelowa" (pl)] with Lapacz)
 
Property / P4 (Deleted Property)
Logika temporalna Property P4 not found, cannot determine the data type to use.
 
Property / P4 (Deleted Property): Logika temporalna Property P4 not found, cannot determine the data type to use. / rank
Normal rank
 
Property / Type
 
Property / Type: Unknown / rank
Normal rank
 
Property / Version
Philippa Eilhart
 
Property / Version: Philippa Eilhart / rank
Normal rank
 
Property / National Library Identifier
 
a0000002887653
Property / National Library Identifier: a0000002887653 / rank
 
Normal rank
Property / Related Subject
 
Property / Related Subject: Logika temporalna / rank
 
Normal rank
Property / Related Subject
 
Property / Related Subject: Weryfikacja oprogramowania / rank
 
Normal rank
Property / Type
 
Property / Type: Unknown / rank
 
Normal rank
Property / Version
 
P38110T34241
Property / Version: P38110T34241 / rank
 
Normal rank

Latest revision as of 17:49, 28 November 2023

No description defined
  • Model checking
Language Label Description Also known as
English
Weryfikacja modelowa
No description defined
  • Model checking

Statements

a0000002887653
0 references
0 references
P38110T34241
0 references