{"entities":{"Q3185763":{"pageid":3196471,"ns":120,"title":"Item:Q3185763","lastrevid":52587809,"modified":"2026-01-23T01:26:28Z","type":"item","id":"Q3185763","labels":{"en":{"language":"en","value":"Undecidability of the logic of overlap relation over discrete linear orderings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6609666"}},"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":"Q3185763$3DEEA109-1DC8-481F-A367-92E0F4F049C9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1738bd5fc92eb53bc5fcedb2fd5e14380ecc57a8","datavalue":{"value":{"text":"Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3185763$A0CBA4AF-FC73-4119-B124-E9A1CFF827D1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0f3891659484bd3b089f467fad6f80adbd3c5a59","datavalue":{"value":"1345.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3185763$05C05D53-9D05-4C31-8FC8-01EFF34BDE45","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7afe43cfa2c061b3b7d8a7e16151088777e5d4d9","datavalue":{"value":{"entity-type":"item","numeric-id":391102,"id":"Q391102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185763$9D2D7F8C-095C-41C9-9945-CED34DB8A3F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c11537367761b3a042544f520669ef3aebcdb3a","datavalue":{"value":{"entity-type":"item","numeric-id":266856,"id":"Q266856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185763$64C87ABA-6921-4D7A-8EB8-F695CDE07B83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f67fcedf06549dca6a4bf555125438ee036b591","datavalue":{"value":{"entity-type":"item","numeric-id":266859,"id":"Q266859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185763$2907F562-5ABE-4BB7-8E5D-546F602696BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a66c2ec78b04e841b811e5da6e4d441ec826b5a","datavalue":{"value":{"entity-type":"item","numeric-id":266860,"id":"Q266860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185763$5C13F4DD-6DF1-4D6E-A706-A100AC711B02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cdeca7fa3ca61fb6bc221ab92d3afb1fb3a5ebcc","datavalue":{"value":{"entity-type":"item","numeric-id":703859,"id":"Q703859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185763$7DAEB7D5-98C9-4651-8FCB-BCB46300AE1E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185763$04FBEDD1-6B10-4BB1-A3D1-CE410E34305B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19f8be58b1829936b94d36e09e6fb6fb923fb3ba","datavalue":{"value":{"time":"+2016-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":"Q3185763$C22E15E1-A8E8-4E93-96A6-C597646795B8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3185763$8995FE8E-2E31-4064-AC29-5C84DDC0F5B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3185763$0A39283D-12F9-48C0-870D-77E84E666417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3185763$1A5D542C-443F-4BB8-B560-F3BF7E07262D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"95a326979c5ac4d08e1221313ac1a4a4e7625a32","datavalue":{"value":"6609666","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3185763$18D9EC71-E45F-46BD-974D-6B46903D5A48","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"749a916b37df4f158e0dcfd3316e33b1f7ce6f9b","datavalue":{"value":"interval temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3185763$C4357382-565E-44BE-914D-63AC82FCECE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbe90384429a9dbbafbf91530133679ef6279ac9","datavalue":{"value":"overlap relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3185763$778A22E2-E61A-4C3F-9B19-3D02619B3820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3185763$C065618A-4D2D-41EF-95D5-4314CB2CAA5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd5da3ece260623da968a397c774fceff02a23d4","datavalue":{"value":"octant tiling problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3185763$99568BCF-F514-4F00-8C98-F5DED871B9B4","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":"Q3185763$1E744E99-9EF2-4509-B21C-6C7B5BBE1A3A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3cfb3b4351be6f135b12bffb950d865c7c0ff28b","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2010.04.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q3185763$361F9BD1-17D7-499B-AB65-036AFE357F6B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0e77378daf30d2d65d62c1786856170b8d7c3d1b","datavalue":{"value":"W2154175621","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3185763$CEDD3846-0F55-4C87-8645-37943DDA72F5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8367121d54df3344ae45fb7bcd26909ca7d18f9","datavalue":{"value":{"entity-type":"item","numeric-id":64672,"id":"Q64672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185763$53427359-6997-49E2-BCEF-B3923C7B9FD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af4555c0d89e243a8a9351cedc1b4ffbfceace09","datavalue":{"value":{"entity-type":"item","numeric-id":5691140,"id":"Q5691140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185763$99F9C47F-4634-4043-8A20-51AF7009B2C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6423f8e27026b0b914aac90cb489cba91bcd534b","datavalue":{"value":{"entity-type":"item","numeric-id":5505583,"id":"Q5505583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185763$5641A689-F887-470E-967A-625CE7A0A87D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b30cfd537665958cb1b8fbb6a82da12024a3a86a","datavalue":{"value":{"entity-type":"item","numeric-id":636267,"id":"Q636267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185763$B1BE23EA-928B-49EC-A1BD-065B03A3063B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56b3eea3c9db8701da6077c13cd2e63d12aacf43","datavalue":{"value":{"entity-type":"item","numeric-id":3532458,"id":"Q3532458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185763$576BFED2-2695-4B0F-B04A-936DB69044F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b99dbc44853de1ea6d2956eafb640499b501c52d","datavalue":{"value":{"entity-type":"item","numeric-id":1183485,"id":"Q1183485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185763$2718D97E-7B9B-4DAB-BB38-AB631DF59A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc15974ccce84c558484cf7e012ed1673ef50e8d","datavalue":{"value":{"entity-type":"item","numeric-id":4302859,"id":"Q4302859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185763$8A6BF19C-7F57-4F51-A99F-FAA9BAABB70F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b309fedfd947ea3d26b068ae1c0da40072fff4e","datavalue":{"value":{"entity-type":"item","numeric-id":2766545,"id":"Q2766545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185763$FFEA63FA-77AD-4598-840B-1A41E2B58056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f863c4c1eb16bc9096d579edd0ea7242b38963e3","datavalue":{"value":{"entity-type":"item","numeric-id":3644762,"id":"Q3644762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185763$A091D072-DE37-46E9-94FE-0FC2A84A91D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c62e9df46ca1d55cbb9768c456593c060ff11cf","datavalue":{"value":{"entity-type":"item","numeric-id":5311049,"id":"Q5311049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185763$66CF7370-6DA8-4F3E-B01A-DF7AF40F8DD2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f303d5392a6ae841c7d4b636e7b1004b823361f0","datavalue":{"value":"10.1016/J.ENTCS.2010.04.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3185763$59B10F66-2B73-4D31-A916-7D4BA70CC9F5","rank":"normal"}],"P1643":[{"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":"4be1f1a7b505d31c8b243c81f217701f22f75a9b","datavalue":{"value":{"amount":"+0.8888203501701355","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":"Q3185763$CF8782D0-7C52-4387-A75D-A048DC41CA5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbde4f01223aa4a2f314b8ff49ce60160d550ab4","datavalue":{"value":{"entity-type":"item","numeric-id":2938489,"id":"Q2938489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b7c162f2bb6073c89cf1dcf6d58f1024c00ed93","datavalue":{"value":{"amount":"+0.8127803206443787","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":"Q3185763$0B42E634-1DB0-4B0A-8E81-FAD26F6C71A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c383885fc1a6393493fa6c5302743d4e9d04845e","datavalue":{"value":{"entity-type":"item","numeric-id":5415296,"id":"Q5415296"},"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":"Q3185763$BAEC5FC6-33CA-48AC-965C-EFF0F485D277","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":"62a67d6f3408d9adde76a9664b9e75ffee86c4e4","datavalue":{"value":{"amount":"+0.7944379448890686","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":"Q3185763$AE2BABFC-F9A8-4039-8DCF-6DF1306F8172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8441b28adaf553142cb17c38363a1511776e77a6","datavalue":{"value":{"entity-type":"item","numeric-id":477203,"id":"Q477203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb9d50146ec216bbc43bd706e890ce104adf7892","datavalue":{"value":{"amount":"+0.7816725969314575","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":"Q3185763$A87EFE52-2815-4908-92CB-520D52D1A664","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3185763","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3185763"}}}}}