{"entities":{"Q3647246":{"pageid":5677152,"ns":120,"title":"Item:Q3647246","lastrevid":87564851,"modified":"2026-06-04T12:00:18Z","type":"item","id":"Q3647246","labels":{"en":{"language":"en","value":"Relational proof systems for spatial reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5640527"}},"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":"Q3647246$91D77A77-F89C-497B-8B1E-C74F561C75F9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6503ff47fa7568bdb50f7b62c07706705460fc42","datavalue":{"value":{"text":"Relational proof systems for spatial reasoning \u2605","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3647246$32A92785-B083-46AE-964C-1A7E56E0ABDA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4459da8ef6469227432aacbc70f3eacdec61d5a5","datavalue":{"value":"1185.68672","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647246$E504DFC6-7EAC-4820-AD5A-D95210641835","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd1f466985cf8143741f29cc3aa6e4e8a4f57c99","datavalue":{"value":{"entity-type":"item","numeric-id":284217,"id":"Q284217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647246$3697587C-6318-4582-8638-DA0E0D961E1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f176c57a4367ad5b382cbda8b83dad6c2cfec594","datavalue":{"value":{"entity-type":"item","numeric-id":213236,"id":"Q213236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647246$CD5AAC76-E407-4F88-AB24-F70BC3895970","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647246$FC23AE8D-938F-4721-AAA1-299B447E282E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0282e8a69b73ad7ee83a673994f773268a123e65","datavalue":{"value":{"time":"+2009-11-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3647246$4F6086DC-F64E-4D33-8B6D-F4C004E2BB8B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647246$646C89EF-E652-432A-AD55-7EA2CC8EB2FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647246$5053FE3C-7C2D-441F-BB54-4BAC2AF956CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647246$71E03BD3-DC82-4909-A078-5DF871BA3B83","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3a0e8032c5fb09ed7f077b8973d8d220bfb8d877","datavalue":{"value":"5640527","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647246$6A323E9C-9AEE-40E7-BE1E-C871915A5086","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c385dbde2ab2096c56cba47af18cd5d73a03589","datavalue":{"value":"contact relation algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3647246$78783D46-BEB6-4FDA-A538-D2CDD24FFB5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aeee67cf896a269cc646aa53a49a1b4071cbca8e","datavalue":{"value":"spatial reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3647246$E6A03EB9-202D-4403-AE1B-CD307E0AF3B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0fc73ccb19478e643df8dc3b7062267ccec9cab","datavalue":{"value":"relational logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3647246$F3414A9A-1EF1-444C-89EF-6ADADBE634AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93039d9d7f217bded359ae2d4e140a099ad56d2b","datavalue":{"value":"dual tableau systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3647246$11A82893-8D05-4AA9-8F9D-4F2550841E47","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":"Q3647246$CB2AC104-DAC7-44B6-AE2F-477F805E68ED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b20d857e1979bd263b0b389ecbed20958b70ac59","datavalue":{"value":"https://doi.org/10.3166/jancl.16.409-431","type":"string"},"datatype":"url"},"type":"statement","id":"Q3647246$AC7F32D4-DF8B-49BF-9C58-68C9960A0FAE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"84a6361a75c7d31dab2f276f24c8e1163ba14399","datavalue":{"value":"W2082314565","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647246$EFE9659D-85AB-4F26-8057-12CFC4CD837A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecc0ab89ac030249e1a8f6cb667401b516510a96","datavalue":{"value":{"entity-type":"item","numeric-id":1141642,"id":"Q1141642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647246$F9A87A31-1DC9-4145-A897-BA75CB366BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2099ccaf8f47d5a145352cb97a36dd9a9417be0e","datavalue":{"value":{"entity-type":"item","numeric-id":1576385,"id":"Q1576385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647246$330EB7AC-CB77-4D95-BC23-2B1DC1E425F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f069e106972e6e532253ec7bdb20066307e316ec","datavalue":{"value":{"entity-type":"item","numeric-id":5941063,"id":"Q5941063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647246$C107B02F-92B3-415F-8CE0-D2F9BCA6EA47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef6adcb6c1ad08ccdf6629343d1bd879e5570aab","datavalue":{"value":{"entity-type":"item","numeric-id":1781107,"id":"Q1781107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647246$B8520477-741E-41AE-A6EB-425935E261B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fadc5cf24e278649059b488e3339f3114001128","datavalue":{"value":{"entity-type":"item","numeric-id":4305669,"id":"Q4305669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647246$723B0617-580E-4E49-A8C4-CD962A4819A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe43f8ee3da5f5771d52de00bea9146672c1f6c6","datavalue":{"value":{"entity-type":"item","numeric-id":2648517,"id":"Q2648517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647246$D1DC76D2-B67E-429A-AF00-3BC65FE55774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37ed030f9f4658726b2e4252748ae39fa9b0ac92","datavalue":{"value":{"entity-type":"item","numeric-id":1850953,"id":"Q1850953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647246$AE3DBD10-8CAE-4668-8CAB-545C85096C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66e457aefff7227ec2d9e92fa001f8d2d7dd1bf6","datavalue":{"value":{"entity-type":"item","numeric-id":1189893,"id":"Q1189893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647246$F38D29F5-3A86-4E11-A125-056C80147590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e208d3d6ab7e266e208bfe8d643670073f816c6c","datavalue":{"value":{"entity-type":"item","numeric-id":2521342,"id":"Q2521342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647246$0D481FA5-9117-4A8B-A2F2-FEDB0F11C603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647246$3EE5CA8D-A31B-4FA2-9AE3-450B2A8794EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b42907445e0c0f3af43551a2be5efa6cafd4f372","datavalue":{"value":{"entity-type":"item","numeric-id":1583514,"id":"Q1583514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647246$F7AE2F7A-A8BE-4E2E-8300-DBB2C2AB1973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cdd6bade1c3454eda14333c0a2ad28ec83785b4","datavalue":{"value":{"entity-type":"item","numeric-id":5781189,"id":"Q5781189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647246$5ECA5C19-A17D-4349-A757-30D5EC1AE0A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b46c80f83c155165a692252b3ece505a1702c3d","datavalue":{"value":{"entity-type":"item","numeric-id":3647306,"id":"Q3647306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647246$05DEECD9-A1FF-4566-ABDD-539786960E56","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"56b328147dd99e70fe75879fd0c18f1c0671ac00","datavalue":{"value":"10.3166/JANCL.16.409-431","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647246$EB9879C2-7814-4DA0-9953-763EE78C4F46","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40a032d23d2f6f405152a813b596b69dad819ddb","datavalue":{"value":{"entity-type":"item","numeric-id":4589230,"id":"Q4589230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e203971f8128ff56cb4a3845925d0442f38a55d","datavalue":{"value":{"amount":"+0.8188178539276123","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":"Q3647246$553AAD0C-FAC4-44E3-ACEE-029FB3B60E34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8323e6b01caf731f367337e057bfaa05c7ec9f8b","datavalue":{"value":{"entity-type":"item","numeric-id":1576385,"id":"Q1576385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49a60151e64c158d50487b0c7edd413772d848d3","datavalue":{"value":{"amount":"+0.7959907054901123","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":"Q3647246$C3204136-6090-4A7F-8E8C-AEA3D0574D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73a061a2682e2d420e170a161090147882bc8a7d","datavalue":{"value":{"entity-type":"item","numeric-id":3416080,"id":"Q3416080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77f703c1ab4ad6bc62db633853f66ec21614b381","datavalue":{"value":{"amount":"+0.7918166518211365","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":"Q3647246$E982DEF9-473E-43E3-AEBD-72626E9CAF2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abb993b3f9eb633ce5db47bd16404bfd7441bfbf","datavalue":{"value":{"entity-type":"item","numeric-id":1617813,"id":"Q1617813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cbfe2dcbb286afa9871606c061af7cbeac89158","datavalue":{"value":{"amount":"+0.7659203410148621","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":"Q3647246$15ACBD94-AE21-45CA-9C72-608217429880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16d9fb8da89fc8945e87f77b8b155ef5b03f5030","datavalue":{"value":{"entity-type":"item","numeric-id":4329274,"id":"Q4329274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07698736c5b1b439dd0d33b1e5d6de5e566e309c","datavalue":{"value":{"amount":"+0.7313742637634277","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":"Q3647246$C4C00F73-2BA9-42C7-955F-B0A49EA21640","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relational proof systems for spatial reasoning","badges":[]}}}}}