{"entities":{"Q5310674":{"pageid":7340248,"ns":120,"title":"Item:Q5310674","lastrevid":50182694,"modified":"2026-01-13T10:29:20Z","type":"item","id":"Q5310674","labels":{"en":{"language":"en","value":"The Completeness of Propositional Resolution: A Simple and Constructive Proof"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5200144"}},"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":"Q5310674$7ECABA09-79F5-4DFE-BBD2-4C5AC78C5F29","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c172f50703f2aa62f282097f996a7c26966c3c72","datavalue":{"value":{"text":"The Completeness of Propositional Resolution: A Simple and Constructive Proof","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5310674$0D3C5ACD-C923-41C1-A6BD-61A9FB8ED236","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"13924b521a44ef140e089eff3ceb8b9d538a41fb","datavalue":{"value":"1127.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310674$D4A502B4-B451-4B58-AD91-0866D631D4F0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e8ddc3d5551cf6ae65407a27ac05defe5ea6b71e","datavalue":{"value":"10.2168/LMCS-2(5:3)2006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310674$83DB157D-5792-4AEF-9363-1C06E3ECE8A2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d25ac9b447f10c901ed8f4d14165c543498fe122","datavalue":{"value":{"entity-type":"item","numeric-id":579924,"id":"Q579924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310674$5619639A-7A41-4992-9023-DFCB90C62C5B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310674$8EAFBE93-38AA-4904-B688-EF8D47C8822C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ed1935546ab8f090eec5de6a789f71af1a2fa706","datavalue":{"value":{"time":"+2007-10-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5310674$C7F7ED79-670B-4B89-8BF1-3422FAD1800D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310674$A7BECA0C-2E5B-4121-8C6D-EEDA85F8D0F9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8b3bcaa7649ae5b989fe4e69e15314df088788e5","datavalue":{"value":"5200144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310674$931B40E9-5705-4A39-87C0-FF829C65169A","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":"Q5310674$C032701D-00C3-4CD9-82F9-E9DA1C8F04B2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"83c0bc5bd42115371afb4287717badf3ca5b6302","datavalue":{"value":"https://doi.org/10.2168/lmcs-2(5:3)2006","type":"string"},"datatype":"url"},"type":"statement","id":"Q5310674$CE2ACA01-34C3-4322-A2B0-8A56FC6252BB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c2fd759841feb3ba3d249b100a9a862875ee783d","datavalue":{"value":"W3103956213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310674$AF6B54B8-34E6-4E00-8C0F-4940C5F06E7B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"286564eb3bc4c320c48c2ddfca71197638c1cb5b","datavalue":{"value":{"entity-type":"item","numeric-id":914411,"id":"Q914411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fe2e24f2d399ea2f63907d40868f02488b0ab8b","datavalue":{"value":{"amount":"+0.8372469544410706","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":"Q5310674$1E6EFF76-2041-4852-BB27-CEE51F334EF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4821d184ef83e5752c967d173acfc4a04c2e4cff","datavalue":{"value":{"entity-type":"item","numeric-id":5434504,"id":"Q5434504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fbe371f78000c5a60e1e75ff7833c32b60a4f74","datavalue":{"value":{"amount":"+0.829667866230011","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":"Q5310674$85AAC6BB-A252-4463-A055-90D294B4EF29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebc099bf621adc8a302704653b45f0029a43f506","datavalue":{"value":{"entity-type":"item","numeric-id":636273,"id":"Q636273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ccb0828755fa3d56458eb59696999b32ddf58cc","datavalue":{"value":{"amount":"+0.8285399675369263","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":"Q5310674$34EB08A0-6440-4A81-A6F0-1088228435B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4e0cae42710547ece2a30a546fd9950b325296c","datavalue":{"value":{"entity-type":"item","numeric-id":3971269,"id":"Q3971269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf6c8e591e2cbd646333d33c1379722d27e81cf7","datavalue":{"value":{"amount":"+0.8190224170684814","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":"Q5310674$9520B59A-13C8-4230-9084-D6B52175BA4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44a13204615f85c9fa4953a0f158a78851a47c05","datavalue":{"value":{"entity-type":"item","numeric-id":1071750,"id":"Q1071750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b24281fff9d4cc84aca6012ae5a6ed4dd93412dd","datavalue":{"value":{"amount":"+0.7942537665367126","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":"Q5310674$B9F8CDEF-4837-491C-BAC6-D6EF8EEE5BEE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5310674","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5310674"}}}}}