{"entities":{"Q3386911":{"pageid":3397614,"ns":120,"title":"Item:Q3386911","lastrevid":58148964,"modified":"2026-04-04T00:24:22Z","type":"item","id":"Q3386911","labels":{"en":{"language":"en","value":"Non-deterministic algebraization of logics by swap structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7291119"}},"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":"Q3386911$9EDBC12C-BDCD-4C33-A2A2-4D6DD3E9EF6E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ab2242b1905024bcb6ff182258d8a3c801ad0fb6","datavalue":{"value":{"text":"Non-deterministic algebraization of logics by swap structures1","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3386911$FA4467ED-1D50-405B-8F04-8B97547A8D30","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"100a52c151b403fee034cecb656e1e7fdc33cbf6","datavalue":{"value":"1477.03089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3386911$08848F70-ABB2-4284-AD08-0117D02F4834","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"abb72aee385d3c375008fbb213dbc232938cad53","datavalue":{"value":{"entity-type":"item","numeric-id":186027,"id":"Q186027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3386911$0EBB69BF-94A9-4ABC-9A37-5D9FBD5A746D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"99f3b1d176648ef634921ecc33c93a1989e9b179","datavalue":{"value":{"entity-type":"item","numeric-id":332077,"id":"Q332077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3386911$67655348-D7FB-4857-86D2-1D97BFC9FB43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"622516b5d94924315942e59906c457e5d12fa8c0","datavalue":{"value":{"entity-type":"item","numeric-id":2317514,"id":"Q2317514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3386911$A3885228-7DFF-4595-B860-90F601440C12","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3386911$D4E52908-6CA8-45D9-AC77-BA51EA417B22","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"20f5a5d62f60415f5fad4a5a75afa6346714a9ea","datavalue":{"value":{"time":"+2021-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3386911$4144BEBC-2CDF-49A8-BF28-B489AE283DCC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1451b492aff14df0e0a708417f5b6b07cc0d10fd","datavalue":{"value":"https://arxiv.org/abs/1708.08499","type":"string"},"datatype":"url"},"type":"statement","id":"Q3386911$C60F1AEF-ABCD-4F60-89B7-309D014D2DBE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3386911$C7189C92-D858-4DB0-9660-FFB6B30A3207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3386911$BBEFE0D4-EE92-478A-B1AD-A147E5B26BD8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"261e8c94ab54edcfd47e1ee2a5b314783b7af205","datavalue":{"value":"7291119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3386911$3AD68A90-1857-451F-A658-9142758B1105","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01e30750d3953fbacf7fbe909d3e7aeede131c96","datavalue":{"value":"non-deterministic algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3386911$C1A0B06F-2AB1-45D7-9906-D5978719B3E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6639e18eeae68e7ef18fbc2c724fbf32acad217","datavalue":{"value":"multialgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3386911$E75E7B8A-551A-413E-8D24-E5061826B76D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ac5dad6adfd7bb6c05b09ef293bea2d1dc1873a","datavalue":{"value":"hyperalgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3386911$57873A77-8C35-46CF-8ABD-40E09FF97600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"496b9973e3b06473381d8df2748e6ea2128b03fb","datavalue":{"value":"non-deterministic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3386911$3D806DF9-9F58-491D-9E7D-3A3088BE1B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"029800e25b88b7c01a8227f5eeb739c450063ac4","datavalue":{"value":"non-deterministic matrices","type":"string"},"datatype":"string"},"type":"statement","id":"Q3386911$463E50C2-CE28-4B44-979F-A68D8EB7563B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbe03eed69bb4eee3abecafe73716ed6333f598f","datavalue":{"value":"twist structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3386911$8F28A7B9-8675-421E-A35C-FD5031E3F3CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f409d4cd3de063e96aae41cebabe836cb3a25b26","datavalue":{"value":"swap structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3386911$6CCCC321-9517-43E0-AAED-496DBAEFD746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cd45fc55967e4bd3b9022fa53eb4932281adb69","datavalue":{"value":"logics of formal inconsistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3386911$607FD26C-2BEC-4E6E-B87D-3B7E0E03D4DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6285192baf35f9ff7c4c7f6c7e8119c9be772c2b","datavalue":{"value":"Kalman's functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q3386911$34DF10D9-0712-4C27-B92B-172EFA00D747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a38ac89ffd4c0d03f0c08522949a1b987edf550","datavalue":{"value":"Birkhoff's representation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3386911$C45F76A6-E953-4782-AF08-5AA718B9A20C","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":"Q3386911$1E9041F5-220B-47D5-A144-7D683A6841C3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"daeffd3846300a0f0c6982abf99757304b9c03ac","datavalue":{"value":"W2963206298","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3386911$C7F55331-C69F-4AB4-89AD-C802AF96BDFC","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ad4422e12fd0345d0e810887a4bc3d79e4e236d0","datavalue":{"value":"Q129003342","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3386911$81A36B8F-A5D0-4D42-B224-9B2196771B25","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1965fd19708d6c4b86465029486847872f933225","datavalue":{"value":"10.1093/JIGPAL/JZY072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3386911$40EC3BE4-366A-4368-983A-6CDD55838FD6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc6d0fce0fc261cfdf46470d7df13d05daba6162","datavalue":{"value":{"entity-type":"item","numeric-id":2317515,"id":"Q2317515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c175b0e828d2ad2e70946323829d3f8d611bac9","datavalue":{"value":{"amount":"+0.8005542159080505","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":"Q3386911$FB969923-91A0-4A6C-8C5C-8D978E15A48B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9509e913af93046be6ff1a509bbd2943fb7f880e","datavalue":{"value":{"entity-type":"item","numeric-id":2449455,"id":"Q2449455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93854d6303f7a4073a2b32c1e3cbcb093b56e8e3","datavalue":{"value":{"amount":"+0.7360126376152039","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":"Q3386911$6A689B9C-4BEA-41E7-AEF5-C446960CCB5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c2d984f2ebe89f8b3f38de23404d52750dc6562","datavalue":{"value":{"entity-type":"item","numeric-id":3424133,"id":"Q3424133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc5efb6715fd30a6859e51f17e2cccfcf95f63d8","datavalue":{"value":{"amount":"+0.7310000658035278","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":"Q3386911$B8FA6A8E-0690-4539-8F20-683468E8C37F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc5cdc5bdc8ca6045056763810ffd97744843bf8","datavalue":{"value":{"entity-type":"item","numeric-id":5172134,"id":"Q5172134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"123b8581c1907b4e3230f5f0625f8888be35dbe2","datavalue":{"value":{"amount":"+0.7288336157798767","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":"Q3386911$7A7CF8FA-9AAC-4EDD-ABEC-81526800023F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dce988d8fecadde0896a2ba6689b04b3a1ab9eb","datavalue":{"value":{"entity-type":"item","numeric-id":4450439,"id":"Q4450439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dc3ac3359f4ce23437fa0cf3ff435460da66dfe","datavalue":{"value":{"amount":"+0.7123298645019531","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":"Q3386911$DEAE9AE1-01DB-4C1E-BCE0-FD2B3F28733E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3386911","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3386911"}}}}}