{"entities":{"Q5434504":{"pageid":7464068,"ns":120,"title":"Item:Q5434504","lastrevid":50242655,"modified":"2026-01-13T15:23:33Z","type":"item","id":"Q5434504","labels":{"en":{"language":"en","value":"Extracting the Resolution Algorithm from a Completeness Proof for the Propositional Calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5223569"}},"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":"Q5434504$0A6634E7-CFA0-4C93-A0E0-2251B843B9F4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"66d1c8a9d997c7eb6b9f56b5eecc899570906c26","datavalue":{"value":{"text":"Extracting the Resolution Algorithm from a Completeness Proof for the Propositional Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5434504$E4867279-CEF7-41D9-8699-4D0BC64F24B7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2cd94d7e9a59e9ef0338c8c913c68de1cd359e08","datavalue":{"value":"1132.03316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5434504$48B7A12A-ECA0-4157-9EF9-78F5A8D9BFBF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f1be469b4abace13a4118eb1cf91cea04f6ab08e","datavalue":{"value":"10.1007/978-3-540-72734-7_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5434504$2DB65A44-EBC3-4CD7-9B1B-5979BC7BA703","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7d45bc58b6343c85796331c2c0125934a8b7086","datavalue":{"value":{"entity-type":"item","numeric-id":408533,"id":"Q408533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5434504$5247B560-BD10-41B2-B0C7-B66F44FAECBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9f99e72dec046038a5377ceee67d8841bab629f","datavalue":{"value":{"entity-type":"item","numeric-id":1051423,"id":"Q1051423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5434504$FE067365-FB87-4F2D-965D-E4C70BD0FF83","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6b43984c3ba3f1d3c26edd57f10023672b3ba492","datavalue":{"value":{"entity-type":"item","numeric-id":3455829,"id":"Q3455829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5434504$1597D5E0-AF91-4AEA-AD7E-ED35A0606398","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f5704c6280b1f69fc5c7b22503b1ed12496a29","datavalue":{"value":{"time":"+2008-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":"Q5434504$8C6A73CF-52B1-4AD0-B47A-9C9AE17CEA8F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f646b82507ac918081383a644f49b6c0086e21a1","datavalue":{"value":"https://hdl.handle.net/1813/5754","type":"string"},"datatype":"url"},"type":"statement","id":"Q5434504$8B26295A-3CC6-41F8-9D9B-C13B523876C2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5434504$E5560947-44E2-42E4-85DB-349E24B3584A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5434504$73028FFE-43A9-49F2-8307-ADB7A943BD47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5434504$65FC7D03-1942-4C00-9E06-8CB65A2AC82B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"be734eced29ddbbb57d7da8beb1b8bf81ddf92ad","datavalue":{"value":"5223569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5434504$13AE1D81-4845-410F-B357-3B685B31EACB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5434504$6CE6F229-89FC-4219-8A3A-514EB46D340B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5434504$27BBF173-C289-4508-9633-80485ECDB8A9","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":"Q5434504$A27B7B75-4A6D-429B-9517-DB641877BF7D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"04077b7f5ffe8bb60af7f253d9e14fa7c84ef945","datavalue":{"value":"W1492881020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5434504$C794AC75-68DC-4706-BBC5-845CC0530A6D","rank":"normal"}],"P1643":[{"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":"4d2a25a55b195899b78faa977abde378b636232f","datavalue":{"value":{"amount":"+0.997900366783142","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":"Q5434504$1F0FCD74-00CF-4B80-92DA-8420ED7C0052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cf7b2dee4bced2cbc9a4883c47f4dd252915b35","datavalue":{"value":{"entity-type":"item","numeric-id":5310674,"id":"Q5310674"},"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":"Q5434504$E9EC80CD-6B24-4FD6-B22D-782F25E6C7E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45d4a06ef86ca1f117df35c39655a16ae19e64e6","datavalue":{"value":{"entity-type":"item","numeric-id":3178287,"id":"Q3178287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6820fd87104ad5d97264d22be50c8641ddde8fc6","datavalue":{"value":{"amount":"+0.8018472790718079","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":"Q5434504$AC352688-C8B7-4FA7-AA16-3D361E7A931D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"124bff4b11e7066a44bdfd98c630a15a312c2c3d","datavalue":{"value":{"entity-type":"item","numeric-id":5177337,"id":"Q5177337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee195e70b17033df4b55f3ef53db965a937be004","datavalue":{"value":{"amount":"+0.79884934425354","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":"Q5434504$DBC6A0DF-55F1-4624-ABE3-392ABEB4CC11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28a288adf15a2c7507bec1f91484682a9302bbc5","datavalue":{"value":{"entity-type":"item","numeric-id":4847378,"id":"Q4847378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa4ae4fb5b4d940231bc3667b643e44764d1d307","datavalue":{"value":{"amount":"+0.7436342239379883","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":"Q5434504$A2B0C894-BFE3-46DE-A5A0-29BEFFBB1109","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5434504","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5434504"}}}}}