{"entities":{"Q2987064":{"pageid":2997788,"ns":120,"title":"Item:Q2987064","lastrevid":85305011,"modified":"2026-06-03T06:49:06Z","type":"item","id":"Q2987064","labels":{"en":{"language":"en","value":"Theorem proving for classical logic with partial functions by reduction to Kleene logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6718429"}},"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":"Q2987064$A1736E62-4A53-4DEB-A955-1181624136C9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1e5ec657b3b65daef6fc0aca9094b92b37e423f1","datavalue":{"value":{"text":"Theorem proving for classical logic with partial functions by reduction to Kleene logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2987064$A5591194-5298-4862-9F14-6D210919F8C6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"62f8bb50b794d9bf07166a8e454520588422e1a8","datavalue":{"value":"1444.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2987064$6392E483-E52C-4063-8049-FD1C26C25300","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0af7e025189305bad11f686c710fe3b187470eaf","datavalue":{"value":{"entity-type":"item","numeric-id":438567,"id":"Q438567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987064$810E200A-982F-4D52-A88B-750CED2CF198","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"41be8a7ccb30ef6453be136c830247d17a0d171d","datavalue":{"value":{"time":"+2017-05-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2987064$733F0232-B225-4902-B940-44037E3238C3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"91bf3c29cb134c23db47fa37c3bfa696ab4d28da","datavalue":{"value":"https://semanticscholar.org/paper/6e9e53b73cdfbfdcc88e3cdd889433de6c5ecfab","type":"string"},"datatype":"url"},"type":"statement","id":"Q2987064$FF8CC3DB-F923-4D59-BB88-916B63DB6F5C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2987064$7377924B-802A-4F67-98EC-545E57CBCFBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2987064$C7A62350-42D8-4F58-B27F-E24D80A44754","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8590bbf7157cbdf8f6958b7874555ae292399f99","datavalue":{"value":"6718429","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2987064$1A6A426E-F6F9-4A0C-A782-A737EB3F6804","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2987064$CAB4F49D-DE44-4D91-AB3D-E7F5D23ED9D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d31be1229374545ff94fd95ad2a5ce9870f120db","datavalue":{"value":"partial functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2987064$F8E35617-857F-4211-92A0-56E6DF21659E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe9774c3f67d416a6c8463ab2f991bf6eb18e479","datavalue":{"value":"three-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2987064$255CB051-0D0C-4265-9F37-999EB5CC0950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2987064$4C0F2CB8-CCDA-4A77-B6D7-D90950CAE9E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33f2655ab2543323c20d69c5db7b2b41f7b9586c","datavalue":{"value":"finite model search","type":"string"},"datatype":"string"},"type":"statement","id":"Q2987064$A9970A74-57B8-4B8F-AC31-1F543CC83B8A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fd2028c5945640f27cb6959a4899c9e5ecc937af","datavalue":{"value":{"entity-type":"item","numeric-id":18923,"id":"Q18923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987064$623F8EC2-FDFC-4F0A-91A4-00D34B119855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987064$A3C08974-5F7D-4461-9CD0-650F3D6BB60B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cd543fd49199b1838ba332ea5e7b335fbe6c5a58","datavalue":{"value":{"entity-type":"item","numeric-id":19608,"id":"Q19608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987064$D4B17224-815C-4C28-96BD-2DDC68BEE1C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"69b6ebbfeb6c490759de067efca134e6f9d28db4","datavalue":{"value":{"entity-type":"item","numeric-id":33155,"id":"Q33155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987064$9AA91227-7463-4B3F-B3D4-EBFA4F2E6368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b0534146a05d73e3a999d0136f095b224ee22879","datavalue":{"value":{"entity-type":"item","numeric-id":33156,"id":"Q33156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987064$D51393B3-D02D-42AA-B4E1-074C3D5580C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cea1b2cb84bb47ca577fcebf0f42420b207179eb","datavalue":{"value":{"entity-type":"item","numeric-id":16359,"id":"Q16359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987064$A96816C6-31B4-4406-9642-45FFB93E76B4","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":"Q2987064$3463292A-661E-4941-95B8-0AFDCFA67338","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cf1287046d089ab34c931472f9124b92e22bbc2b","datavalue":{"value":"W1971227473","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2987064$DBD30002-5ED2-4A1F-A5A7-0552DC4EA8BB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2a85bd1ec04582eec1cc3919715057d70e681cbe","datavalue":{"value":"10.1093/LOGCOM/EXU071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2987064$5E64A07C-3A1D-4EED-B1AC-04AC06DA2FA7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987064$0D44CE3D-B67F-49D5-B689-B5A54F08CABF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fd4d68429e4e1970dc21945e4350b40d5be6c0f","datavalue":{"value":{"entity-type":"item","numeric-id":5210785,"id":"Q5210785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dfde4892297ea3c13ba7513fb76c7f459ac3a0e","datavalue":{"value":{"amount":"+0.8075461983680725","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":"Q2987064$09A62ADB-B318-4E77-A7B5-23193F08D077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2c74bf2b0c7d1a63590adb2435675382a829aa9","datavalue":{"value":{"entity-type":"item","numeric-id":438568,"id":"Q438568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bc7f3447df8c9965947c4eb6565517d2cc2a08f","datavalue":{"value":{"amount":"+0.7969502806663513","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":"Q2987064$B1F05E2D-040A-421E-981E-F3D9F16DE651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8119ec3aa981e9a9db002ac60c0b87fa899679f0","datavalue":{"value":{"entity-type":"item","numeric-id":679251,"id":"Q679251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7939cad50a1460c721f8f21c287928cf0dd469d8","datavalue":{"value":{"amount":"+0.7951650023460388","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":"Q2987064$D61932D6-3561-47DE-BF63-1C13F135973A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70ea41c8d5a8c052c87685c0115856f3d1b2c1b9","datavalue":{"value":{"entity-type":"item","numeric-id":4885908,"id":"Q4885908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfd6bbb73bb8213a8261a87179edc0d047b7f3da","datavalue":{"value":{"amount":"+0.7944574952125549","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":"Q2987064$4F6F0F07-E215-42E6-BD3B-53559A2CBFFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e43dbe1520a1337ef3145fb25110ab262401fdd","datavalue":{"value":{"entity-type":"item","numeric-id":5096142,"id":"Q5096142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ede579cc93c0dfc9e4f92123ac6a99aebc412f6","datavalue":{"value":{"amount":"+0.787017822265625","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":"Q2987064$7E0C7A83-F9B1-4B94-AB46-E4A49D9CE774","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Theorem proving for classical logic with partial functions by reduction to Kleene logic","badges":[]}}}}}