{"entities":{"Q5949490":{"pageid":8126292,"ns":120,"title":"Item:Q5949490","lastrevid":47706526,"modified":"2026-01-02T11:58:50Z","type":"item","id":"Q5949490","labels":{"en":{"language":"en","value":"Model checking of safety properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1675859"}},"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":"Q5949490$BB4AF95A-2F39-4CBE-B12F-4E74890646D7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e816919a991c76813ee1f452c8855ad644d36e7c","datavalue":{"value":{"text":"Model checking of safety properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5949490$973CF062-9294-4B97-8EEE-356097AECFC6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"147c35f8af19efd45302ce8736f5266b7d77f452","datavalue":{"value":"0995.68061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5949490$03F57AFB-6B36-4174-B10F-4E7B2E070E62","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"254471cae42181ba468f1356b7a0e8aded99ebf0","datavalue":{"value":"10.1023/A:1011254632723","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5949490$F4978197-EFA2-4BCB-9B4C-733F5FA95C61","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3315bf391c0a058853db1fdd065cc2cb8ff023ce","datavalue":{"value":{"entity-type":"item","numeric-id":216121,"id":"Q216121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5949490$145F344E-8B17-4893-A18B-24BE4AEBD8CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce87cbb6ded942a7df2b71cd7e21808de8efe775","datavalue":{"value":{"entity-type":"item","numeric-id":208771,"id":"Q208771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5949490$76C64D28-2EEF-4A04-8D00-5AAB76BFDF0B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5949490$08FACB89-DB8A-43D2-A094-83B46EF99154","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"33deb7435c5ee5b6b3ea3d7b4c4d6fcc7ae7c836","datavalue":{"value":{"time":"+2002-04-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5949490$550515EF-F521-445A-9101-E763430983CA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5949490$BC2A681F-401A-4EAF-8667-76A0632FF7C6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"81e10fa3f892334de2a9a5d70566528be62895dd","datavalue":{"value":"1675859","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5949490$483468FF-C9B6-49DB-8D69-E83B0473C613","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5949490$53FFDBDC-86C1-4131-8152-A792D10DFCB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e07787a1cd26c789140f5c3150ac09bb65f07f7","datavalue":{"value":"safety properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q5949490$20FB706E-F598-4D21-9189-ED411F8387F9","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":"Q5949490$308013D2-0F64-4D65-87AC-1211D7E2D54A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"abcb9f0cfca9d086f84d4c120933d08ad352f2bb","datavalue":{"value":"https://doi.org/10.1023/a:1011254632723","type":"string"},"datatype":"url"},"type":"statement","id":"Q5949490$0FBCF9FF-7D51-4694-9E43-5E8D22942A92","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4197592279f79899571570e95769923f7ece8ef5","datavalue":{"value":"W1540883472","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5949490$E720EBC9-0881-4DC2-A24F-C4DA5D006B1D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ee9bb487e42d58863493a0464e41fd1889af49e5","datavalue":{"value":"Q64410838","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5949490$E96F5A79-1F43-40EC-9038-04F37D4425BC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef0e61f424e98c0fa4b18ca991a4993a14787a86","datavalue":{"value":{"entity-type":"item","numeric-id":4817542,"id":"Q4817542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0314595eb8184fb43f85a24426ba99aeb51b42f","datavalue":{"value":{"amount":"+0.9883379340171814","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":"Q5949490$E43B12E7-7D58-4AEE-9A2F-F564FE151CD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efbc586ad0abe505d6161c31ca23038c1cb08e75","datavalue":{"value":{"entity-type":"item","numeric-id":3522903,"id":"Q3522903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7bc10f72e7db8131346fcee91144b811f52e8ea","datavalue":{"value":{"amount":"+0.8180370330810547","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":"Q5949490$15A6D35A-652D-4C57-A8E8-22D1C00AAC48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4b0f68188bcd501061d0fa1ab7c48e11db3eddc","datavalue":{"value":{"entity-type":"item","numeric-id":4426372,"id":"Q4426372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4641d97106ad5bb973058489044e08efd97faf03","datavalue":{"value":{"amount":"+0.7779493927955627","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":"Q5949490$8A158354-4CE4-4F24-ADCC-39F02396B207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1efbdcc87bdf4d278948a3598f0651896e7d1486","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4641d97106ad5bb973058489044e08efd97faf03","datavalue":{"value":{"amount":"+0.7779493927955627","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":"Q5949490$C9C8025C-8E93-4570-8079-97FD8CF8A8E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2567372ccab0053b8ac04a6c83539f1eb0df533f","datavalue":{"value":{"entity-type":"item","numeric-id":1100884,"id":"Q1100884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db63f9d5cbb1952324a860a117a3f879f001d222","datavalue":{"value":{"amount":"+0.7648022174835205","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":"Q5949490$D0F3194E-6A5D-4E0D-81D2-91827A7598D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5949490","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5949490"}}}}}