{"entities":{"Q5038472":{"pageid":7068049,"ns":120,"title":"Item:Q5038472","lastrevid":91125635,"modified":"2026-06-04T22:19:29Z","type":"item","id":"Q5038472","labels":{"en":{"language":"en","value":"Abductive Reasoning in Intuitionistic Propositional Logic via Theorem Synthesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7595334"}},"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":"Q5038472$ED7E2EE4-016C-4D58-B87D-2D5013801726","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4ffeaaa8737333b8c7c32d9ac0d24914312a15b3","datavalue":{"value":{"text":"Abductive Reasoning in Intuitionistic Propositional Logic via Theorem Synthesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5038472$4289E36E-FF19-408C-B06B-79EC9EC0103D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"42080af8839dcdeaac6ca38aa858513f3705bd78","datavalue":{"value":"10.1017/S1471068422000254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5038472$C60411C9-6D73-4C33-B75A-B5D134A3BCD7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec49a6685e47abe38cbcbbcac2d3c6df36399c7e","datavalue":{"value":{"entity-type":"item","numeric-id":461477,"id":"Q461477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038472$47CBEBDB-CAED-4293-B2E0-F421EBA30481","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038472$5FDDA032-58F9-421D-AF40-F96C4FCA3EC8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9283dd817d2ebf256bf865a5d69ed7b0c35a3bc5","datavalue":{"value":{"time":"+2022-09-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":"Q5038472$E17CA8BE-E6C8-440B-846B-D50CFC6A6242","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d848e4637ccdec394064d36a7bf453a3c04e2512","datavalue":{"value":"https://arxiv.org/abs/2205.05728","type":"string"},"datatype":"url"},"type":"statement","id":"Q5038472$C4502FB9-E38B-4EC7-9D4F-22F9FB9B447D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5038472$CEE0AC65-C0AE-4093-BAD6-345D1388FFFE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dd8950a5ba43cf0949106d05ad505ecbe1706492","datavalue":{"value":"7595334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5038472$EA4FD9D7-2CAD-4B12-A08A-87B6080D0540","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2dd1f1fbc6e674bfbbae800d04f6fb95f431123","datavalue":{"value":"abductive reasoning in intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5038472$75D0A5DB-BE84-4847-A6F0-68523B5B2E52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bb958f9fbc95057f7c67b301d512cf29a789163","datavalue":{"value":"theorem synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5038472$76AC5E11-741C-4311-9577-885EEA16636E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09ab35a17839bc3e742735b76b25d91ed400e089","datavalue":{"value":"logic programming and automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5038472$AE862E3F-EEEC-42E1-A7E3-9A4428894EDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"077d5c2104eb21369ccd0039c28e09a924a3b4c7","datavalue":{"value":"theorem provers for intuitionistic propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5038472$C9AFE602-2991-41E4-8C55-9115BBFE638B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"481d66c8a4e11a25e40b6eff03a2a588a5a5695d","datavalue":{"value":"implementing sequent calculi in prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q5038472$2FCE7670-E5E8-4655-81B9-877827E1A6F7","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d56b76725af1362e8183b6693fe551137ca6d23c","datavalue":{"value":"Q113857302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5038472$CE2CA686-9FF0-4EA5-9492-AA4C84C9081D","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":"Q5038472$36C43F07-8F72-45C8-932B-E11569617A1F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f28586038cea8cbc7416baeda543b4e3023f378","datavalue":{"value":{"entity-type":"item","numeric-id":4707746,"id":"Q4707746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038472$6BD4B1D0-BD47-4158-8902-7BF624ED483F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe4c1ea89bc5854f421d3a6b161146d5aecefa12","datavalue":{"value":{"entity-type":"item","numeric-id":4032862,"id":"Q4032862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038472$BCC955A6-86DF-49E9-852B-50A54C3073DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c516f98c49f15cd730d0f3998c7793610ec5f807","datavalue":{"value":{"entity-type":"item","numeric-id":3305556,"id":"Q3305556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038472$4467A9D0-6573-401D-AB19-B4606FBD1A0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0eda07e74c455b9508c4802bce8fdc74d6e13f24","datavalue":{"value":{"entity-type":"item","numeric-id":5738917,"id":"Q5738917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038472$FBEB3B64-FA44-4C65-AB78-718FC94722E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e8a2f2b61dc50a43bb4aba59fd03705e5900e45","datavalue":{"value":{"entity-type":"item","numeric-id":688732,"id":"Q688732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038472$E4D3E1CE-9C56-4646-A41B-5B1FB7F0C76D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f3c09375ec222e8c0d112a85a6edd48984e4836","datavalue":{"value":{"entity-type":"item","numeric-id":2721207,"id":"Q2721207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038472$D5E8DF7F-7D9C-44AF-A7AC-269A54E70B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a17ce97ffd50bc66d21bd93509c62b35ed106ade","datavalue":{"value":{"entity-type":"item","numeric-id":2119125,"id":"Q2119125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038472$5042913D-D652-4945-980F-41CEEB300ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d441e5c1ad3d2b60232255cad79b43fd2833041e","datavalue":{"value":{"entity-type":"item","numeric-id":5020970,"id":"Q5020970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038472$29B55478-D5C4-4AE9-85B6-ABE21585BD06","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9dab210374df786694de9aeb93f388898f093a17","datavalue":{"value":"W4283654924","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5038472$D3218756-E695-4CD0-BCC5-3FF13DD14044","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1c0bec91397d2419c4cd6446727ef5c89817380","datavalue":{"value":{"entity-type":"item","numeric-id":4244301,"id":"Q4244301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"923625e42ff700f6d98f90fa7772bf6aa3b3d1ba","datavalue":{"value":{"amount":"+0.7346083521842957","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":"Q5038472$E91F0E8A-917F-481B-939E-4C1CC5EE324C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c5e8f1f749b80c55fdeaace3da225c4d8fa174d","datavalue":{"value":{"entity-type":"item","numeric-id":4002442,"id":"Q4002442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6cb2c180799553c46a40d5a24f1ff8126413dec","datavalue":{"value":{"amount":"+0.7302549481391907","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":"Q5038472$55D6F796-D8CB-40F1-9AA8-2A1E538D52B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5fc5e20ca080feb7bd3755314bb2d0db94d1bc2","datavalue":{"value":{"entity-type":"item","numeric-id":4610335,"id":"Q4610335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7dbf5204a8077bcfdabae3378030559e21db249","datavalue":{"value":{"amount":"+0.7194463610649109","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":"Q5038472$550C1767-1B52-46C3-A9AB-94611C3B62BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e62faae414725696cb5c719e82e12f59950ef418","datavalue":{"value":{"entity-type":"item","numeric-id":2180511,"id":"Q2180511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9ddcf903e571249896d002a4d24a90c3e7a1c75","datavalue":{"value":{"amount":"+0.7115803956985474","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":"Q5038472$B97CEB3B-F4F7-4A36-93F8-D8ED7E6DEA95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bc88718a305d147397faaf7899d51ccdc2bb5ca","datavalue":{"value":{"entity-type":"item","numeric-id":4647496,"id":"Q4647496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d64affbf9db598642583b368785751898ae1c631","datavalue":{"value":{"amount":"+0.7102928757667542","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":"Q5038472$7E55821D-6610-4CB4-A87D-6103E4D3520A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Abductive Reasoning in Intuitionistic Propositional Logic via Theorem Synthesis","badges":[]}}}}}