{"entities":{"Q5234697":{"pageid":7264265,"ns":120,"title":"Item:Q5234697","lastrevid":94688591,"modified":"2026-06-05T07:28:45Z","type":"item","id":"Q5234697","labels":{"en":{"language":"en","value":"Deciding intuitionistic propositional logic via translation into classical logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7111168"}},"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":"Q5234697$8A88E472-B6E8-4329-902C-C01743CDCE26","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ec8c68ff3e0d4055c89f1ace2140133f3c3cc81a","datavalue":{"value":{"text":"Deciding intuitionistic propositional logic via translation into classical logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5234697$39CFA1AA-0E7B-41AA-925B-205D228AB5B6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fb56b6fdf9c92e498b27b4be13b3e3e2f9da0914","datavalue":{"value":"1430.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234697$FB4C5FC0-26A9-4F34-96E0-DD83F811B832","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3ac9b752dbf782e13772e6952c5735dc01da1976","datavalue":{"value":"10.1007/3-540-63104-6_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234697$CF181086-35F8-49F5-A7B3-56B16846606B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"65f9374b8d944cffc672fc968d934174860ec7c6","datavalue":{"value":{"entity-type":"item","numeric-id":5234696,"id":"Q5234696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234697$DB10AD28-EB6A-409D-BB17-EC55AEBC1BEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f5895b753a2581412a8b72570b484e8af47e3a8","datavalue":{"value":{"entity-type":"item","numeric-id":229738,"id":"Q229738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234697$42525FBA-A54F-4DB3-A441-C052B084A187","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3d3860a2f9767fdefbee4661adcdc84432183bcd","datavalue":{"value":{"entity-type":"item","numeric-id":5234680,"id":"Q5234680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234697$FD5187C5-5664-4BF0-A505-D6F1EC3720D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dea1ace5968cb70ccc50b025abd55a0016bafdf0","datavalue":{"value":{"time":"+2019-10-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5234697$CEB6BF60-8713-4EE3-94E7-BF916B5DF9C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234697$C626955E-0F45-4946-B71D-BF84C80679A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234697$E88D3962-68CD-4021-A9DD-5EFF58A70ABD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"726c17017a534039195e65cc8f4487a8978b6242","datavalue":{"value":"7111168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234697$DD2D491D-3AAD-4260-9539-6A6A2801D109","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5234697$44EF18FC-036F-4FA9-95FF-FA56B8CAD554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bf549142b710f01581b24fd28cbb67614316cd4","datavalue":{"value":"theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q5234697$CC728A8C-5979-44BF-93C2-D78E15CD2401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb3ae69788226feca6ae8044c1c7a9062ebff252","datavalue":{"value":"function symbol","type":"string"},"datatype":"string"},"type":"statement","id":"Q5234697$1A745091-3425-4F2D-99E3-9524DFD47CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b07125b09aed5800adeed9b040d5a7e8200652bb","datavalue":{"value":"heredity condition","type":"string"},"datatype":"string"},"type":"statement","id":"Q5234697$5F0F4B73-E6A1-4698-8E64-F0C290501115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5234697$8169C937-E471-41ED-8037-E10D5F4BB975","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":"Q5234697$CA5B72BF-DF75-46BF-9EA7-B52A3F5C7A90","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0f59f3335e13aea33965155c9eb93674c00a0506","datavalue":{"value":"https://doi.org/10.1007/3-540-63104-6_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q5234697$AD887136-D175-477D-B2EA-A3913857418B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ca6ef06026ed0bcc905327ac354c1acecca0e77f","datavalue":{"value":"W1929903640","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234697$4C16AC87-DA9D-4D8A-89FC-55C335646C27","rank":"normal"}],"P223":[{"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":"Q5234697$47DACA8C-F51F-49B0-AA58-1BE3F9F6DCCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25a595a5a77e03a5752581523c5152bf0f896014","datavalue":{"value":{"entity-type":"item","numeric-id":4883282,"id":"Q4883282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234697$82ADA433-19A8-4BF1-A756-C178274D104C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b40211716e772b4a2f4dcb616dccc635488709a","datavalue":{"value":{"entity-type":"item","numeric-id":5582318,"id":"Q5582318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234697$32B58E54-6DDA-46F5-BAC2-1FFF437DF6A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b83592ffe861aca3198948b3c2b96ca5082aefc","datavalue":{"value":{"entity-type":"item","numeric-id":4272505,"id":"Q4272505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234697$4813A7F0-B33A-4854-9CD7-38F4C2797881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed46a22811274dbd0e7d6c07de2031d248ac7e74","datavalue":{"value":{"entity-type":"item","numeric-id":5234697,"id":"Q5234697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234697$F8405129-3AB5-4844-A810-787A291A1EF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9c887b92614dbc292afd0634927cae92c216a18","datavalue":{"value":{"entity-type":"item","numeric-id":1344876,"id":"Q1344876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234697$4D376522-F0D8-4F14-B62D-FF725D23536B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f74512d1738c9d1ad87a430c2d90edb232ca525b","datavalue":{"value":{"entity-type":"item","numeric-id":3983938,"id":"Q3983938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234697$1D6A381E-9792-4E1D-80F3-635A0867A880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5587664e371fa7cdb52e3b1329f22cf9fcff022","datavalue":{"value":{"entity-type":"item","numeric-id":1101242,"id":"Q1101242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234697$6EF5ED62-2116-4391-8DFB-BD9BF9E36926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"366403401f7622593b34e9b9dbb671be627d25af","datavalue":{"value":{"entity-type":"item","numeric-id":5285991,"id":"Q5285991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234697$C7B2FEF6-3D52-427E-A5BF-7E40EC7800B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f09a5677857c114501de7a40c9ec5bfb3a3bb9bc","datavalue":{"value":{"entity-type":"item","numeric-id":5538910,"id":"Q5538910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234697$B081E348-85D0-4E4B-A146-E240B8DE78E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44c164adb1ed5ab550b5513836d6f625f56ea4e6","datavalue":{"value":{"entity-type":"item","numeric-id":1188526,"id":"Q1188526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234697$6CBC4BE3-B78A-496C-B1DB-1BCE9712D27D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"079d26960fbad67a47fb78241cb8cbf2b682033c","datavalue":{"value":{"entity-type":"item","numeric-id":3999539,"id":"Q3999539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234697$6DF488CB-8677-4886-B9A4-3FD8DCE23ED8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"309a2fb3896afcd614632ddfda96b918cd9d9580","datavalue":{"value":{"entity-type":"item","numeric-id":3838821,"id":"Q3838821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92ddf20e710fed46a2716e545169c45295f2666a","datavalue":{"value":{"amount":"+0.7863137125968933","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":"Q5234697$E4031816-3556-4FC5-A80D-F9974B91B4F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bd71200f0772a7a2ed50954b1290c7e29d2ada9","datavalue":{"value":{"entity-type":"item","numeric-id":4263008,"id":"Q4263008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92ddf20e710fed46a2716e545169c45295f2666a","datavalue":{"value":{"amount":"+0.7863137125968933","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":"Q5234697$D6CF3787-5983-42B4-9BF4-7B6E8E901D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5ace344382c0894b7c150b1a283cd9cdb45b3ba","datavalue":{"value":{"entity-type":"item","numeric-id":2878747,"id":"Q2878747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ea57dcca45796051a1514b5fb86703396e96555","datavalue":{"value":{"amount":"+0.7779707312583923","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":"Q5234697$84479339-9E5A-470D-A399-7372B7FC138F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc991c4163e4d166664b7dca4d293463f6687987","datavalue":{"value":{"entity-type":"item","numeric-id":959821,"id":"Q959821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70b3baf486467b877f7895f69cd8a62ca31a6d42","datavalue":{"value":{"amount":"+0.7663320899009705","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":"Q5234697$90335A79-AD62-4758-8D81-589AB2335DA3","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":"b947cab4a64dfde2f351b49e326b7a14534d299e","datavalue":{"value":{"amount":"+0.7558858394622803","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":"Q5234697$A1410A2E-5CF3-48F0-B023-00C8B686EE41","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deciding intuitionistic propositional logic via translation into classical logic","badges":[]}}}}}