{"entities":{"Q5737990":{"pageid":7767543,"ns":120,"title":"Item:Q5737990","lastrevid":101683154,"modified":"2026-06-06T02:31:38Z","type":"item","id":"Q5737990","labels":{"en":{"language":"en","value":"Simple completeness proofs for some spatial logics of the real line"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6724437"}},"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":"Q5737990$0C0FE2D1-6C2D-460C-842F-E4A6E6B9547E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"23fae0cf2085623cda89b07f96483bd6f2f7e121","datavalue":{"value":{"text":"Simple completeness proofs for some spatial logics of the real line","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5737990$EE273BB3-9EF7-47FA-A924-777F5360B156","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"03ca11c66db10fbed9a994638415a789fa863a10","datavalue":{"value":"1364.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5737990$B9D49A29-0974-4D94-ACDA-6D19787FC2C6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0acf42d270c343609a246b2fc8a5b58566b5ca43","datavalue":{"value":"10.1142/9789814449274_0009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5737990$AE292BB5-AF9A-4684-811C-7E31AC41B4DE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1182bc62f6f39ab33c887f071975495c41a6e77d","datavalue":{"value":{"entity-type":"item","numeric-id":5737980,"id":"Q5737980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5737990$996F2B79-90F1-4D0F-ADFD-2C6D7C177A64","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d49858a0afe4b614990a77fa152712e1ae2b828","datavalue":{"value":{"time":"+2017-05-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5737990$C1EE98E4-082E-44E2-B13A-3A5D136DC865","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5737990$7E7C6949-5A15-4988-8459-473965977AB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5737990$4D7C48AF-EF9B-4110-9A85-F43726D30EF5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a70797da41ffb0a13a577bc4f829ce53df4bc502","datavalue":{"value":"6724437","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5737990$3079BCD1-77F1-487F-959B-76E6EA6F3EEF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5737990$3BED6B9A-6E76-4C88-88E3-157E20D8E14A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"827b845d5e543bed4cf2f3d0c25bddb70759060f","datavalue":{"value":"topological semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5737990$09AB10E8-EAE9-4A27-84DC-F0797BE4A969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a089db0ddf6e35944a9120dc370ab65bb7b4840","datavalue":{"value":"lexicographic sums of linear orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q5737990$0D99D816-9AEA-4976-AB99-A22B1BD17CBD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dba48006b5c8e496f7eee02dd0edb814c74265c9","datavalue":{"value":{"entity-type":"item","numeric-id":912841,"id":"Q912841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5737990$64DFC748-06A6-453D-8B73-17E1AF552A88","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":"Q5737990$FE194813-C996-48A0-BD9D-37DE6413AFBF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"22d4b627e74c4d736987f2aac4be54beb98ed633","datavalue":{"value":"https://doi.org/10.1142/9789814449274_0009","type":"string"},"datatype":"url"},"type":"statement","id":"Q5737990$F7995D59-1A38-4CF7-AFAC-7905425B4804","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"367e2234f154bce9b13e54a3d5ac683c45db6491","datavalue":{"value":"W2317433127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5737990$0A8F0B2A-546C-470A-882F-51B74D5EB178","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8ee3a494332ed63baedcb82bb6f8b1924d2c23d","datavalue":{"value":{"entity-type":"item","numeric-id":1772779,"id":"Q1772779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44c294fac6e8f6c2f29e954f25330d885daaa4a3","datavalue":{"value":{"amount":"+0.8092188239097595","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":"Q5737990$F1896737-F940-4169-83A2-57EA913ABFE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e18fb399589e1d330c411c7a2a852551bda57156","datavalue":{"value":{"entity-type":"item","numeric-id":4812319,"id":"Q4812319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6eedcb97b3051ecbfe8e054acdcea49178bb4d76","datavalue":{"value":{"amount":"+0.8072583079338074","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":"Q5737990$4B1FB6A1-CC13-45C8-B58B-550D719EF17F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"467d210af205c85e6317b112cb135df234ff238e","datavalue":{"value":{"entity-type":"item","numeric-id":5479024,"id":"Q5479024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42ad5a2dfc60be2d570160298eaa19b8bd08cec5","datavalue":{"value":{"amount":"+0.7924736142158508","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":"Q5737990$A3B68E81-7EF0-4FC3-AC5A-61921EA9F378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce3d769ccc15c36c35a9c60ce570dfbfa6ab067d","datavalue":{"value":{"entity-type":"item","numeric-id":3371957,"id":"Q3371957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f77a273c5f383a27ff96a11a47c9d369133770b","datavalue":{"value":{"amount":"+0.7867017388343811","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":"Q5737990$D6D2A37F-8F19-4E7C-A87B-EA2293B1A171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9901ce55958cd0d1f62eea3a9d3018fe4ef0422e","datavalue":{"value":{"entity-type":"item","numeric-id":3549319,"id":"Q3549319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6894ce19bbda5cb8a3f6fcd884423262b155a5c","datavalue":{"value":{"amount":"+0.7805330753326416","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":"Q5737990$267D82F4-DA4B-4947-A192-EBBBD8CD2387","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Simple completeness proofs for some spatial logics of the real line","badges":[]}}}}}