{"entities":{"Q4943504":{"pageid":6973086,"ns":120,"title":"Item:Q4943504","lastrevid":47459965,"modified":"2026-01-01T19:38:19Z","type":"item","id":"Q4943504","labels":{"en":{"language":"en","value":"Undecidability of compass logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1416455"}},"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":"Q4943504$B3952983-A231-48EC-A8E5-06159870191E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"301c13315172a54f9bceee750f15e8dd3060f021","datavalue":{"value":{"text":"Undecidability of compass logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4943504$F064282E-7B6D-4C65-A3E4-07BBACD78DEB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"89dab1b3aeec85182da5f4b1c6fe7724b2cafa8d","datavalue":{"value":"0941.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943504$8F3C6938-5FA0-465B-95BE-12556153B4F6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eda46022a2dfa23ca54f42f27aec1d9c70ca91fd","datavalue":{"value":{"entity-type":"item","numeric-id":190281,"id":"Q190281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943504$B2E8AACC-C119-474F-A138-8D52ABABC6C9","rank":"normal"},{"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":"Q4943504$6A8B877F-9304-4DA2-9ABE-C5D2E337F85E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fca57a7d89bf0dec15e3184fdb1684eb793d104c","datavalue":{"value":{"time":"+2000-03-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4943504$8C9EC7CB-D3AC-4184-948D-3EF8E5F0E5BC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0be8637b9f219795c22f66ee0330480ab3af1649","datavalue":{"value":"https://semanticscholar.org/paper/a1abd06a5410248364147266e718ee887f2647ae","type":"string"},"datatype":"url"},"type":"statement","id":"Q4943504$C6783D43-CD65-4DA8-805B-67B40C530BB3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943504$E0C78CC2-0D08-473D-8407-0548509CA610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943504$9B9A9AF2-A315-4EA0-8BEE-717D9F013C20","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a196ab38eb6cc2a79e6d4de7fb4e8805246aab62","datavalue":{"value":"1416455","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943504$10AF524B-69A4-4CCF-B79C-A8D1C40F14D6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f254a0fd07124e4623ffba19881191539a77bd65","datavalue":{"value":"two-dimensional modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4943504$56A8F50B-73B9-4FFD-A134-2FAA3900DA0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27638d630e18a79d37aae3ab247a2d08a15508a4","datavalue":{"value":"decision problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4943504$044DB51A-D454-4BD6-AFF5-889DBEF75305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0470d7a9698e5ceba3367e54959ca52af6c7553","datavalue":{"value":"tiling","type":"string"},"datatype":"string"},"type":"statement","id":"Q4943504$7FD1E00C-A180-4E29-B978-B79F1715A4DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4943504$80C9B881-989F-432A-8417-7593501B32FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3f4fd8692795e67510d8f57befa76c3cca5b7d4","datavalue":{"value":"two-dimensional temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4943504$87457C10-3E8C-48DC-91B7-C799B08D3E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"022896faf113d50c4164332a526f233501d35ba2","datavalue":{"value":"compass logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4943504$E4427F8A-F512-4890-844B-5B912FDF2567","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":"Q4943504$60124D4B-1013-4061-A678-762D33771B0F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"908a66b8d6df69e1014f1bff333dde7729f38b67","datavalue":{"value":"W2123970780","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943504$0733AFF6-A78B-487D-B4BB-66C85B497A6B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fc6f2364501420087709f89ab56ae613e7968151","datavalue":{"value":"10.1093/LOGCOM/9.6.897","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943504$998EB7C3-DA67-4526-9936-203DB0B47195","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":"Q4943504$6EB1E2D4-1BA9-4E2F-9E1A-039C36B1AEFA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41815b184538d7c0c6d12b845b8c0e3587da8df3","datavalue":{"value":{"entity-type":"item","numeric-id":3088054,"id":"Q3088054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c77c6c692d77a515ddc5839b273136ca6ec59cc","datavalue":{"value":{"amount":"+0.7546090483665466","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":"Q4943504$EA5B57E1-E4CF-4FB7-B2AB-CEFF15D10ACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85590cad420d780e0b336d5e4496ed20b69f9a55","datavalue":{"value":{"entity-type":"item","numeric-id":2904064,"id":"Q2904064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d494662bb8238ddaf815efdcbdd03e37ac8cfec9","datavalue":{"value":{"amount":"+0.7485648989677429","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":"Q4943504$6EB77C7D-4E8E-4AA6-A7E0-B9D24A2969BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3390954268c3dab48108cf15ec41b31805cde96f","datavalue":{"value":{"entity-type":"item","numeric-id":3460410,"id":"Q3460410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eef2635c855f0817dc1291ee162d7c6389a7dc91","datavalue":{"value":{"amount":"+0.7299925684928894","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":"Q4943504$966FD2F3-D80D-43E1-B7CB-EAF86EB8B51B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fb6c6c85303f2e7f31fbf0839d1c1e30b0adc71","datavalue":{"value":{"entity-type":"item","numeric-id":3322070,"id":"Q3322070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"682ecb4e3fc660a643024166e407195c52c6267f","datavalue":{"value":{"amount":"+0.7252621650695801","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":"Q4943504$FDC10A37-8578-4DAB-90D8-E5A2B930EFCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"029d7212acda62657402710fc7f189eed94aaef3","datavalue":{"value":{"entity-type":"item","numeric-id":294640,"id":"Q294640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc96bbfcdf1dc6f050899c19427c8c7a44063154","datavalue":{"value":{"amount":"+0.7249627709388733","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":"Q4943504$C2036596-602D-4E67-A2FA-6FD9BB5A25BB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4943504","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4943504"}}}}}