{"entities":{"Q4576204":{"pageid":6605793,"ns":120,"title":"Item:Q4576204","lastrevid":97229111,"modified":"2026-06-05T13:38:56Z","type":"item","id":"Q4576204","labels":{"en":{"language":"en","value":"Abstraction-based verification of infinite-state reactive modules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6902539"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4576204$A27256B3-CA9A-4CFF-AF7F-4B00915E993D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"78f90d4a2286183b0eb38357663f08ae6c7fd9a4","datavalue":{"value":"1403.68299","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4576204$0EA30BFB-815C-46EE-998E-5D0406A76D73","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"621d0f0587117ef7ff4ba8491e1e7d4efb1b343c","datavalue":{"value":"10.3233/978-1-61499-672-9-725","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4576204$A48815E8-F221-4CBF-AC1B-83BDB3BDCA02","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"52000320d108ee6b6146ae320a672f6ae77321de","datavalue":{"value":{"entity-type":"item","numeric-id":785240,"id":"Q785240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4576204$26CE985C-57E9-4F11-BB96-D75AE0319070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"45ff5eb95cd0f47a5dcbb6509988939501b112b5","datavalue":{"value":{"entity-type":"item","numeric-id":598544,"id":"Q598544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4576204$BDFDA4CB-5D59-4BDA-B260-D803D1C5F527","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4e8d96050dc8f97139400c8a4bb666fa6fdd207e","datavalue":{"value":{"time":"+2018-07-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4576204$8A1FC628-0B40-4A9F-8BA9-71C34004C18B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4576204$7001DF3F-AE54-4CBD-81F8-766E39958BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4576204$F6C36997-0919-4773-ADDF-86E2851522B3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"013c240096446e137f883e2b64e87a5df9ed32bb","datavalue":{"value":"6902539","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4576204$1AEA6E9F-9FE2-4240-8208-13DA9F5A6B92","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4576204$1BD30F47-011C-4707-96A2-57946E136D56","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"86f1542e0d5be2dd74072f9b29fc441fc54d9ce3","datavalue":{"value":"https://spiral.imperial.ac.uk/bitstream/10044/1/50041/9/FAIA285-0725.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q4576204$9DCFA363-0553-49F8-A6CF-C7DB7D88FCA2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a950418b8f07f669c90ee20b7ce8d1208e4c9ec9","datavalue":{"value":"W2579560823","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4576204$3B2AED98-4D28-46B9-9B15-ACC1B2BF96CD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"87aff024070a45dc4d66e2e416f4d6b00f5835df","datavalue":{"value":{"text":"Abstraction-Based Verification of Infinite-State Reactive Modules.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4576204$F020AEB7-92C2-4C23-A429-8FB40455BA3D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f67ae514caaf72d6aeeb083672729e52fcb8fd03","datavalue":{"value":{"entity-type":"item","numeric-id":5282957,"id":"Q5282957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ddc555158f0108454db670cfb9892bec1134156","datavalue":{"value":{"amount":"+0.7759621143341064","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4576204$19F83575-32C1-40BD-90EE-20DA11F8FCA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79e3da64809ca2ceb798b0bb93f137e26c683a09","datavalue":{"value":{"entity-type":"item","numeric-id":3601792,"id":"Q3601792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4558e8ff7ad67553e13bbf2531d7bdae9998f1cc","datavalue":{"value":{"amount":"+0.7672300934791565","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4576204$FBE6DEE7-A3FB-481C-A785-A9A8B42EB4E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed698453a8d36a99f925c48feb44c6c20261623c","datavalue":{"value":{"entity-type":"item","numeric-id":4576181,"id":"Q4576181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"def3c91a973ed1273ab2893ff9c234f2f7f153cf","datavalue":{"value":{"amount":"+0.7519163489341736","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4576204$19F08DB0-A382-49ED-A231-F2B612A6D237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f781772082feb26f543ab51b1165198d94d1216","datavalue":{"value":{"entity-type":"item","numeric-id":3003426,"id":"Q3003426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"601ab8a313ece3a6830c851ebd142823288759c8","datavalue":{"value":{"amount":"+0.7441520094871521","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4576204$D69D98BA-61E6-44EA-9F40-3DAFAB826F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01514d559d58832684c19c4d29bada8db50d7810","datavalue":{"value":{"entity-type":"item","numeric-id":939163,"id":"Q939163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5dafa557d900200092b464a6e218518f8d4532d","datavalue":{"value":{"amount":"+0.7368541359901428","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4576204$AA5D2C75-AAA5-4F20-A4ED-D33384AA8B88","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Abstraction-based verification of infinite-state reactive modules","badges":[]}}}}}