{"entities":{"Q5534906":{"pageid":7564466,"ns":120,"title":"Item:Q5534906","lastrevid":48645127,"modified":"2026-01-05T11:52:14Z","type":"item","id":"Q5534906","labels":{"en":{"language":"en","value":"Algebraic proof of the separation theorem on classical propositional calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3247997"}},"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":"Q5534906$34E1BB0A-3CEA-439A-9CC3-E4C72C01BDC2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2964f4bd0f406b7490e405a61facd5121efafbc5","datavalue":{"value":{"text":"Algebraic proof of the separation theorem on classical propositional calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5534906$E00E9A57-B115-4153-BF16-567783C93482","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d77b6f3549697ba8e37cdce5ebd6804ded537dcd","datavalue":{"value":"0154.25305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5534906$B6B4372B-6BD3-4ABE-A676-A752E4B623EF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f390dd71b05b66b4144d0b935926206b46f62030","datavalue":{"value":{"entity-type":"item","numeric-id":3213207,"id":"Q3213207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5534906$FD639C4E-5316-49AB-BB25-4B926B353847","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2b29152725e7ee6f2d3e5de688bdeec7acb631ef","datavalue":{"value":{"time":"+1966-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":"Q5534906$C2F5FD36-E915-4374-9D8B-7E6053E71AB3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5534906$C3E2C358-D8DC-428F-9418-D0FB0D2AE231","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3fa969090b8ce535e33e892f7a533b87f9f98209","datavalue":{"value":"3247997","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5534906$C59279E2-1809-4251-85B7-73A869149F5C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e27edd794f4029b5ccbcaef2324b8d7af8d4447b","datavalue":{"value":"algebraic proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q5534906$BAA3BAC1-BE51-4CF0-80CF-63751E1555E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"355b0b08179e3c168930afa914369e7a478827dc","datavalue":{"value":"separation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5534906$4C6B27D1-759C-4D64-9C7E-F38F93EFB283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67092c47867106d09c4cf34434c78997561075ae","datavalue":{"value":"classical propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5534906$742A4111-5108-4F8F-BB88-A0EA008D3AC1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4597744f225d71e666abfe477379201f378152aa","datavalue":{"value":{"entity-type":"item","numeric-id":1111544,"id":"Q1111544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5534906$78BBB599-C6A0-473F-8A1D-4A4C23BF20C1","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":"Q5534906$F2F72D0B-1DBE-46E2-84C1-8EEDFED5C67D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"526c170afd9c49134a70779162650f773276421d","datavalue":{"value":"https://doi.org/10.3792/pja/1195522117","type":"string"},"datatype":"url"},"type":"statement","id":"Q5534906$CC25EB59-0786-44CE-85C4-F8D8922C2D0E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7088a4466caa46c0f47c284a10c4dfc2db446775","datavalue":{"value":"W1997487507","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5534906$44816500-D03E-4506-B953-CDCE33602A17","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fe4687bac901137544dfae8471abec12e38ca96","datavalue":{"value":{"entity-type":"item","numeric-id":5727654,"id":"Q5727654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5534906$2B6C7045-DE17-4A4C-9847-5E1202C8000D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f7ebc6150a33fced2c281945461b73c4c98aa9d","datavalue":{"value":{"entity-type":"item","numeric-id":5523672,"id":"Q5523672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5534906$B1140EAE-7197-4B0B-B614-C5262F705186","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"75387b8179b1c4d5e0043bf7311a3a5c42ea9884","datavalue":{"value":"10.3792/PJA/1195522117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5534906$5B40051F-9FA6-4264-B533-04FAAD312AA5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3587091a4a35076662269f754291aad8f73836a","datavalue":{"value":{"entity-type":"item","numeric-id":5523672,"id":"Q5523672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfb503d3d2d66ffe4fe9563da3c7b5854327870c","datavalue":{"value":{"amount":"+0.8186997771263123","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":"Q5534906$0DDD612A-A308-410B-AB3B-265FA74EFA6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74db208b7b5cd75b05930fa980cfa9ea7ab19706","datavalue":{"value":{"entity-type":"item","numeric-id":3757894,"id":"Q3757894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"653b3f38e212bfda224620d1f6270a0c8a303f50","datavalue":{"value":{"amount":"+0.7387669086456299","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":"Q5534906$1297C6AB-D39B-4BD9-87B7-0C4FDD3D9C98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"093dc2e6655d9dad58c1804e795e875aa09220d7","datavalue":{"value":{"entity-type":"item","numeric-id":1349247,"id":"Q1349247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1f02a1a8b9565c84b1af3d376a6721674c1adb6","datavalue":{"value":{"amount":"+0.7303842306137085","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":"Q5534906$19F634F0-306C-42D0-BE66-EDB680267C01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"664abab953194a6328bd6ecf779abb198b1c8849","datavalue":{"value":{"entity-type":"item","numeric-id":5937808,"id":"Q5937808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fbcd12a3090ea1fedbfe24f015a689c555de323","datavalue":{"value":{"amount":"+0.7223852872848511","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":"Q5534906$77FD2CB8-A487-4CE8-A045-ABD295B9959C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2166f4bbc8733b7e2b67936e13f619937f58a429","datavalue":{"value":{"entity-type":"item","numeric-id":1196783,"id":"Q1196783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7049b5f755550eb6fb8374219d3e458bfe468825","datavalue":{"value":{"amount":"+0.7204582095146179","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":"Q5534906$2B94827B-2DED-469D-A2A4-10688C6C9FFF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5534906","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5534906"}}}}}