{"entities":{"Q2900477":{"pageid":2911202,"ns":120,"title":"Item:Q2900477","lastrevid":51517295,"modified":"2026-01-18T14:41:45Z","type":"item","id":"Q2900477","labels":{"en":{"language":"en","value":"Symbolic model checking for temporal-epistemic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6059479"}},"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":"Q2900477$0AD9B0A4-99E3-4957-80D0-43E07858DDEA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1d1aeb401ff055fc02101a2ae7d18bfb64e45d7b","datavalue":{"value":{"text":"Symbolic Model Checking for Temporal-Epistemic Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2900477$64055EDB-3BE1-4F91-8AEC-9A30B4F62F39","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"decc6b44f0bc530841090617fb0254325e864801","datavalue":{"value":"1356.68144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900477$28874E2D-7D30-4248-9E35-018D53773905","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e44df6fe623cedb5d09b29a2f86051a411050ef2","datavalue":{"value":"10.1007/978-3-642-29414-3_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900477$06F1D520-6B1C-4CD1-955A-530283C8D3EF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"45ff5eb95cd0f47a5dcbb6509988939501b112b5","datavalue":{"value":{"entity-type":"item","numeric-id":598544,"id":"Q598544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900477$077A0C40-17AA-4B2B-BDB0-63E053A5B881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"00e4afc18902a1591d00a05876e3070d819defde","datavalue":{"value":{"entity-type":"item","numeric-id":1028968,"id":"Q1028968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900477$2CE62BD8-6164-4B96-B993-5D84049A5071","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"32a1943f0922e70f9c020e087b2f0cb973fe6414","datavalue":{"value":{"entity-type":"item","numeric-id":2900465,"id":"Q2900465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900477$0E24EFAE-9D5F-4479-8D39-9EC4170F715D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"92b609966e3495f45f2960464f0beccd37f30b2f","datavalue":{"value":{"time":"+2012-07-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2900477$A064FE29-0783-4238-850F-C2F2AADDC820","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900477$4824136A-FCAD-43EC-8AFD-280BE0AE1831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900477$4C04CE90-E766-4206-B55D-01450B96758B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900477$20B92560-59D4-44DC-965B-8E634551A0EC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"694b3d0e928d00080e824be642439d701a56511e","datavalue":{"value":"6059479","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900477$CBE84D3C-ACB3-4608-A6DF-6D9AE1F126AA","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":"Q2900477$E00266F0-8CCD-4A47-BB39-7105A122D32E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f2b4000931c3cc465a22e2dc2b368c5976c93020","datavalue":{"value":{"entity-type":"item","numeric-id":21447,"id":"Q21447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900477$9B90861C-2418-4827-9119-457782590BBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b792ce763f8f58c8ec463fa21b4c599eb550b3c5","datavalue":{"value":{"entity-type":"item","numeric-id":21448,"id":"Q21448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900477$7064FD8E-5EF9-48BF-9CB8-CD01CD336A18","rank":"normal"},{"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":"Q2900477$5385AD98-5F55-4344-A782-6F35543B455D","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":"Q2900477$B686ED1E-AF6E-4FCB-9AA9-04429C936B83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"af5bf62d73c7ce629c0669b5ccd1badd6d3f9691","datavalue":{"value":{"entity-type":"item","numeric-id":21446,"id":"Q21446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900477$67AE10C3-BECB-4ED8-AF52-E0655B088C82","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":"Q2900477$A665FC9A-4764-4BFB-8E6F-0CDADF1B579E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"095b580e5dc62db51ecd668a4ad0fa891189b959","datavalue":{"value":"https://doi.org/10.1007/978-3-642-29414-3_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q2900477$00723663-96DF-44B7-B898-94D179E8CE7A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b4d7fa3b4335dcf3328181b17b9a6942d5140e13","datavalue":{"value":"W1987574788","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900477$3D035BED-E4B0-40B7-9458-776BBAB8C5E1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32daf514979af1f778551e6855a9ad222281e837","datavalue":{"value":{"entity-type":"item","numeric-id":4681373,"id":"Q4681373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9799bdd364a52a3aeb38fcf17bc6adb44bb3a66f","datavalue":{"value":{"amount":"+0.8512494564056396","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":"Q2900477$055A49EC-C5A5-46EB-BFC3-ACFB92A5DC74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c964a0de9d90a23e2357bc2e4c7d91c3a559d651","datavalue":{"value":{"entity-type":"item","numeric-id":2386107,"id":"Q2386107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"365e89da83602f3e74f7c3d0f7791cb84305c110","datavalue":{"value":{"amount":"+0.8382862210273743","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":"Q2900477$3C9577D4-ECDA-4FD0-9E78-510016EFCECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb3cc3b923a243e5132724001aaad3d3f1e99747","datavalue":{"value":{"entity-type":"item","numeric-id":3431037,"id":"Q3431037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1b1cafe67a53435e178c43ca70a78b218de5c11","datavalue":{"value":{"amount":"+0.8372208476066589","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":"Q2900477$407287CB-27FA-4B70-9F70-D4213AFB6580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e0fea26e1bd734d3d0b4a3149161ae01bb969fe","datavalue":{"value":{"entity-type":"item","numeric-id":2999187,"id":"Q2999187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c74271b0430e337d663e96638069326f88554873","datavalue":{"value":{"amount":"+0.8327122926712036","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":"Q2900477$F2CA03BF-8B67-4D48-911C-9C076B3BB3A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecad943c5fb325d9db84c8b7d743bbb3fa480144","datavalue":{"value":{"entity-type":"item","numeric-id":5423886,"id":"Q5423886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89b62d34690f6f64dd0dd56f496e61becbfae3af","datavalue":{"value":{"amount":"+0.8318229913711548","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":"Q2900477$27AE1FEF-A885-4223-96EC-97A03D925554","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2900477","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2900477"}}}}}