{"entities":{"Q1014285":{"pageid":1016133,"ns":120,"title":"Item:Q1014285","lastrevid":65954412,"modified":"2026-04-12T06:33:42Z","type":"item","id":"Q1014285","labels":{"en":{"language":"en","value":"Counting proofs in propositional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5547510"}},"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":"Q1014285$431EDCC6-FCA8-4765-91F5-0961396F0056","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"94b660d5247cf812ed6dc73d895be6a9f51ba0ba","datavalue":{"value":{"text":"Counting proofs in propositional logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1014285$37016D30-1BC8-499E-A3BC-C02C9AD2559B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f7ce2d8f8f53196b7184ee12731a6a6798e74c56","datavalue":{"value":"1168.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1014285$1FE12E46-D3DA-4781-8496-301B4020E3FA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8a2b41fc82fc820470803336cf6817ae0318cec","datavalue":{"value":{"entity-type":"item","numeric-id":172779,"id":"Q172779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014285$99A4A9FC-DC75-4872-B6BF-635A619B6798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"213b864dc54d93cbd8178686850f26280c0ee2c3","datavalue":{"value":{"entity-type":"item","numeric-id":751645,"id":"Q751645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014285$CF9CAE85-ACBC-442F-A749-726940B40884","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014285$7C81CE6C-3541-45FD-A3B4-9848C02CC548","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f40d4a7d32e7e554cba8a4f57f931cf8b36f1589","datavalue":{"value":{"time":"+2009-04-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1014285$5CF96788-7798-465F-9488-FC4DF8E8EFAD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f3d9486f664c4a09a8eb2d6a5e887a72eec0197f","datavalue":{"value":"https://arxiv.org/abs/0905.2880","type":"string"},"datatype":"url"},"type":"statement","id":"Q1014285$7EC7256C-59AA-43DB-8501-978974B7A14F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"151f29304cde2ce3fd069189a24de94fbdb655cf","datavalue":{"value":"The authors give a procedure for counting the number of different normal proofs of a formula in propositional logic. They show that this number, either an integer or infinite, is the least fix-point of a system of polynomial equations in some natural complete lattice. An algorithm for finding such a least fix-point is described as well.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1014285$BF8CEA44-1833-494D-BA97-C32E96CE3834","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1014285$F765AA4D-5884-45BF-A842-B82824AB7CB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1014285$80F20846-3EC1-4065-A4F7-2AF2FFDF85FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1014285$0E12A9C9-25E3-4523-99F1-E52BB0BB75E0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"360e865c7003f113401e5dbfe46e2cb0760667d3","datavalue":{"value":"5547510","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1014285$7AC7EF29-33D3-44C2-B2C1-2A628F3D5012","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1014285$97E1345B-6D67-47CE-AC45-72FB15243A01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7eca3d13f10f27bc01d588fcbe6d9a8ac079653","datavalue":{"value":"number of normal proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1014285$A94FD769-FD5F-4E3C-ABF8-E25D2BAF2B08","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2b87c2901b1d9462aa6fffa26502c8ee861836b0","datavalue":{"value":{"entity-type":"item","numeric-id":1062052,"id":"Q1062052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014285$5DBCA5A7-5E87-4DBD-9C5B-54A02245A325","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":"Q1014285$5B4941DF-D044-4204-8E87-EFE098EA3DA0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cdf791974e071aafd29a48b4a9717c1a713b76df","datavalue":{"value":"W2107956612","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1014285$D9D651F6-5B86-485D-81B7-131D271B2F31","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0188d0b062ce233e0f9cf2a92159d09920bb3a55","datavalue":{"value":{"entity-type":"item","numeric-id":2778822,"id":"Q2778822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014285$E1BF00E2-2309-43BE-B2D4-B292A4394242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd22f0cc6d347d0883b044bb9468db1ab7dd5a3b","datavalue":{"value":{"entity-type":"item","numeric-id":4346206,"id":"Q4346206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014285$7FCEAD03-0AF2-4245-9D36-1F96E0BD1B58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2281ce5fbf6b50ade93be051e7b15459f4befdfe","datavalue":{"value":{"entity-type":"item","numeric-id":1274981,"id":"Q1274981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014285$3F788918-E311-45A5-AC65-FEF65124435A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66257d76632b86525de5e8f5c47c6c6cf781ec1c","datavalue":{"value":{"entity-type":"item","numeric-id":4255509,"id":"Q4255509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014285$1DEAB9C9-C97D-410E-A1A7-E97CA3B4D97D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"556c63d3d5fbb69adda2aaeb321f31370f38a3b9","datavalue":{"value":{"entity-type":"item","numeric-id":4716271,"id":"Q4716271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014285$657590A4-CC7B-41A0-9D3F-8DF6A1265FEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c93a4715686259e7c52bffd4a8087b0e07f5ac5a","datavalue":{"value":{"entity-type":"item","numeric-id":1362744,"id":"Q1362744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014285$CD1C9FA9-10F8-473F-B1AC-71116C8D306A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"753dfe7aa203a67c12bf4601e79383c21a075463","datavalue":{"value":{"entity-type":"item","numeric-id":5458807,"id":"Q5458807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1014285$153E51A6-F35E-4A54-AA41-2DFB2FFCC587","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9e2481ce20053f1091d49a84db849d9f49f059d7","datavalue":{"value":"10.1007/S00153-009-0119-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1014285$CE07E881-A1C5-4009-9D60-1CABFE576DFD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e851f112039a7feab64b017446220cd32dc15cc","datavalue":{"value":{"entity-type":"item","numeric-id":3358705,"id":"Q3358705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83df06ec7fb104005ea7b4800d965091327937f0","datavalue":{"value":{"amount":"+0.7791571617126465","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":"Q1014285$998B5C74-DE90-4097-AC71-5D70B29907E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4ef7516fef19e6ad66dadf2480597f1ae72fc3d","datavalue":{"value":{"entity-type":"item","numeric-id":3081620,"id":"Q3081620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"508bfca3d587c1e00b9ebe0c2cdf3d0c9dabd18a","datavalue":{"value":{"amount":"+0.7536206841468811","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":"Q1014285$1A06A782-6169-46FF-99B0-044D7244E0A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c58d939f02c92a7587e92b4f5536d867cb3d269","datavalue":{"value":{"entity-type":"item","numeric-id":3590048,"id":"Q3590048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f783715eee0ba77542de56a0a79e920df85b2f55","datavalue":{"value":{"amount":"+0.7362076640129089","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":"Q1014285$9F05421D-9701-44F4-BE73-3DAF9FF8FBEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db244f270ef3cee52ca0891abe5c7b980e5f2766","datavalue":{"value":{"entity-type":"item","numeric-id":1326774,"id":"Q1326774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3abdfdd4bde0244de12c4582209b891662fdfa6","datavalue":{"value":{"amount":"+0.7292843461036682","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":"Q1014285$7003E06F-0388-4A03-8C0B-F92CC6F111A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e2b189c47ef54e3d3c47c1e26625fa347bc2cdb","datavalue":{"value":{"entity-type":"item","numeric-id":5408413,"id":"Q5408413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bd5743aa07a40922c40597d1167013634288dc8","datavalue":{"value":{"amount":"+0.7242349982261658","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":"Q1014285$92583848-0CBC-4D28-8749-F462BDC772F4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Counting proofs in propositional logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Counting_proofs_in_propositional_logic"}}}}}