{"entities":{"Q5941100":{"pageid":8117902,"ns":120,"title":"Item:Q5941100","lastrevid":102073082,"modified":"2026-06-06T03:25:34Z","type":"item","id":"Q5941100","labels":{"en":{"language":"en","value":"Decidability of model checking with the temporal logic EF"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1635265"}},"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":"Q5941100$4BA32539-D893-4A80-9724-A7209FBE0C75","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0b253b6730794885815d90a1b8e52028199f0306","datavalue":{"value":{"text":"Decidability of model checking with the temporal logic EF","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5941100$ED8C83E6-2195-4E84-A924-0B05126EEFFB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"edf36794d4d1e503e18beee0fe294956886631ce","datavalue":{"value":"0973.68169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941100$8A925241-EE9B-4777-820B-AAEE43A5F415","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3c0be011f2ab7c69de59be0262f54eb2c6f7e412","datavalue":{"value":"10.1016/S0304-3975(00)00101-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941100$039C5EB4-8EE7-48BE-8A67-A14726DEDF56","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3cd4b1159a8981549ca62e4788b4aa9a743defb","datavalue":{"value":{"entity-type":"item","numeric-id":235698,"id":"Q235698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941100$E8A150A4-7B63-4DEC-8FB2-B90EF89780F7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941100$41AEE929-65AA-43D7-95C1-193C35E47651","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d780905acb67c2b1b938af03e08b68df411214b","datavalue":{"value":{"time":"+2001-08-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":"Q5941100$21C6FB97-6CB2-4468-93B9-F7A65E1A7D72","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941100$AEA85A07-CAA7-4D19-A850-6A25673C02EC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9cddefd72e5175eaa5c799bf048f0d75e858a931","datavalue":{"value":"1635265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941100$0F057EF1-5AA1-463E-BB52-B9399A21BA45","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33091d86905202af08d9012d6e5fba9f5ed72f62","datavalue":{"value":"infinite-state systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941100$A15FB578-3EB1-4239-BEAF-52BD686EDAF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941100$68170ECF-C1C0-4573-896B-B26863BA2E3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ea503cef803f7437599aeaa797755d7326d8772","datavalue":{"value":"EF","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941100$E33CFC06-AEE3-4065-BA8E-1DD73A36BCBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941100$089CBB93-EABC-4FA5-B4CA-2770FE579129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941100$F191D416-A83E-4E4D-BAF1-19E43DFD8F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9d737dc33069567d9f9d054a8e4e9a604cc60b0","datavalue":{"value":"PA-processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941100$C43B9B4E-55AD-4FB9-9341-07FA570D4CA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd6ece8b17a1de4a0dbdc3c065ad83b487ffb7e5","datavalue":{"value":"pushdown processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941100$86F6AE4D-BF36-45E8-B276-D4DEE015D3BC","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":"Q5941100$054D9520-3FF6-4B46-8AEA-14B90DE3B8F3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b4d71bbab57e335181b2411d65d8e1ef4dc862e","datavalue":{"value":{"entity-type":"item","numeric-id":1067408,"id":"Q1067408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941100$C028413B-997C-4B87-83DE-5384CADBCF47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54e7a108370169c16838733bc613c6abdf38f709","datavalue":{"value":{"entity-type":"item","numeric-id":6044114,"id":"Q6044114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941100$A3F9FBDF-861C-43DE-B6C4-5158DF5E3A89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"833c500a528c9d138c07be282d8c9aa8f5d7df13","datavalue":{"value":{"entity-type":"item","numeric-id":6162100,"id":"Q6162100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941100$28553F81-AD17-4650-B7C6-191EBDFE5E77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8364c618ad76db52057e29b74d52fa66ec4e18c2","datavalue":{"value":{"entity-type":"item","numeric-id":4251060,"id":"Q4251060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941100$3078C9A4-EFA4-4577-8767-7419997173CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b8c4f9cc901bad30bbe24ffc4e73a5bd470e287","datavalue":{"value":{"entity-type":"item","numeric-id":4003036,"id":"Q4003036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941100$239FA1AF-B380-44A1-B9AD-567ECA83B349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94c16372a3ae90b6632bbe1af5ac9515a2c7f779","datavalue":{"value":{"entity-type":"item","numeric-id":6104377,"id":"Q6104377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941100$4CA27DB6-5A9E-4ABA-8921-9FB36A3F53F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf767f7e721efe5ccbff221144b9c1341cc71980","datavalue":{"value":{"entity-type":"item","numeric-id":4355677,"id":"Q4355677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941100$8918FF0F-BCCD-4B57-99EA-8CA12DDA63ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de77900b6ca5ecc880ae38be55173559bdc08936","datavalue":{"value":{"entity-type":"item","numeric-id":685354,"id":"Q685354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941100$C1A62A56-2618-4F0B-B86C-CCF09FD62EF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abf2959e81c9ee6b1943e08246fc0acf92931e7b","datavalue":{"value":{"entity-type":"item","numeric-id":4954445,"id":"Q4954445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941100$5912DA33-4643-49F2-8F68-FE179A0924BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c7f6243e8c1e019fa7573e1043f7114ec98acef","datavalue":{"value":{"entity-type":"item","numeric-id":1920224,"id":"Q1920224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941100$77F317B3-FD73-4BB1-B005-0712CD38FBB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cce511bd02960a809fd21ecf773460f1a6a507a7","datavalue":{"value":{"entity-type":"item","numeric-id":4942620,"id":"Q4942620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941100$4AF51F7A-3464-44C3-BEDB-1D8B2AC73356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93452c09e5c135449e27e64c08e7156c299cc1ca","datavalue":{"value":{"entity-type":"item","numeric-id":672326,"id":"Q672326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941100$122F5612-6BFB-4B5B-BCC9-D8BD1F268A85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e648db17a739894d37b270641fb26bfce3cd003","datavalue":{"value":{"entity-type":"item","numeric-id":4251913,"id":"Q4251913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941100$4D7526A1-F382-4032-9AED-1A7FB681AB0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2e98f322680a32cb9958826de3f407d1215106b","datavalue":{"value":{"entity-type":"item","numeric-id":1854328,"id":"Q1854328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941100$EC8BF029-EB07-4999-9051-5BD07F044FCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9837d68727f5a620b332bd3945bdde6006560486","datavalue":{"value":{"entity-type":"item","numeric-id":4364400,"id":"Q4364400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941100$920FBF80-128C-4CE8-850D-1C32A5030576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea66879d47e2f317ce50f7998b7fe6ec5a9a3907","datavalue":{"value":{"entity-type":"item","numeric-id":6044127,"id":"Q6044127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941100$1A508DD9-9C64-40D9-83AA-6B98031A0F87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fda9b625caf922309755b10d2b0cbcafca632a03","datavalue":{"value":{"entity-type":"item","numeric-id":4222920,"id":"Q4222920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941100$084DEF47-2D34-4853-975C-F997F30866B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30dfa4da1d23fed8a93ada825dde4d5a2e1a064a","datavalue":{"value":{"entity-type":"item","numeric-id":4234763,"id":"Q4234763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941100$7C5F84D0-113E-43FA-810D-BA0429E61A1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941100$20A1C5BD-5B99-4FF5-BA98-B7B638FEF21C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9d7d93a9512ab236f4772935e1df8ec2aa25fe5","datavalue":{"value":{"entity-type":"item","numeric-id":6104374,"id":"Q6104374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941100$2E152A4D-3463-4C63-9BCB-D4D759D45C98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a032d33673d5ba9c1e698848960782495104c1b","datavalue":{"value":{"entity-type":"item","numeric-id":1854405,"id":"Q1854405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941100$22F1028A-AE30-4A2D-8DA8-C250F5A2B8E6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47a692f977b2b5a6577b9e26d31d979c09bb8c82","datavalue":{"value":{"entity-type":"item","numeric-id":5311048,"id":"Q5311048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b5dca3ad3a82e7bed5c534b3aa4054dbb2056a6","datavalue":{"value":{"amount":"+0.93142027","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5941100$C2BD4A1B-1305-46F3-9CFF-E4CB225CF55D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c69f2d5d8cbb27f22a82668c351b8f7a1cecc234","datavalue":{"value":{"entity-type":"item","numeric-id":4982129,"id":"Q4982129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11eabed785ce0bb5cfd7155e2b288d95eba0e298","datavalue":{"value":{"amount":"+0.9213793","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5941100$DF846771-01E6-41DB-81EA-49EF4A0FC0E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1883c23305d8a1b064ea2be02f161af8aa5e618e","datavalue":{"value":{"entity-type":"item","numeric-id":1192606,"id":"Q1192606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bfd11d76db007d15ceff9f81ea009e30ce6cf03","datavalue":{"value":{"amount":"+0.9092389","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5941100$A2D4414D-5EC7-477B-AAF5-F8FE885D5602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9d69b7e9dfd277e6b654ff7071d7375079737ba","datavalue":{"value":{"entity-type":"item","numeric-id":4531749,"id":"Q4531749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f55b53ec2890280802a7abc4059072ff2187179","datavalue":{"value":{"amount":"+0.9073774","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5941100$7EE10D7A-DCE1-4115-98FC-84AA15441028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"630b4af98aad2211a279975c207ec2f0ee35f1bc","datavalue":{"value":{"entity-type":"item","numeric-id":2851939,"id":"Q2851939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0ab38fcd02cf40df7e5d759a779c7b7aa4d6667","datavalue":{"value":{"amount":"+0.9063993","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5941100$D8884962-2B53-4CE0-8CF7-3B1E3A3F9BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87c31e9b86b870434bac92c23c2c9791c8c3d8ea","datavalue":{"value":{"entity-type":"item","numeric-id":5752401,"id":"Q5752401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4dd4a0c17737588711ca4cc6edd69928a0b46ce","datavalue":{"value":{"amount":"+0.9047843","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5941100$1BB84F1A-6314-42BB-B9AD-55D2E2947A11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad7cc07acc3c63eff6297c5395fb439db604d030","datavalue":{"value":{"entity-type":"item","numeric-id":2900477,"id":"Q2900477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3b9940915cee1d1a4fce8eb3eb3ac7f8dbbab0d","datavalue":{"value":{"amount":"+0.9037999","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5941100$E760B9CC-EF6B-44C1-A2CD-480AA6439074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d23e2d4dff41175d19f5e6c12451661990945cf","datavalue":{"value":{"entity-type":"item","numeric-id":5194652,"id":"Q5194652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b76c54e1dadf5d73b8d3cb78845127418deb9b90","datavalue":{"value":{"amount":"+0.9029522","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5941100$EA455C21-FD4D-47F5-BE3E-875843E0F10E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e4e69134ba57300fd43b47e1897bec75442d1b6","datavalue":{"value":{"entity-type":"item","numeric-id":2767090,"id":"Q2767090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cc12bec7fb40a5a313e6368f2499b60279199bd","datavalue":{"value":{"amount":"+0.90281695","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5941100$8E9CB135-C7D9-4B4A-8CBA-F6BFA2E788DC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidability of model checking with the temporal logic EF","badges":[]}}}}}