{"entities":{"Q5415296":{"pageid":7444870,"ns":120,"title":"Item:Q5415296","lastrevid":51996146,"modified":"2026-01-20T17:21:40Z","type":"item","id":"Q5415296","labels":{"en":{"language":"en","value":"The undecidability of the logic of subintervals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6293767"}},"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":"Q5415296$EE8C2C6B-8A87-4A46-8345-EA8A0C5AB046","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e7bc0ea7313ba6aebc9be2aaffe277497976f052","datavalue":{"value":{"text":"The Undecidability of the Logic of Subintervals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5415296$822F1613-1AD0-469E-A43B-CC4463B5314C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e34d879234c91fbfbc1bfcd304d7354bf180d38e","datavalue":{"value":"1315.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415296$76C4F623-BC4E-4C57-8653-CA0E4A25ACF4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ba1e2b2956494dbac8061beade4d2c67d249d56","datavalue":{"value":"10.3233/FI-2014-1011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415296$78B7CBEC-8B39-46C0-BF1F-585DFD8861B3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc17e3cfe92adeb4ff2e5b343b40508dcb4c5aec","datavalue":{"value":{"entity-type":"item","numeric-id":314824,"id":"Q314824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415296$2B5640B5-2E60-43C5-B80B-E36D1A687FC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"602031367905da417140a473efe6714bfd2f9fda","datavalue":{"value":{"entity-type":"item","numeric-id":2009650,"id":"Q2009650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415296$5DD1ECCF-85A1-416E-BA9B-A3AE678B6CA3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415296$076A1942-650B-4FB9-8E4A-1DD264A8A218","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b98a65e001f93197037bf094eccba452bf828a3f","datavalue":{"value":{"time":"+2014-05-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5415296$4D4AC231-01A0-4DF4-B66A-280D9A933016","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415296$6CDCBD19-A407-4785-87CB-7EA07374EB7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415296$2A6488ED-FE2B-4422-9925-C091D909AD52","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a8db1b2580fbc5d8a24c1c8c8d7dab910954ecb9","datavalue":{"value":"6293767","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415296$D5F1B151-F26C-4B72-8553-8A2B73554DEF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49d3c39c72e59b2de5258270cdbd4be151cf2486","datavalue":{"value":"Halpern-Shoham logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415296$84958E4C-C35B-41B5-801F-573711E36749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f89a136cf08daaeb99008594c9805bc938a9cb1","datavalue":{"value":"logic of subintervals","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415296$E15D8ED6-1237-4FBF-A15F-F385AC93261C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bae248af4bd9b32669ea68c807c7b2105ce033a5","datavalue":{"value":"undecidable logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415296$0F689DA1-1CA9-4C4D-862A-9D2E77C83571","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":"Q5415296$7B215019-680F-48E0-A286-AA9AC398AA61","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e30668bf24017c9b2bb7271931a3a188837d5570","datavalue":{"value":"https://doi.org/10.3233/fi-2014-1011","type":"string"},"datatype":"url"},"type":"statement","id":"Q5415296$1C582B9F-C22E-4DE4-8B02-6E048A71A486","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ed31d228f37d8c55977c4523ee44ff1780a661ed","datavalue":{"value":"W1786588788","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415296$7F46C283-4E59-46F6-B039-9A983222D89E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2924257cf1c5238fbaa353ebb0c1528cede1c7af","datavalue":{"value":{"entity-type":"item","numeric-id":3587452,"id":"Q3587452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb0d516f07c796003725eaf62d09e02fd8d2be29","datavalue":{"value":{"amount":"+0.9102537035942078","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":"Q5415296$3414F489-61C3-4863-9AC7-A7BCEA924DB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"160fab820e4abf8827a08fd17b373c0f00e76b2c","datavalue":{"value":{"entity-type":"item","numeric-id":2251125,"id":"Q2251125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"935a72bfc6c861c91dacd9882afb4e07808065f5","datavalue":{"value":{"amount":"+0.8440266847610474","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":"Q5415296$18D6727F-C31B-46F5-A272-D706AC558E4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7dfa1df44b7ca857cc6efbbbd0f7af7d9d21414f","datavalue":{"value":{"entity-type":"item","numeric-id":3587451,"id":"Q3587451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd491a1f9b9c9af2a5859f11099860459af7d012","datavalue":{"value":{"amount":"+0.8167944550514221","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":"Q5415296$C515F43C-3BA0-4877-B389-E50CDC650573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0094bcba140d341f081c0d67e2411c36899495c3","datavalue":{"value":{"entity-type":"item","numeric-id":4986512,"id":"Q4986512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"396c489d0aedeaaafe3e3937ae802a0f3aaf7324","datavalue":{"value":{"amount":"+0.8088299036026001","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":"Q5415296$AAD1EDA0-9E14-4BFA-934E-4024B5C50455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6059049cc8e4d24eab302c94f4b58159ee62271","datavalue":{"value":{"entity-type":"item","numeric-id":3185763,"id":"Q3185763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecbd191592abee2f3538825ba77a032c108c521a","datavalue":{"value":{"amount":"+0.8080785274505615","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":"Q5415296$B83F8C3F-4ED5-4C2E-AA44-87F6D89B9367","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5415296","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5415296"}}}}}