{"entities":{"Q2894558":{"pageid":2905283,"ns":120,"title":"Item:Q2894558","lastrevid":84902225,"modified":"2026-06-03T05:06:35Z","type":"item","id":"Q2894558","labels":{"en":{"language":"en","value":"Specification guidelines to avoid the state space explosion problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6051379"}},"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":"Q2894558$A7F9042E-26FF-46BB-A4A4-639ABC2A32A8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ce209d668efa70b0cffd8f16f044d141469ad408","datavalue":{"value":{"text":"Specification Guidelines to Avoid the State Space Explosion Problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2894558$2BE31C86-ED56-4012-9C12-80F198C7E2E1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"73ab8a9797950e1f6d56219bcb8401671bcd43de","datavalue":{"value":"1353.68178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894558$456DCD34-624B-4344-91DF-FA2E9AA84334","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"81b2f26a2e0d7f4cd39db60354c5358b80309933","datavalue":{"value":"10.1007/978-3-642-29320-7_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894558$83B14463-3483-466F-930A-315A02FF29E5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4d54284fa63e7ffb6f80344c0baa18d8a9790f7","datavalue":{"value":{"entity-type":"item","numeric-id":169680,"id":"Q169680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894558$98309C48-284F-42E8-BC6E-788BD6E45A46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f45d67c80e1545d53dd140c32f57affc0058698f","datavalue":{"value":{"entity-type":"item","numeric-id":2894556,"id":"Q2894556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894558$593A49D1-E873-4E34-B618-583A8D0FC9D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f119cdb9c3f10483ecc1c5ce68da3f6a325dc7cd","datavalue":{"value":{"entity-type":"item","numeric-id":2894557,"id":"Q2894557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894558$A3EDA5EC-B4F1-4481-BC23-6BC74CFA6423","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dead0a4f465a856a9668a57715bd30d3d7951a4f","datavalue":{"value":{"entity-type":"item","numeric-id":2894546,"id":"Q2894546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894558$66A95823-786C-4694-997F-72CA2ADF7672","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f01ce0deea26f8c7917713e0a65a223f09cb75c0","datavalue":{"value":{"time":"+2012-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2894558$2979EDA9-A47C-433B-ADC1-1B7BF5215A7B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"03ee83a365cb02abbefad21b542c772449272195","datavalue":{"value":"https://research.tue.nl/nl/publications/specification-guidelines-to-avoid-the-state-space-explosion-problem(97840eac-515c-4c29-83af-a03bac258c97).html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2894558$415DEEDC-54A6-4F52-A7EE-16A016150298","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894558$373B41FB-3210-450F-8E14-FA44BEE7C32F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"10b62b1d7a132e95f179434924ce02254455415f","datavalue":{"value":"6051379","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894558$63428FCE-DE7B-4AE5-B364-0569D2E2850F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aebff9b1148599b7684bc75e9b59744c26ca680b","datavalue":{"value":"design for verifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q2894558$131C1052-0D69-4E01-8F9E-C2DFFCC132E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"765ffee977ae5b7e710f94454301def099ab751f","datavalue":{"value":"specification guidelines","type":"string"},"datatype":"string"},"type":"statement","id":"Q2894558$7E8C58A7-68F8-468C-BB9C-158A34B2A05C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b56d664759feaf523f20560e46308abc4f86bdd","datavalue":{"value":"state space explosion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2894558$0653B108-35CB-49B3-B9A1-05C8C4523AB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2894558$EB98503F-2FD3-427F-98FC-4A9CEEE14EB7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"abde918e525ebd74af14326f8ceb67bfaf5c3838","datavalue":{"value":{"entity-type":"item","numeric-id":14230,"id":"Q14230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894558$598C0B6D-5A1C-40F2-BFE9-7FF945AE938A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5a8414726934ad74fc66bfb4dfdb61eea21cec47","datavalue":{"value":{"entity-type":"item","numeric-id":18479,"id":"Q18479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894558$EAFEDDF1-356F-48ED-92F0-C59F31F00785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8860b2cd15c94f68eddbbb4c1da7b2e3d0978f1b","datavalue":{"value":{"entity-type":"item","numeric-id":17140,"id":"Q17140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894558$B4F5E6B9-3398-4612-95ED-F09ADC7728B9","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":"Q2894558$F1758F6B-CB74-4E2B-962A-20AF2FC265B5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"569e983ebde2dd6c08f6dfe9926a50b0b8584555","datavalue":{"value":"W2117113976","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894558$2E8BC996-E83E-40CA-BE15-16C8653ACBD1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e8e16bcfa7d0d1b1535479f664109d58dd01aad","datavalue":{"value":{"entity-type":"item","numeric-id":4037084,"id":"Q4037084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c8b325a4194281f5c0d70a8aca0b9eb15b46ff7","datavalue":{"value":{"amount":"+0.7465659379959106","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":"Q2894558$4AD916F8-53D5-433F-89B3-843D2D035FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb884e1e74db5df3cf025232ab92443b4c905928","datavalue":{"value":{"entity-type":"item","numeric-id":5312978,"id":"Q5312978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cfb0c00a8e2e384c9aa56d7cc459ef7abb96c2c","datavalue":{"value":{"amount":"+0.7465658783912659","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":"Q2894558$7496097F-049F-4A73-B6F8-8DB72F84654F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49161caaa7eaf39f629db1a92ad320d38e825cea","datavalue":{"value":{"entity-type":"item","numeric-id":4472430,"id":"Q4472430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a80280be794018e05cbaabaddc6566e9262544cb","datavalue":{"value":{"amount":"+0.7046379446983337","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":"Q2894558$4900DD76-9C8A-418F-9112-DBAC0167A99D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"664ee6ce245c2bec86eb5428568691fb1e0409cc","datavalue":{"value":{"entity-type":"item","numeric-id":5505552,"id":"Q5505552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d876051bdbbad3028c46dcd36a1509277e08228","datavalue":{"value":{"amount":"+0.7035620808601379","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":"Q2894558$4FD31BED-A065-4FC0-B2C7-93DA2C4EFCEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e193be16922ac5039a5905cc569127ff5d8c0e53","datavalue":{"value":{"entity-type":"item","numeric-id":2866408,"id":"Q2866408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"010d7d8349e5aeee8b14bcad7aac8f98012f9304","datavalue":{"value":{"amount":"+0.6993101239204407","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":"Q2894558$D3699551-1C10-4709-852B-702F8DDFD8B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Specification guidelines to avoid the state space explosion problem","badges":[]}}}}}