{"entities":{"Q2142069":{"pageid":2152812,"ns":120,"title":"Item:Q2142069","lastrevid":42178956,"modified":"2025-05-27T12:36:16Z","type":"item","id":"Q2142069","labels":{"en":{"language":"en","value":"Proof search on bilateralist judgments over non-deterministic semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7532513"}},"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":"Q2142069$5DF8E109-FB61-42CF-A2BC-51CBCB386E35","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3f9fd323e576ddf4df9691c9a90cad4d0ae8946b","datavalue":{"value":{"text":"Proof search on bilateralist judgments over non-deterministic semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2142069$FA83747F-0892-4E32-8C2F-160D4D5C77B7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"21a2459055e6fbf8d624faca007d4df7e3242d97","datavalue":{"value":"10.1007/978-3-030-86059-2_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2142069$3CC63CF8-954B-4B74-AC23-593F3DAB461E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d030b3ca23a17fa350f18c44179f35f62342dec","datavalue":{"value":{"entity-type":"item","numeric-id":2104550,"id":"Q2104550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142069$C3D0FE39-AF84-49DA-B5F4-6457C3F8FF7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e113ce386cac873d0ff11625736ab0f6b4a20e5","datavalue":{"value":{"entity-type":"item","numeric-id":1682297,"id":"Q1682297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142069$47C2EB5D-9C91-41CB-85B8-3E42E784542D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c98628b33c8dc5226ed1ac3a7bf7845cc81598dc","datavalue":{"value":{"entity-type":"item","numeric-id":276031,"id":"Q276031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142069$E55AD7BB-14F7-44E1-BE5C-255CD6A46958","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"12ef1e2e38c147b52c379a6993b1283d5267f8ef","datavalue":{"value":{"time":"+2022-05-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2142069$0E5E73C8-2078-4773-BB2C-8DBB24A5FF3A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"060c02d6c15dbe737ab25b2f9f16696f9cc9cec4","datavalue":{"value":"https://arxiv.org/abs/2107.08349","type":"string"},"datatype":"url"},"type":"statement","id":"Q2142069$07C4DC11-B4E3-4CE6-85E9-AA3F979C0846","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2142069$DE060F15-0F95-4647-BDF9-60685BEBE531","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e7a7be2af489b817668796b953fc0677c7b145eb","datavalue":{"value":"7532513","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2142069$012AB98D-BE25-4D79-BF8C-33C89D823B58","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"351fefe46fc8e1de8e2d73f29074039dfa23818f","datavalue":{"value":"bilateralism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2142069$8DD14D09-FB27-487B-9F91-DFC79212EDDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb530cf47c7ec20341240b6a9016ab2e50ff1d77","datavalue":{"value":"two-dimensional consequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2142069$282B7DEC-8329-4223-885C-52D4CC662717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4879e8c35d56fd297a402f7c1eba53238e04d57b","datavalue":{"value":"proof search","type":"string"},"datatype":"string"},"type":"statement","id":"Q2142069$673FA220-1357-48F4-BFB2-EB2B2053BBCB","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":"Q2142069$978B787D-78E4-4EE5-8369-C3283F24BD7F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9edef8d117dd4eb40b7554e0f229a8c86902fcaa","datavalue":{"value":"W3203223491","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2142069$E34101F5-36C3-4560-9AE4-D9B3162D6EF3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3dfc7e17b2b084a01e1112904ec44b22d267e13","datavalue":{"value":{"entity-type":"item","numeric-id":1037597,"id":"Q1037597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142069$D1E08B60-21F1-4BFA-8D95-127384F05715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6cdb2b765f973a0f9222ca8bd9da646898a07b2","datavalue":{"value":{"entity-type":"item","numeric-id":874747,"id":"Q874747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142069$73E27583-D9B0-47F2-A586-76E8EF23A92A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56d7992e583cf45900673369824994739769f4a9","datavalue":{"value":{"entity-type":"item","numeric-id":5703736,"id":"Q5703736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142069$79001318-DAC1-4B82-A363-544DE24909F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a72fe39e08bc18bc0a483b7750a615d4176ca318","datavalue":{"value":{"entity-type":"item","numeric-id":2351396,"id":"Q2351396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142069$61A80E8E-9E4C-4020-9FDC-138A9331C951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5faa2fbc23b35d2b6f2fb9c00cded5e597df14bf","datavalue":{"value":{"entity-type":"item","numeric-id":4576064,"id":"Q4576064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142069$93E5A0F9-C27E-439C-9986-6C9CCEAC82BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d46702fcc0d49e571de7762fc2e4120444393d","datavalue":{"value":{"entity-type":"item","numeric-id":2303582,"id":"Q2303582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142069$F0E86BE9-7F4A-41D2-824D-30CAF4872B1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"392f908de4a127c8de2bbbf48ae03ca0217b58de","datavalue":{"value":{"entity-type":"item","numeric-id":5020163,"id":"Q5020163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142069$E92C4AC5-A43D-405E-8D31-744A3F2A5DA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8da2bfcf6ab9b3858f27436b7dbb84132afb6014","datavalue":{"value":{"entity-type":"item","numeric-id":744990,"id":"Q744990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142069$17869586-98EF-4A0C-BBC5-B3646A7BA352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bea75da9fa67a5f77faa9362cd4aa6c737c792a","datavalue":{"value":{"entity-type":"item","numeric-id":4194955,"id":"Q4194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142069$91F97489-4443-464A-800B-F8CB6FA14D9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4975f3ede380845574c26f0cedc727ea5fd29694","datavalue":{"value":{"entity-type":"item","numeric-id":2258539,"id":"Q2258539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142069$72A0E482-724C-4994-BB09-9458A50D1DA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1006e73ae5d0cea8cb849239ef5bed53c8817d6","datavalue":{"value":{"entity-type":"item","numeric-id":5957420,"id":"Q5957420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142069$6F8EC339-51F1-4D2F-8E45-A68F3BB6B7BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e80c93f284996f2ab72fc64c39dc57940808908c","datavalue":{"value":{"entity-type":"item","numeric-id":4644566,"id":"Q4644566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142069$A7CB46BD-E22E-485B-80D2-116A636160D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e736e51e8268280e11ce2dee7f0132a68c71c8f","datavalue":{"value":{"entity-type":"item","numeric-id":3133188,"id":"Q3133188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142069$F83F1653-16D6-4B75-980C-6A96BDA1E9C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"059dd89a45c8f4f35ffad8fcd66570d17d2c8f97","datavalue":{"value":{"entity-type":"item","numeric-id":3647284,"id":"Q3647284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142069$300045B7-0BD4-4A90-AE59-C87750B27B74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bcc1486a2f18c590785ed809ebe92a0a3e4c9f8","datavalue":{"value":{"entity-type":"item","numeric-id":4159022,"id":"Q4159022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142069$6ACF353C-046E-4046-8B7E-45C937D04EC4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcb7289b1d72839270e875a570f99a0a4b7c7dca","datavalue":{"value":{"entity-type":"item","numeric-id":484102,"id":"Q484102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22128bdd03158c113367a692869e892a74998da4","datavalue":{"value":{"amount":"+0.89573735","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2142069$967F567D-7F81-460E-A116-0D4CD4D8CE99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d46e9c15b4e6873bc4d9a9de52ad814a0b12f609","datavalue":{"value":{"entity-type":"item","numeric-id":2703721,"id":"Q2703721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de479031f705327adbe478d531f30b971825c65b","datavalue":{"value":{"amount":"+0.86839247","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2142069$0DC88764-72FE-43C4-8A66-F044B223C930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3aa2eca1729bedce32f244a4ef8fcd55294f7b64","datavalue":{"value":{"entity-type":"item","numeric-id":4934557,"id":"Q4934557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb5b5817aad6603f388a13a73b7d56dc5c6248b3","datavalue":{"value":{"amount":"+0.8582064","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2142069$83373D15-508F-468E-9042-E8F33E573314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f76108347c8a8bf618a8b6b2a0263903fc003f5c","datavalue":{"value":{"entity-type":"item","numeric-id":5714444,"id":"Q5714444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f1dd147f29b46471f01c745a6d0fdd8c69fd746","datavalue":{"value":{"amount":"+0.85585076","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2142069$53257C7A-5881-4D1D-91D1-CFAAE0A82818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10e19cabe13341f67aaef2cf0b284b7eec0db861","datavalue":{"value":{"entity-type":"item","numeric-id":5419489,"id":"Q5419489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5c12ade90e5abbc924d3621b49c444f090481ff","datavalue":{"value":{"amount":"+0.85542715","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2142069$8B247CFC-3BB7-4EA6-BA43-62C579CE7197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eec39c26452f972e83213a0f251838ecdfe61a79","datavalue":{"value":{"entity-type":"item","numeric-id":3648737,"id":"Q3648737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba552ad7bf836b6e6ef4dabd68581fe84cc1dcff","datavalue":{"value":{"amount":"+0.8533403","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2142069$203C439A-A9F1-4058-AFB5-639E602352B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65f04b4f104c62dae45cbc9fcb7836958cf9cbe4","datavalue":{"value":{"entity-type":"item","numeric-id":1928822,"id":"Q1928822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"570620e2d94081b6c5248ec2c220ed747be422a9","datavalue":{"value":{"amount":"+0.8513349","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2142069$0768D68B-D96B-427D-B073-F4A7391F37FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3de7f191b3d0e2d385eb0a240cd7bc93e739246a","datavalue":{"value":{"entity-type":"item","numeric-id":4264720,"id":"Q4264720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05c5df8d56a37cfe092c853eca97d7fec615fa9d","datavalue":{"value":{"amount":"+0.85087794","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2142069$F8E31C97-BF90-48BE-9E74-2A77AF7F91C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49d1a9277dfb738fc9db76565150cb370a9a235d","datavalue":{"value":{"entity-type":"item","numeric-id":5448614,"id":"Q5448614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd02f36563222bfdb29255a8eff2f6092d29dcf8","datavalue":{"value":{"amount":"+0.8508594","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2142069$EE53F7EA-A5B3-42CC-B975-7EC9483F1963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60bd0aaf26d806093c2563e1ec1bd9bced45c39d","datavalue":{"value":{"entity-type":"item","numeric-id":4364375,"id":"Q4364375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3096d44ac45da9f097a89a2106e7b87d2b387ce4","datavalue":{"value":{"amount":"+0.8493104","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2142069$99A08E17-B072-4CCE-BAF9-55793E79BC6D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2142069","badges":[]}}}}}