{"entities":{"Q1173782":{"pageid":1184531,"ns":120,"title":"Item:Q1173782","lastrevid":66506997,"modified":"2026-04-12T10:31:41Z","type":"item","id":"Q1173782","labels":{"en":{"language":"en","value":"Post's functional completeness theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7471"}},"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":"Q1173782$64904ED1-1E94-4440-90CA-9C3045D66FCD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0aa8791b89c7bb266f7a126188845aff174f896f","datavalue":{"value":{"text":"Post's functional completeness theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1173782$9D07EAA4-6F08-4A7D-B9B4-89256112892B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"31ba6cacec1df0da3a67113c3ccb774b75d5d3f3","datavalue":{"value":"0745.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1173782$9ECD72A3-9727-4FEB-91D5-6D1DCD06E097","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f25aab4c6b00769b6480f5283f54feec0bb72d4","datavalue":{"value":{"entity-type":"item","numeric-id":679253,"id":"Q679253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173782$3BA34967-C190-4C49-B9D3-5F4B2429BDC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"50320835ee1e355aa089e614c0314d06774abe01","datavalue":{"value":{"entity-type":"item","numeric-id":1173781,"id":"Q1173781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173782$86CA9291-B523-475C-AA8F-2E648CEF6546","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173782$23EB36B3-60CE-4381-8EC0-E1B263D50983","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1173782$69BB3ACD-5864-441E-9EAE-1EB1A6C0090F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d287ac6d72124fa2edbd61c3b6ecf657541bbeae","datavalue":{"value":"Post's functional completeness theorem is revisited. The paper provides a new proof, which is, by the authors' opinion, in a style accessible to modern logicians and teachers of elementary logic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1173782$4A769583-5D66-4DC0-8A35-7DC82BC7C512","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1173782$00C21B8D-5C63-46F9-8D8A-A8ADEEE73FDC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"734d3d8a3cbe831d766698bc5b1ecb29931eef13","datavalue":{"value":"7471","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1173782$5A1A53D0-67DE-4CA4-BB79-2DA2A75AD898","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96c8b5bea8c6b7c9f6489f0ac92fc6a17dcafff6","datavalue":{"value":"Post's functional completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1173782$38B17167-1C0F-4FC1-8243-8879B1010D3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c15b6b4ad2f6cdb7ae1f2f1dbece4e4d866399a8","datavalue":{"value":"elementary logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1173782$C8308129-8FE8-43C7-BA93-106596F716EA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"851bf76d21f8adc9231295bc43bb317620bc1e90","datavalue":{"value":{"entity-type":"item","numeric-id":1111544,"id":"Q1111544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173782$27AF443B-9074-4BC5-92BA-40EEE4D2A02D","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":"Q1173782$DA51A0E9-F294-49B8-8589-B925504A30D0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3792ba940d824ff04eeb51205a7bd73ab51debb8","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093635508","type":"string"},"datatype":"url"},"type":"statement","id":"Q1173782$669889ED-AD52-47DA-A821-8946D91E9D02","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7c20d025ae7cd88509f546b6788ef13aa6800a3f","datavalue":{"value":"W2004924271","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1173782$38048010-CC59-4B19-8BC0-09B6998ACC2C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3d2ed49a7e75a79c8f8d4e5f9e5ab51e5ed91d3e","datavalue":{"value":"10.1305/NDJFL/1093635508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1173782$A66C80F4-6FE7-4E97-A32F-B9B69F93B42F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1236b71e1e35dec92c94e2b1ab677bc3fe22333","datavalue":{"value":{"entity-type":"item","numeric-id":1119618,"id":"Q1119618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fffb0e75d9ef450329fc8780ac4e9a3c1047a5d","datavalue":{"value":{"amount":"+0.7936334013938904","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":"Q1173782$E246EA6B-69E0-4919-A60A-186C708C1816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"036ebdd4eefddcfd6c97618b318e6082121444e8","datavalue":{"value":{"entity-type":"item","numeric-id":689218,"id":"Q689218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28f2aade3c3ffdf6bd38998af8e73542163d6968","datavalue":{"value":{"amount":"+0.7709674835205078","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":"Q1173782$556080A0-DE6B-402F-BC5C-C49D6D4B8738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"100ccc34c9f6a3727fca22e9c7fd72a26f871a87","datavalue":{"value":{"entity-type":"item","numeric-id":3125967,"id":"Q3125967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"742c5ece2f68b5d91a2c9f6df1642d2c45613cc5","datavalue":{"value":{"amount":"+0.7589111328125","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":"Q1173782$6843A72D-85BB-4CD2-8864-3E2432378078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a54c00b7960d5a48ca1d48277b0f7a8aa708761d","datavalue":{"value":{"entity-type":"item","numeric-id":5411449,"id":"Q5411449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cb0a0f85028e920e4aa97d2fead0099b8b43cf5","datavalue":{"value":{"amount":"+0.7586840987205505","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":"Q1173782$E0870BB1-E932-47FE-8057-518C2F6D77A4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Post's functional completeness theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Post%27s_functional_completeness_theorem"}}}}}