{"entities":{"Q2904048":{"pageid":2914773,"ns":120,"title":"Item:Q2904048","lastrevid":51522977,"modified":"2026-01-18T15:19:31Z","type":"item","id":"Q2904048","labels":{"en":{"language":"en","value":"Future event logic -- axioms and complexity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6063259"}},"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":"Q2904048$C790D104-B601-4525-B9D1-A681B065A6A7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dca3ab3dc617800bed370189efb5f86a257f3ad2","datavalue":{"value":"1254.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904048$121148FE-51A5-4506-A7B6-8BBD31449194","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a12d2defd50916b97ca1549377618bc805a4e9be","datavalue":{"value":{"entity-type":"item","numeric-id":476193,"id":"Q476193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2904048$4534C5D9-2852-498A-9269-92ADAED0FE1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"43f27638688e066d21e35c07e7ef6cc3de4c06e2","datavalue":{"value":{"entity-type":"item","numeric-id":813421,"id":"Q813421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2904048$2040B8FB-D1C3-404D-8C77-0D3DEF16CEDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b731434e1148d12c80d6300dedff0088d080112c","datavalue":{"value":{"entity-type":"item","numeric-id":476191,"id":"Q476191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2904048$74EC6AEC-6420-4000-8C21-AFC3E0ECC4C2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d93f02b005a91d75e1fb36333e97807bdd2c51d9","datavalue":{"value":{"time":"+2012-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2904048$12CC6567-4FA3-49DA-8B0F-9C4A48F3FFFE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904048$4E891ECD-DE67-4FB0-9468-C208FD98CA15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904048$76E9A97C-2153-4379-9CFC-0D312BCDE6F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904048$B26B72C3-9E43-494C-8721-41907E392716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904048$DA245313-17D5-4FDE-B8F6-7FE391DB8E6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904048$46B70507-B11C-40BD-93D7-C66DC82EAEDD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"70280f91c41f8026296293e51d2ffbaf33b533e9","datavalue":{"value":"6063259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904048$588580D3-6B3A-4E32-8A9D-D39573237280","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904048$F20EB04A-133A-4921-904A-CC9D6F6B460A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6462c0d1cabef55ae10c0a541fcb9767359685d1","datavalue":{"value":"future event logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904048$CFD0FC13-C656-4E14-94EE-68A9A4CC29E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d82bd0cbf7feac90b4681d9c0414dbc45f2efab5","datavalue":{"value":"dynamic epistemic logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904048$6B6FE38A-1194-4FA0-B257-D96355875A15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904048$022795B8-8AC8-4021-AFB1-138CC98EAF4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904048$181B8482-A9B6-43AA-BD60-EB6C19630095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7f8f622713657dbac6bb46cb3ceade6b870e391","datavalue":{"value":"temporal epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904048$6BA7758E-9232-4CBA-AB32-1A751CBFA495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95e48716f7c9c49b18f034cd03a25b8fa61f6719","datavalue":{"value":"multi-agent system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904048$7AAF9085-E941-41A5-BECE-1B5767E44AC0","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":"Q2904048$3508B51E-4A04-43B7-95C4-B4683EAC0CED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e356e0b283d8b4c3804bfa0e400e2cb11b43d558","datavalue":{"value":{"text":"Future event logic -- axioms and complexity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2904048$824D71D8-B221-4685-BD86-0589D2169FB2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec92436370c595b95fddd51996f595498ae0597a","datavalue":{"value":{"entity-type":"item","numeric-id":476194,"id":"Q476194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad972ab85b4e020550a2120fd2e9357e44d61399","datavalue":{"value":{"amount":"+0.7435851693153381","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":"Q2904048$BA8C2A91-82E0-46EC-99F6-20A34CDEDC6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d92c9a55175889d683b7251910df5fd4b78cee83","datavalue":{"value":{"entity-type":"item","numeric-id":4651488,"id":"Q4651488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8196bfa704c7bc68f0e0f2b8d5e78bef78d3f7fb","datavalue":{"value":{"amount":"+0.7418734431266785","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":"Q2904048$D35B7481-04B7-4543-A258-451FF354C0AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9d89dde0da6dc6a1f7c5f01e68e3437782b196e","datavalue":{"value":{"entity-type":"item","numeric-id":4733438,"id":"Q4733438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bb2f2a3fb3f61f56c36c11d42782a04743bfac2","datavalue":{"value":{"amount":"+0.741817057132721","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":"Q2904048$AA3BE42F-939E-4317-B724-0B9E5F846338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0f1542eda8640c9cbd23ce7225894d203ec5aba","datavalue":{"value":{"entity-type":"item","numeric-id":2902940,"id":"Q2902940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3d644ee0b3cb596afb14702f3137055e79c56ef","datavalue":{"value":{"amount":"+0.7296721935272217","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":"Q2904048$1D5FDA11-1229-486F-B5F3-F63027B658A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1519f4043748fba84530f4d06621c91709b0c597","datavalue":{"value":{"entity-type":"item","numeric-id":2825410,"id":"Q2825410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48382415d6c85871b9feff3ef44951a4f7246280","datavalue":{"value":{"amount":"+0.7288435101509094","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":"Q2904048$3FBD7966-3277-4D30-8C2F-10A6DA025D73","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2904048","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2904048"}}}}}