{"entities":{"Q5891235":{"pageid":7927030,"ns":120,"title":"Item:Q5891235","lastrevid":101986229,"modified":"2026-06-06T03:15:31Z","type":"item","id":"Q5891235","labels":{"en":{"language":"en","value":"Proof theory of a multi-lane spatial logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6213547"}},"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":"Q5891235$31F52CE4-2CD5-4FB1-9569-19E68B602111","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1a733074293f84f91b79ea40fc785ac3cfbe0983","datavalue":{"value":{"text":"Proof Theory of a Multi-Lane Spatial Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5891235$07E99050-D598-4EC9-A11E-3077AC2ACC0C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2294636672cffb99941754c8fdc3a4bd56dee45f","datavalue":{"value":"1433.03055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891235$5A4BD870-577A-4C4E-9738-D5F45967F0FF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"da2ade876f306c662aa429ebca93b0e5e6fdc2fe","datavalue":{"value":"10.1007/978-3-642-39718-9_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891235$823D4335-01C8-4CA0-9711-50B2C80FEB62","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0bc5ca4d35a20d83a8591b8bdd06e483c8a4ba6e","datavalue":{"value":{"entity-type":"item","numeric-id":2671626,"id":"Q2671626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891235$6222BDEE-797F-4382-A494-ACC8A70433F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5548d7cf5290f6d78bc33cdfb6d9cc0de5f5a2e6","datavalue":{"value":{"entity-type":"item","numeric-id":2842636,"id":"Q2842636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891235$4D863F3D-794B-41C6-97A1-06258E916136","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"427e8eb9fd32bb5d57a5a57855d39d1b11cc9ba1","datavalue":{"value":{"entity-type":"item","numeric-id":2851896,"id":"Q2851896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891235$2D4A934A-6FEB-43D7-90A7-EA013E51C809","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1145dc38b4d246480a51682f22dd7d8a161033fa","datavalue":{"value":{"time":"+2013-10-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5891235$6A82AFE0-49C3-4F5F-B08E-E7E9B03EE172","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9f6a13159c73bf6dca5cc95034c10d1dee8a4670","datavalue":{"value":"https://arxiv.org/abs/1504.06986","type":"string"},"datatype":"url"},"type":"statement","id":"Q5891235$E91470C1-C8F9-4666-8C93-7CA4BC0B1099","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891235$AF05948B-B6E4-4DFA-A6E9-D6F3A2B3BF93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891235$CB9BE18A-606C-4D98-96D8-B782C1EB922B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891235$9ACC799F-DA6D-4ACF-8AB2-080FF9986D38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891235$D71AE568-14E7-42BB-8C0D-0673744E4D5B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4e69c720e69cc8600e86864c6cb960d132790f10","datavalue":{"value":"6213547","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891235$461F3414-3CDB-4648-9506-9CCE7DA841A6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a0f0ad48d236cd78f6fffbd8f8a48a91a9a8a4c","datavalue":{"value":"spatial logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891235$049CB85D-51B7-4696-8A04-3EFB6668490A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891235$5E86D4BA-32FC-4F07-B68E-A46EB3C60804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83fdac3184ba5fe1eb985ec4b2547ca4b979920d","datavalue":{"value":"labelled natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891235$8968D381-1278-4B1E-BF34-053AC8AD9F87","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":"Q5891235$AAEE74FE-CD6B-4E79-BA0A-37F8EFAA10BD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2328856ec8420fb311f6b6d30de64dc1cd9a3bc9","datavalue":{"value":"W3197814852","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891235$86A59FD9-35A4-45D5-98BD-AEBCA5659C11","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cb81fa0f15d81d723bc579abf62b68da5f062dc","datavalue":{"value":{"entity-type":"item","numeric-id":5892109,"id":"Q5892109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3fbc3c0158026b2ed8ff33948e4c292eeb3c1b2","datavalue":{"value":{"amount":"+0.9885974526405334","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":"Q5891235$BA46473B-73AB-4AFB-B155-5EEF3BA0C800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e49f9280cd4b6ca0c18dd715295ba6711c8c89b","datavalue":{"value":{"entity-type":"item","numeric-id":2787438,"id":"Q2787438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44832fc1079c9a7eefbdb5d05b4bdb5cb89c09ac","datavalue":{"value":{"amount":"+0.867137610912323","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":"Q5891235$71C6F316-8648-4984-BD12-EF99FFFA80FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f0ebf3120f5bb25f370aec1b02407ca66a7218c","datavalue":{"value":{"entity-type":"item","numeric-id":2842637,"id":"Q2842637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd502b82eeec29c3641515ed817ee7c7ef370918","datavalue":{"value":{"amount":"+0.8510169982910156","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":"Q5891235$25775BAE-27D9-4E5F-B7F4-A562C7DD5673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be2b1acee85bf330b149e2790634fe679158554c","datavalue":{"value":{"entity-type":"item","numeric-id":1786569,"id":"Q1786569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fcaf933a260e05cda51eae5af3b38e172485004","datavalue":{"value":{"amount":"+0.8292639851570129","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":"Q5891235$06D26B6E-0E94-42DD-A8E6-66983276BF2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3e813bb9128e54fc47cefe438f6e94056b1c7a0","datavalue":{"value":{"entity-type":"item","numeric-id":3449630,"id":"Q3449630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d0bed63709c99aabdccb6195c9d740af7b27e0f","datavalue":{"value":{"amount":"+0.8247901201248169","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":"Q5891235$C90E6AD9-3E54-48D8-9286-60FF53322062","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof theory of a multi-lane spatial logic (scientific article; zbMATH DE number 6213547)","badges":[]}}}}}