{"entities":{"Q1422809":{"pageid":1433549,"ns":120,"title":"Item:Q1422809","lastrevid":48243481,"modified":"2026-01-04T02:23:53Z","type":"item","id":"Q1422809","labels":{"en":{"language":"en","value":"A formal grammatical model of the resolution method for the propositional calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2046937"}},"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":"Q1422809$BA2A6F71-D4F7-48AA-B243-45E459E09030","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"109a57a52bffcb6a943bf5cbc57685d6e0f3efbe","datavalue":{"value":{"text":"A formal grammatical model of the resolution method for the propositional calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1422809$58DA2D1B-BB43-4060-9B55-9782E2313690","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6a2fb04aa835a85a6828cac6a3ec14a5eb512e08","datavalue":{"value":"1038.03518","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1422809$6376F7BF-EBD2-41E6-BABA-A2B058B547D6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c31a5144eb87135c20270f0c32f39fbe50dff344","datavalue":{"value":{"entity-type":"item","numeric-id":1422807,"id":"Q1422807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1422809$0594EC99-1323-47F2-ABAE-CBD98EC0A6C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b41254d5d5fad112e3dc5d0bcaffdbb68c02d12","datavalue":{"value":{"entity-type":"item","numeric-id":1422808,"id":"Q1422808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1422809$70250A06-3B65-4C27-AC2A-D8E40570AEC4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea601235ca9729b561915b44763b732239cbe6f1","datavalue":{"value":{"entity-type":"item","numeric-id":276877,"id":"Q276877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1422809$61EA7A58-64AC-417C-87A6-700221DB6899","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8bd903f884a641431fdcdac1884fafd5e7f53ba0","datavalue":{"value":{"time":"+2004-02-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1422809$7E397889-EF4B-4FB7-9CAE-5940D5964D24","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1422809$D395FC77-7EB8-4050-8AD8-F4DFDF23BD02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1422809$5221897D-923E-4DE1-A606-AFE367E890B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1422809$E534FB4A-9B4C-4879-9ADC-F72DBD3E965B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d23338b2b110a288814d84436b7736cbfb235136","datavalue":{"value":"2046937","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1422809$0958B713-409A-4EE6-B0B8-D3F3B141CDE5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7e45de5f0961d0cf7470a7b0dd939d5c4c581f3","datavalue":{"value":"classical propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1422809$87BF74F4-5B18-426D-B0C2-F18605D5A2DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e431190495251d75e7d7f973ca704f4139885eb","datavalue":{"value":"Horn clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q1422809$96CF3D59-03D1-45E3-B91F-8BDE61AF794A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c9977afeaac4d053aef4e5b5c50df2441a2faf8","datavalue":{"value":"resolution method","type":"string"},"datatype":"string"},"type":"statement","id":"Q1422809$421A0A76-C318-4295-AC68-451CB35065A3","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":"Q1422809$49190028-D636-46BB-8B87-2404E2DB651D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b73174a4485242e702f9d30c95ca2f409d048b88","datavalue":{"value":{"entity-type":"item","numeric-id":3976574,"id":"Q3976574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8603c6b456b606485a7bc8642514645a5ebba1e2","datavalue":{"value":{"amount":"+0.7866894602775574","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":"Q1422809$A5EAFDCD-E51B-4751-A944-619793AF4085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44469c695c7d19631de7e636f5e7f496493f9406","datavalue":{"value":{"entity-type":"item","numeric-id":4283235,"id":"Q4283235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8603c6b456b606485a7bc8642514645a5ebba1e2","datavalue":{"value":{"amount":"+0.7866894602775574","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":"Q1422809$B8B3D18E-173C-488E-A740-B239CC83A9A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e26df735870355093c813bc92138e93234fedbb","datavalue":{"value":{"entity-type":"item","numeric-id":3742762,"id":"Q3742762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bda903f626b91456bf2506d05807c6d531c3659","datavalue":{"value":{"amount":"+0.7679080367088318","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":"Q1422809$F9201357-36F7-4B78-8775-70C8E40C55CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd01bc225923ba0424c86610ffc3038c50c8740f","datavalue":{"value":{"entity-type":"item","numeric-id":3826123,"id":"Q3826123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddeec5e5f9204ab5ea128daf2f31ad130e99a894","datavalue":{"value":{"amount":"+0.751487672328949","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":"Q1422809$E7C37DFF-0CDB-4AE5-B952-54D74EA30924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efcd782c72c8baec804be5d31c8790803418577d","datavalue":{"value":{"entity-type":"item","numeric-id":5457670,"id":"Q5457670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba879f21e10f42d35db2eb82e7d2f0201f7073a7","datavalue":{"value":{"amount":"+0.7510432600975037","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":"Q1422809$6A37910B-B9DC-468D-B53D-7D8C9CA29584","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1422809","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1422809"}}}}}