{"entities":{"Q1687744":{"pageid":1698485,"ns":120,"title":"Item:Q1687744","lastrevid":71999853,"modified":"2026-04-14T01:59:35Z","type":"item","id":"Q1687744","labels":{"en":{"language":"en","value":"Efficient, verified checking of propositional proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6821857"}},"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":"Q1687744$0078D837-355B-4CAC-8EEF-BF9D9E870400","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3b831cda0603b6b4ff1bdc12194488a93fd74cb5","datavalue":{"value":{"text":"Efficient, verified checking of propositional proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1687744$B2FD9B75-47E3-44C3-8546-7D99F1792552","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"73fdf33d3f154b45733a5e3ab950ea76d17480c7","datavalue":{"value":"1483.68483","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687744$1AC912E0-AB71-40DF-8226-DD8BF2995312","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7eeb5e38865f54097a4741dcf4a445af1b9c3f68","datavalue":{"value":"10.1007/978-3-319-66107-0_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687744$8FA07BE3-D007-44DC-AC1B-E181ED0CE270","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4545114e473836bad71ebea0181e527108d9e5ea","datavalue":{"value":{"entity-type":"item","numeric-id":352966,"id":"Q352966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687744$84FA373C-737E-4928-ADBE-4209FEE7FE67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e575dcde5c387edb729d0c88a8a49b8a6da9ef8","datavalue":{"value":{"entity-type":"item","numeric-id":1687742,"id":"Q1687742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687744$29A726DE-02F7-4D2F-8086-4EF8BD6B0449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6bbab2ea230ef82cf7d72bee404dd827d5aaeed","datavalue":{"value":{"entity-type":"item","numeric-id":230814,"id":"Q230814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687744$FC8BDE5D-431C-49BC-8BBC-A247C44E16A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab141dd3f837977df0bbbad339ac9c4afbc7f053","datavalue":{"value":{"entity-type":"item","numeric-id":2456369,"id":"Q2456369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687744$EE9BA63B-5B74-470E-8DC6-D4CB8B2A597F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7600255b4ee907c1b1dfbc5f62c7b1165ab1b6d0","datavalue":{"value":{"time":"+2018-01-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1687744$1F067DD6-8934-4697-8190-FD22825EBD41","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687744$50493384-CD7D-4B8E-B21C-9E162CC90E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687744$B04A21FB-5145-4753-8263-15CC02A85261","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6767e2749381544451743853340f1f61367d66eb","datavalue":{"value":"6821857","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687744$9BDD3C5C-6BE0-46B5-8732-5C2AFF1BE074","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687744$D0565602-9DAE-4019-9195-9B5FBBFC559F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"179af68833d4e59c1e0a3c7b1bf054d82b9a6b91","datavalue":{"value":{"entity-type":"item","numeric-id":20426,"id":"Q20426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687744$C41E7ADB-0859-46CE-9149-3CB39041234B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687744$D41C239F-6C15-4137-A653-4698226A844E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a3f7f8548c5af1e2ae512d0bcfba5384da7ef3bf","datavalue":{"value":{"entity-type":"item","numeric-id":25228,"id":"Q25228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687744$AFCBE4A6-0923-4C03-8C8C-7BE3ADCE398C","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":"Q1687744$19A9C6DF-3AC4-402D-B476-6CB750931A2E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"18b2323117974ace7f9f16410fd6bcdf8953e8dc","datavalue":{"value":"https://doi.org/10.1007/978-3-319-66107-0_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q1687744$4FC650D5-C39A-4F1C-80E6-7BB3B3F35F23","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9640253aa8eef1e72bbe080e2da73f967a27e4ff","datavalue":{"value":"W2746765002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687744$7857DD5C-F124-4EA7-8C06-46CF7066EBCD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9395c9f1db18f2a2c543ea7dc76354d49c566d96","datavalue":{"value":{"entity-type":"item","numeric-id":2817909,"id":"Q2817909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687744$0E57FF37-4D80-4D72-B4CF-D9AA293276AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4d5ccea7b6fe9f5a7082344f9edaface083da76","datavalue":{"value":{"entity-type":"item","numeric-id":2405252,"id":"Q2405252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687744$5D92F6B0-3AE1-4CED-8EC7-37DF71EDCDFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687744$D9DB5F52-801C-4AEE-A2B1-DBC2FAD2A009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687744$BC8FF947-85DF-4F8E-A381-2EFE2E9C8832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687744$D5D24448-2A4A-4E6E-A21B-1FA121A3A1B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"100bb1ccd2c2d9635aec4ef9416ea5fe826fe553","datavalue":{"value":{"entity-type":"item","numeric-id":5437032,"id":"Q5437032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687744$365399D5-4909-4F34-963F-1B897FB18899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd1ae1eae0bbb3048cc59d85f34aded019099780","datavalue":{"value":{"entity-type":"item","numeric-id":4928451,"id":"Q4928451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687744$AE03F918-B1C4-4A80-AB5F-87A0A31A7614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87be12daaa9049d37eba12568fd639bb8a1c86c9","datavalue":{"value":{"entity-type":"item","numeric-id":2908507,"id":"Q2908507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687744$648FCF9A-EEC4-4331-9B46-52A031D8579B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41f6a9604a2e5b13f65c0298cc75dfca9d0298ee","datavalue":{"value":{"entity-type":"item","numeric-id":2879275,"id":"Q2879275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687744$3C20550C-780E-4BE5-887F-FD8AB66CF4A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e4aed9b8c360dba198361b37afc63de7b6c5158","datavalue":{"value":{"entity-type":"item","numeric-id":5920089,"id":"Q5920089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687744$DEA59843-570D-49E7-95A2-AF58DE73A531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12e63845e5fcfee9882fc674ae679a4adc351ac5","datavalue":{"value":{"entity-type":"item","numeric-id":3655207,"id":"Q3655207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687744$B3B7FE0F-F1D0-436D-9A00-C9B8870B8842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea7fb806cb84b37335d37b3efe1590f8bc64cb5d","datavalue":{"value":{"entity-type":"item","numeric-id":839035,"id":"Q839035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687744$166180B0-ACAF-41AE-89DD-EACD7A5911F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"839fe9e80ad88458f41a8a24be5284fc203e2e80","datavalue":{"value":{"entity-type":"item","numeric-id":606999,"id":"Q606999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687744$022814F9-BD10-433E-9668-AD9C30753BA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2af2092b9c38b5f11bfd9331f5655e22bc0db44","datavalue":{"value":{"entity-type":"item","numeric-id":3283220,"id":"Q3283220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687744$822E15E5-6D93-4E1C-83BC-7C5775D8B1A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f24266047ac8ffcefe32630c940ffdb70489bec0","datavalue":{"value":{"entity-type":"item","numeric-id":2891429,"id":"Q2891429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687744$CCF557F9-E777-4BE3-8799-92DDF5D05AA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f769fe6ef8dd71200eafe07970c69907f40fbcb","datavalue":{"value":{"entity-type":"item","numeric-id":5179007,"id":"Q5179007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687744$35C2A5D4-E67F-44E6-8E85-5CFC8C1329C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7536e92384e11ec3ce8637ede805331f9e036d8","datavalue":{"value":{"entity-type":"item","numeric-id":3997095,"id":"Q3997095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687744$EA07D09D-7609-476C-BCCF-39EB862BE67F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd36dae5803e0965ad10705e59b8bf6df76adb51","datavalue":{"value":{"entity-type":"item","numeric-id":5327347,"id":"Q5327347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687744$412480CE-CBFE-4755-98DD-639DEE42CC94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb081c24d3f308759ffc5be25d93bb06a52b464f","datavalue":{"value":{"entity-type":"item","numeric-id":3192088,"id":"Q3192088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687744$F544C23F-B734-44AE-B2AF-8D00F9070FB2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e53b32fbbe403880914d5edbf7f5343988e28a4","datavalue":{"value":{"entity-type":"item","numeric-id":5919480,"id":"Q5919480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"471ebd88d31f663798ff1e945ebad8b57f9dc1c3","datavalue":{"value":{"amount":"+0.8540705442428589","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":"Q1687744$6056D575-3145-4B35-B853-BA607367E74D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6e92bb1e52dcbe4b71fbb4fb8a9dabdf590a402","datavalue":{"value":{"entity-type":"item","numeric-id":5920089,"id":"Q5920089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5036855b9d6486f0fe37c6992a1e0000d471a6ee","datavalue":{"value":{"amount":"+0.8402649760246277","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":"Q1687744$D5B20DC4-2D1B-4B3C-B6C8-1C12E123FDF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32781204d1db0d50f0fed8e58f21ef2e924a069d","datavalue":{"value":{"entity-type":"item","numeric-id":5327347,"id":"Q5327347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc4dcc83c4423601ea9d0c75a85314a9ae71e1a6","datavalue":{"value":{"amount":"+0.831805408000946","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":"Q1687744$7F10C69E-DE5D-422D-AD6B-0E920E764AA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"117a8384df9f2cfd5c63b60924d56a8724ff3cff","datavalue":{"value":{"entity-type":"item","numeric-id":5179007,"id":"Q5179007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb0577f322474b5b3f242014ac9019394cc0c3e1","datavalue":{"value":{"amount":"+0.8126345872879028","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":"Q1687744$6F471C54-15FE-4B7D-AC8E-38AA6FCBBC65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b25840e9689e28a5767a31e8370e4b859c5091dc","datavalue":{"value":{"entity-type":"item","numeric-id":5458346,"id":"Q5458346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82887add6ef83bf1d5f825462c68445edf602b89","datavalue":{"value":{"amount":"+0.8107829093933105","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":"Q1687744$F6865ABC-0D11-4350-8055-55E1A6BB2F6B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Efficient, verified checking of propositional proofs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Efficient,_verified_checking_of_propositional_proofs"}}}}}