{"entities":{"Q2394308":{"pageid":2405051,"ns":120,"title":"Item:Q2394308","lastrevid":72690621,"modified":"2026-04-14T06:32:31Z","type":"item","id":"Q2394308","labels":{"en":{"language":"en","value":"A proof of completeness of the two-valued propositional calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3205445"}},"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":"Q2394308$3A90060F-CDB7-4F0B-A04C-09761D716193","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"736ca0118d9e0bcc7f0023633934ad2e3dd2245a","datavalue":{"value":{"text":"A proof of completeness of the two-valued propositional calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2394308$43C52543-EDFB-4192-BE11-57103AE4F6E2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a1bc53e2665cb21ab94065d7e431263f8cb0ad4d","datavalue":{"value":"0126.25902","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2394308$B107A12F-1E5E-42B9-8538-B20DBDEB6106","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f0b0de73c3ab93e443a48d52692dacb6ff81a2e7","datavalue":{"value":"10.1007/BF02121197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2394308$5597FDD4-BBFC-4A5D-AF2A-6F9B9E4316C0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"77157104cbc9dd37c0f7ccc51e8783571131f052","datavalue":{"value":{"entity-type":"item","numeric-id":1211489,"id":"Q1211489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2394308$9FB57F85-F37D-4E5D-9431-BE4FB33B21AF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2394308$5582B559-0149-4E67-9863-4DC9C6E4EF19","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b733604afa3a648384279f872bdd54e6b747380d","datavalue":{"value":{"time":"+1961-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2394308$B9B8F3FC-6CE0-424E-9C80-B6AD4C2C2C3D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1b553c05ffa16b05c15eac1872081a242bdfefd9","datavalue":{"value":"3205445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2394308$5B7D0092-FCCF-4B8E-8278-E7D1119A08D2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06aca432496264a4189a9a8b528e128b9e01a6fd","datavalue":{"value":"mathematical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2394308$FB6C8374-0CA3-4F33-A06B-7C0CC4213F9E","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":"Q2394308$98BB949D-A0A2-4CF5-8FA3-463293CC48E5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b9a969c398bf36338ba04c3fc2895ee9a9d6af5","datavalue":{"value":{"entity-type":"item","numeric-id":5426855,"id":"Q5426855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5ce199cd76e72b8c33723e7fb942dd5d9a96b97","datavalue":{"value":{"amount":"+0.7969767451286316","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":"Q2394308$7B79181F-D06B-4432-99BA-BCF1EAFC45C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c8c9d8ed5c8799b2d1445ace8d5470b3b72ff84","datavalue":{"value":{"entity-type":"item","numeric-id":3290718,"id":"Q3290718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e64e15cf4dbbb966aba38e4a6e3a432c5d0a672","datavalue":{"value":{"amount":"+0.779114842414856","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":"Q2394308$AB2D1FD8-85B3-455C-8D02-63F363DDF155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d9f5009b1e0793855bc90461c96d4057b4322a0","datavalue":{"value":{"entity-type":"item","numeric-id":520386,"id":"Q520386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9a9791c8e284f7ca0fbc026cb42aee8d1857385","datavalue":{"value":{"amount":"+0.7764918208122253","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":"Q2394308$548653D1-6845-452C-99E7-5D6BCAE552E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f59b5cf6b5aa5bd1470bc59fcb18c2467927ed8","datavalue":{"value":{"entity-type":"item","numeric-id":918531,"id":"Q918531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1029286d4e66cf25c4bec981de1cfaa0f8fed8b2","datavalue":{"value":{"amount":"+0.7722441554069519","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":"Q2394308$FCA20F27-79A7-4B03-A8FE-17B2ADD8A8BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"492dda121486a33020d468927bf2df090c92c1e5","datavalue":{"value":{"entity-type":"item","numeric-id":3701401,"id":"Q3701401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1c5415a1633f41c581081b376572bb1ef2cfdb8","datavalue":{"value":{"amount":"+0.7710461616516113","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":"Q2394308$35DD4576-EC4C-48E1-B311-6524EEBB2A82","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A proof of completeness of the two-valued propositional calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_proof_of_completeness_of_the_two-valued_propositional_calculus"}}}}}