{"entities":{"Q3176363":{"pageid":3187073,"ns":120,"title":"Item:Q3176363","lastrevid":53149451,"modified":"2026-01-24T08:06:19Z","type":"item","id":"Q3176363","labels":{"en":{"language":"en","value":"Explicit-state model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6908871"}},"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":"Q3176363$F69CAB48-A6D5-4FC0-9E26-762BD5190F13","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"361c39b8589bf3f59334bb2b4fdd6af2c722fca6","datavalue":{"value":{"text":"Explicit-State Model Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3176363$20EEA071-7122-4953-966B-F8FFF2880DD6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8176fb7250fa9398299bf404f71b855fef91320a","datavalue":{"value":"1392.68252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3176363$EDD3CB16-DF31-423A-BC20-0E17050F6C1C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"39546c333ce4693e62ac0cacf71fca3fb8be19b9","datavalue":{"value":"10.1007/978-3-319-10575-8_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3176363$1381763B-B214-48CD-92BA-1753D7E50BF0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c71d300b782446b6b37501a598b7cff0cbb855f6","datavalue":{"value":{"entity-type":"item","numeric-id":3176358,"id":"Q3176358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176363$10B8BB2B-EA29-4196-959F-8CE770D8F000","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"14df3d82559b6ebe5d0cc96241f3d08d6077f97e","datavalue":{"value":{"time":"+2018-07-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3176363$6D41F155-242D-4325-B2D3-FD38F5402374","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3176363$E34CCCBD-627D-4B3B-B175-9943FFC9B771","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2ea246cc8226a2f571405a8caed7440d3746ab7c","datavalue":{"value":"6908871","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3176363$C3168CED-E0EB-43BB-A724-EB6E0AE3336D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"014c09e7b90e04a7c11fd7dd1957177e28b3dbc8","datavalue":{"value":{"entity-type":"item","numeric-id":539427,"id":"Q539427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176363$96C96F34-4DF6-4A0A-8323-0BCAA7D0A5B7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176363$28943BB7-8C07-4CE7-ADAC-EC6F7D6BDB45","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":"Q3176363$4A681E80-E466-4FDA-8188-82176C91D532","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"093621abacface8d31a3ddafae0c5f42657e9a55","datavalue":{"value":"https://doi.org/10.1007/978-3-319-10575-8_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q3176363$543B5D30-1E6E-4FC4-92D4-5378DD0664A9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"49c2e97e91067b00c91a4cebbf124c7626dbc863","datavalue":{"value":"W2804745155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3176363$97FE47A8-B95B-4C1A-AF06-AE7FA5441B1E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"59662ecff9226028dbce352166d97fa2fc566331","datavalue":{"value":{"entity-type":"item","numeric-id":421218,"id":"Q421218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176363$A4660D5E-1DB4-4C07-96C3-F9C49E352742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01d7d3ccc3684bd24073efc75ecbe050838f84f1","datavalue":{"value":{"entity-type":"item","numeric-id":5591930,"id":"Q5591930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176363$8A255A4E-A649-4195-A117-95918AD4F420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecfeba6cd86a19e7a860f35108ad7ce4126ba3d9","datavalue":{"value":{"entity-type":"item","numeric-id":4037099,"id":"Q4037099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176363$0F8CFE82-3FB9-4119-908C-304C2B1C4CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dbc4d8ff84bb31a0b40416f4ca5b5fa8411ef78","datavalue":{"value":{"entity-type":"item","numeric-id":3176371,"id":"Q3176371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176363$FD1471F2-8FAC-4678-B676-7F3A2A3A867D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a5b46a43271cb7bdb8bd8f6aed80d0b79118e81","datavalue":{"value":{"entity-type":"item","numeric-id":4536600,"id":"Q4536600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176363$5EE980FF-26CB-4D18-BB66-A5357D988AF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b79af6a5c8ccef23df3c894d22ff4a374f81521f","datavalue":{"value":{"entity-type":"item","numeric-id":539429,"id":"Q539429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176363$1E3A441C-C441-4591-8CD0-A48FBD231F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31067e58485990e94b288d36b9237062670ad8fb","datavalue":{"value":{"entity-type":"item","numeric-id":4356435,"id":"Q4356435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176363$1ED633C8-A188-43E4-9F68-6AE5B5AFD2E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176363$C7CB38A9-4F9F-48A3-BF83-D95DC84DFE96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7131dac0d66d9f310e3fc8e728a43b6e8a0e805","datavalue":{"value":{"entity-type":"item","numeric-id":3176364,"id":"Q3176364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176363$568E13A7-CE44-49E1-A9F4-3536D2B944AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78e7da1576a6992c53b5deb6ba9a2a8e687262eb","datavalue":{"value":{"entity-type":"item","numeric-id":4319638,"id":"Q4319638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176363$DE070934-B468-4132-A02C-F59CF4241529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be1d7bb0141c600a3415908525c502c9ffc451c","datavalue":{"value":{"entity-type":"item","numeric-id":1341752,"id":"Q1341752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176363$66E44C7C-61AE-45DE-ACE4-D5FD1C6A053E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35c2aa9459e4987e2bcf011aab4603c4ee4a4afe","datavalue":{"value":{"entity-type":"item","numeric-id":5175096,"id":"Q5175096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf559efd5bf4a11f225d15a3f57369c8dd57dd30","datavalue":{"value":{"amount":"+0.8181095719337463","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":"Q3176363$A607B53E-C0AE-4CAE-9ECD-482677EDBCA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ebfb906a9656037721472a56ba99dbe61d2c330","datavalue":{"value":{"entity-type":"item","numeric-id":4885877,"id":"Q4885877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb36f2d6aa7fbbe95e7402f0175f7361a4b0aa57","datavalue":{"value":{"amount":"+0.8056761622428894","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":"Q3176363$56B724D7-31C6-4C0D-9FDB-91CF005FCF9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04d3f140e56d093502c355c663252673480b2e81","datavalue":{"value":{"entity-type":"item","numeric-id":2733893,"id":"Q2733893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb36f2d6aa7fbbe95e7402f0175f7361a4b0aa57","datavalue":{"value":{"amount":"+0.8056761622428894","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":"Q3176363$C2CB6BF1-42AB-4BF5-B76E-EA8109101886","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":"cff9e0382a52e904ffdc63ef664d774f341d4c59","datavalue":{"value":{"amount":"+0.7956852912902832","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":"Q3176363$01CAAE37-9842-478F-95E3-6863844E0B55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1a0b4111a50d568c974f205e7c8bcf650e98200","datavalue":{"value":{"entity-type":"item","numeric-id":3176359,"id":"Q3176359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14e38e70131d12bbd9698153edc606c1927bb74b","datavalue":{"value":{"amount":"+0.7871145009994507","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":"Q3176363$AF2C6EE7-5D9B-4614-8D41-81EBB8227ECA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3176363","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3176363"}}}}}