{"entities":{"Q5894818":{"pageid":7933843,"ns":120,"title":"Item:Q5894818","lastrevid":47984155,"modified":"2026-01-03T06:37:58Z","type":"item","id":"Q5894818","labels":{"en":{"language":"en","value":"Axioms for Branching Time"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1799545"}},"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":"Q5894818$1DDB4BB2-2D80-4E89-8C7B-E91F251A98BB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f52f34d4cdb6bca34b7a213f8f939d1a038844bc","datavalue":{"value":{"text":"Axioms for Branching Time","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5894818$130B66C9-101F-4829-BC72-FE61116D14C2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ed47eedb4015398949b9fb658e6472bd8ac0aeae","datavalue":{"value":"1004.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894818$1F5514FD-A832-4983-97FB-2E05B666079A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9fabb0af00a2e0e3b87f3fc8331f319270c08727","datavalue":{"value":{"time":"+2003-02-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5894818$ABABEFA9-D1B7-4E9E-9A54-BFE9F04DB16F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b0010fe44f6546d07d39b64197bcadbeda118200","datavalue":{"value":"https://semanticscholar.org/paper/2912ea0d7c3d7af469dd83eafc237716a760af1c","type":"string"},"datatype":"url"},"type":"statement","id":"Q5894818$C5097446-CF54-4BEE-9982-5EF2A116369F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894818$FB1AC1CF-8E19-4B6D-A3EC-8D907FB3B05B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894818$B5F2EC84-949D-43D0-BB8A-A24FD25E3711","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e5e4c0a600eacd6c39ebe9d691180f81cb168070","datavalue":{"value":"1799545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894818$57AA3F9E-4EE6-4D2C-BBBB-BC0227A84926","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5894818$9DDA1D55-E2FD-417A-B549-72C644B03DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebfd339d5fdc320cb84ced0319a371d684c705ee","datavalue":{"value":"axiomatizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5894818$5FBC8CF4-1012-4D84-9D50-075B8E376151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5894818$1B0B76F1-CE10-410D-A6B1-FF8D8B14814E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae7015df820d54c37a280b2bc669339e589c19cd","datavalue":{"value":"branching time","type":"string"},"datatype":"string"},"type":"statement","id":"Q5894818$35775BB4-EC07-4A33-A34E-ABF15FAC3A3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"244e92bce6441a154025ebfec5658abc1b68c9a9","datavalue":{"value":"historical necessity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5894818$540E2C7B-58FB-40A3-B679-539233E5222C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"fa5c6e3c5be7a9205704e20643b1ebd593d9285b","datavalue":{"value":"Q114632460","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894818$5D38BC13-317F-424D-B8D8-4F8B882ACDC8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"22c3c5a22fb3da755e2e8fb1d94c251a072f6ebc","datavalue":{"value":{"entity-type":"item","numeric-id":790946,"id":"Q790946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5894818$25801D71-109A-4A4E-96A1-DDC508D71C32","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":"Q5894818$2F01345D-59D9-4F96-A586-4B661AA293EA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"47e73c9babe9c391873742b9041040e32085ec59","datavalue":{"value":"W2049128357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894818$0FFB58EC-F0E8-4664-9498-56006D560EB6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ea35daa532762b58963158fba757a773538f5fa2","datavalue":{"value":"10.1093/LOGCOM/12.4.679","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894818$29360D5C-A2AE-418B-913F-416711B6E2FE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5894818$1D592B7F-7B17-4A72-A4E1-4A9A7E69D8CE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"431c959e94ea4f41de9800527d21827af7e51252","datavalue":{"value":{"entity-type":"item","numeric-id":2276944,"id":"Q2276944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06a6318ead35e4d2c9d153366c0c0712431f82ab","datavalue":{"value":{"amount":"+0.8101533055305481","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":"Q5894818$75AED13B-D618-40F0-A60D-FB86ECEF6FC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f81aa2aaef83289dd62a4e56a0e4bb731fda785","datavalue":{"value":{"entity-type":"item","numeric-id":1203784,"id":"Q1203784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"648c01fb37bc83fe3f54f6d291a60a942fb61732","datavalue":{"value":{"amount":"+0.8089771270751953","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":"Q5894818$E195A60C-4D67-4B35-B93C-55F93D1EBB29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4371b83fd6f817342e0f3bff17e817d9eaf038dc","datavalue":{"value":{"entity-type":"item","numeric-id":1288173,"id":"Q1288173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"648c01fb37bc83fe3f54f6d291a60a942fb61732","datavalue":{"value":{"amount":"+0.8089771270751953","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":"Q5894818$880E73C7-4CF6-40FB-95FA-65267F8C314B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c32ee91991ec01b32eee21f189607c13ffcb34bc","datavalue":{"value":{"entity-type":"item","numeric-id":3826521,"id":"Q3826521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52f381b946d96d239eafd3c39822278d0d906360","datavalue":{"value":{"amount":"+0.7689682245254517","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":"Q5894818$C51EC0AF-886F-41A3-B71D-DE29247BB81A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c21bba9bb1d120a5a91d6c7c48e6a3b546e5e7e3","datavalue":{"value":{"entity-type":"item","numeric-id":288245,"id":"Q288245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2974257255cf70697a77cbd4e9691b95ef175c7e","datavalue":{"value":{"amount":"+0.7685835361480713","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":"Q5894818$5053C94A-10B1-4282-9C01-079A6DF2052F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5894818","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5894818"}}}}}