{"entities":{"Q5224575":{"pageid":7254144,"ns":120,"title":"Item:Q5224575","lastrevid":58486347,"modified":"2026-04-05T10:33:24Z","type":"item","id":"Q5224575","labels":{"en":{"language":"en","value":"The temporal logic of two-dimensional Minkowski spacetime with slower-than-light accessibility is decidable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7084841"}},"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":"Q5224575$4CC42C3B-23FC-4544-8FC5-432C1A7870E4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2fa848c91ab10ae88edc4d8b8622271b426c774c","datavalue":{"value":"1418.03062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224575$00B4143F-0FB3-4EBA-B9F8-45DC5B9727FB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b92a6ba590b3da9e6ff65dd407d49b77ab96196","datavalue":{"value":{"entity-type":"item","numeric-id":2031545,"id":"Q2031545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224575$B2C64211-D2D7-4FCF-8989-4543C9FEFD3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"11e861291b7fc659c2533ae46450bc9cf4867572","datavalue":{"value":{"entity-type":"item","numeric-id":596006,"id":"Q596006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224575$09A67F8E-9ECD-41EA-A6CE-5E872051B886","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b15b47a077f77642632b896f7ca72a0919fa276","datavalue":{"value":{"time":"+2019-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5224575$82B64C84-AF5E-48EA-B3F1-4F8BEE46F5E0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"810c29bcd9e52ff1c7b9f2354cc0a9a8cfe0df91","datavalue":{"value":"https://arxiv.org/abs/1806.09760","type":"string"},"datatype":"url"},"type":"statement","id":"Q5224575$417A52D4-4268-4D2E-BD07-3D59505A757A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224575$DD89E470-D1C9-48BD-BA6F-31BB931A3302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224575$FD500E87-65B4-45E3-9CDA-994D03AC94B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224575$30B87018-E585-44E7-BD01-26050B0CA121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8c79702d9b086cad5e26c162278d70f8d29a8a06","datavalue":{"value":"83A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224575$67F42721-DD9D-426F-B4B3-604C1C2650B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"17cb9ed3a1084be3dd9b2f7ef3faad950ecb09ab","datavalue":{"value":"7084841","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224575$C71417FE-FDEB-4C63-BDE8-8542BD154410","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224575$1050E337-D664-4888-BC7D-541A34583ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcea752ed5326e744f3b8bc3cf8faa5dba2e8a40","datavalue":{"value":"basic temporal language","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224575$A70FC669-5A6E-4599-9FD9-76B5FD9AEE11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1371c564065042bae9e5c520a55a494d8cb0b20d","datavalue":{"value":"Minkowski spacetime","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224575$FBD5ABDE-4690-4384-B6C3-590463472A36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9dee1be645fbcd5cdb6ba4471d721df8fc4c11ad","datavalue":{"value":"frame validity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224575$DBFC0D05-128F-41D1-94FF-E4FA32083057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49d3c39c72e59b2de5258270cdbd4be151cf2486","datavalue":{"value":"Halpern-Shoham logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224575$93D114DD-4ED5-4814-B332-FAB79D6BB148","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":"Q5224575$BC6B6765-4205-4427-93CE-DCF2D91D84D6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34cd3c4a1a0189bceaa73ebd668be335f4e0e149","datavalue":{"value":{"entity-type":"item","numeric-id":5027245,"id":"Q5027245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76f7c8d0d79d84fe966aee9edf8a6df318bad433","datavalue":{"value":{"amount":"+0.9357985258102416","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":"Q5224575$147C864C-531A-481C-9736-9D76A7C76A4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21abefeca91f606458dc138f2aad3e2ade5b9031","datavalue":{"value":{"entity-type":"item","numeric-id":4692071,"id":"Q4692071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c07638547f8160cad9fdfaf375036436b2c019e","datavalue":{"value":{"amount":"+0.926203429698944","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":"Q5224575$F0D8EC0D-3A21-411E-8CCC-9A78B03C12F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29185fd489f9b91f7f82af6ae0ee496c123b623c","datavalue":{"value":{"entity-type":"item","numeric-id":5311049,"id":"Q5311049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a352bcfd08312ad47c96db130e2b497b0287183e","datavalue":{"value":{"amount":"+0.7701475620269775","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":"Q5224575$89350C4D-F19F-4A4F-9965-CB1A31A5993B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a507349af4796203aa0a5e42e521a13c5148e8f9","datavalue":{"value":{"entity-type":"item","numeric-id":636345,"id":"Q636345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed95d553e6f9a0dca121ace63733dcae6cab8ec2","datavalue":{"value":{"amount":"+0.7614554166793823","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":"Q5224575$7DEDD390-C667-4619-8871-D456A0121E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e00d05cc8b50aa495ec16b3b07809c760cbf9e9b","datavalue":{"value":{"entity-type":"item","numeric-id":5483013,"id":"Q5483013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9feecfbebc53c7d2faa4ec7815aea2084fe05d2","datavalue":{"value":{"amount":"+0.7610868811607361","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":"Q5224575$C7B669BA-B73A-4FAF-B441-BADC6D97C5A2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5224575","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5224575"}}}}}