{"entities":{"Q3461297":{"pageid":5240697,"ns":120,"title":"Item:Q3461297","lastrevid":52438151,"modified":"2026-01-22T15:52:54Z","type":"item","id":"Q3461297","labels":{"en":{"language":"en","value":"A symbolic model checker for propositional projection temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6531898"}},"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":"Q3461297$0F76C3EE-EC6B-4428-897E-2BA73A11BD98","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9f96d81825f315f29be2786bbd98b691b63e3d89","datavalue":{"value":"1340.68048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3461297$69F54549-2778-4CE9-B43D-C6001BB2EE41","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa5a6a605342fabfcab55c1f14f867953451facb","datavalue":{"value":{"entity-type":"item","numeric-id":338657,"id":"Q338657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3461297$D10AAD29-920A-42A9-9D13-9DADAFD50F6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"30d9aa89bda10e60a2b2b6e5c4297a8a726a7ab3","datavalue":{"value":{"entity-type":"item","numeric-id":247891,"id":"Q247891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3461297$9C7730D4-C173-4C23-B4E6-1FB6217752C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a609b2ef279983861f343210b9163170e4168f1","datavalue":{"value":{"entity-type":"item","numeric-id":382628,"id":"Q382628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3461297$F6FA3B33-781D-473F-90C5-91EB4EA390F7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8c2e70900021c1099dc2c52f195923a82bcef5cb","datavalue":{"value":{"time":"+2016-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3461297$8534F58C-6D6A-42FC-AAE7-66D2B53E65BC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3461297$8ACE256C-0D1A-42FD-9FAB-EEB40A4207E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3461297$E4E766C4-CBF0-4E6A-ACFD-85DB92AE81E3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eddfd2a998fbcfebb566e97ce7902f657288ed4e","datavalue":{"value":"6531898","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3461297$68F4271E-FCBE-4A47-AF43-81EF94AAE0C5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"261888da12e497343a706346470f9845c915722e","datavalue":{"value":"symbolic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3461297$C2E3C34D-2A62-42D6-B0C0-09F12E760564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3461297$4C03A262-0B35-4181-85D2-C60A30F12DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bda40ec213904c1453e8a281472f9239bacbf0a6","datavalue":{"value":"model checker","type":"string"},"datatype":"string"},"type":"statement","id":"Q3461297$A120A282-25B1-4C0E-8059-011294001334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26bde4b820520ee21f558bbce155c3757511bf35","datavalue":{"value":"embedded system verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3461297$FA3D8DCD-E0A3-486A-B105-7473DA866C31","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1bc012cf10551bf42bb05efd85ce69678e698524","datavalue":{"value":{"entity-type":"item","numeric-id":16622,"id":"Q16622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3461297$7F337085-FA68-4261-B5FD-327B9ADC08E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3461297$57574042-F3A7-486D-82F7-312D85606115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"305af11eed1a29260da4de564a0e820dae1765ae","datavalue":{"value":{"entity-type":"item","numeric-id":26673,"id":"Q26673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3461297$42893BB9-B19B-4602-A071-DA7A215EC33D","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":"Q3461297$F1133F6A-EE7A-4B52-82B8-2D9AD592812B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a7ab2a9c276404b262ab080a6300ea7fe35da7e2","datavalue":{"value":"10.13328/J.CNKI.JOS.004689","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3461297$CF2033CA-2445-40A1-8498-F10C2AA60A27","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cd9e25efe198f661884ceaa859192f9dcf5d9b5","datavalue":{"value":{"entity-type":"item","numeric-id":2026564,"id":"Q2026564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6802a68445d036aacd38dd6405c04eaad38fdb39","datavalue":{"value":{"amount":"+0.8503952622413635","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":"Q3461297$EB86C931-DCFE-41FF-8164-215E1E72E909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9bc0d0a982a32d3b01e7797b4f0d8f4a290eca8","datavalue":{"value":{"entity-type":"item","numeric-id":4925273,"id":"Q4925273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49c77c44e67f2a2a98a40529a651621654125fa3","datavalue":{"value":{"amount":"+0.8269358277320862","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":"Q3461297$32862B66-5AA6-40D8-878C-668F2E3F5595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00b95d004babe029fc7c86265d8230bfd1bcded2","datavalue":{"value":{"entity-type":"item","numeric-id":3467865,"id":"Q3467865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b27cb941e7eac168c91bea0eebd37a94a7bf956","datavalue":{"value":{"amount":"+0.8154164552688599","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":"Q3461297$E2B2D186-A1C5-443B-ADA5-3A4825A4D417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a53ddec00cff2a34b2596ffc0f8f38c60adad626","datavalue":{"value":{"entity-type":"item","numeric-id":896152,"id":"Q896152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96a1343730972a3ac5a42467ed572fc7f2ff68d4","datavalue":{"value":{"amount":"+0.7819467186927795","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":"Q3461297$C882C4BC-4171-41FC-ADDC-AEB48D758042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba8132335b8f6e04a45db8d4f78ad993e02dfa3f","datavalue":{"value":{"entity-type":"item","numeric-id":2430015,"id":"Q2430015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f26c4955e4172522e00a86e4b01dfa49f83f4b3b","datavalue":{"value":{"amount":"+0.7743903994560242","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":"Q3461297$6F27ED1E-18B2-4CFB-86F8-592364816F67","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3461297","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3461297"}}}}}