{"entities":{"Q3403597":{"pageid":3414300,"ns":120,"title":"Item:Q3403597","lastrevid":50905910,"modified":"2026-01-15T16:59:08Z","type":"item","id":"Q3403597","labels":{"en":{"language":"en","value":"The general expression of formulas in two-valued propositional logic \\(F(S_n)\\) in the meaning of logical equivalence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5670467"}},"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":"Q3403597$95757081-1AFA-462A-AEA7-E07C601FCAE4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5f98f95c3a838074578fe8169e971c80a3d0028a","datavalue":{"value":"1199.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3403597$BC7AD6D9-B44D-4288-AC64-DBA8CC378FAA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0efeccb44da0c308d1b079e2512d95aaf9aec32b","datavalue":{"value":{"entity-type":"item","numeric-id":3052186,"id":"Q3052186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3403597$1DF53D71-BB18-4BE7-923F-26BBEA8B465E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f701a5fb7efb18b2a5b2faa4325ff6ec6c98bb41","datavalue":{"value":{"time":"+2010-02-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3403597$FCC3D4BD-1C56-414C-86E4-598B600DAAE7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3403597$5F8E7C0C-DFD3-4B69-ACF4-9C4029614F6E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"acb5b548830d61732abff94c1ea64cf306bc9bcf","datavalue":{"value":"5670467","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3403597$08F39C71-F11A-460E-9E9B-0252F0600770","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d1b3daf9a89fea5b46e140c3b0da930ab96fa27","datavalue":{"value":"two-valued propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3403597$22C461E8-F3FE-4EA6-AFD0-45A2135721A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbbed66c32c17ab203854683686f7edccc7f8cbb","datavalue":{"value":"assignment","type":"string"},"datatype":"string"},"type":"statement","id":"Q3403597$F6EAAAF3-F7CB-42A7-AAFA-73659FBB7439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cafe9d9feb770c0890cdca6df102fd16385d1ab1","datavalue":{"value":"provable equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3403597$547457D4-B370-44C1-AA59-46DA7CCA1D70","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":"Q3403597$FAE80D7A-B500-4B07-9DCC-D3F593BEAA4F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f066185c63784ad00febea98f64282726d2cfc07","datavalue":{"value":{"entity-type":"item","numeric-id":4901489,"id":"Q4901489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cfa388a592cb2cd436ae7757f141b31802caf10","datavalue":{"value":{"amount":"+0.8021161556243896","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":"Q3403597$B3196028-E824-46FC-AAD4-F4645FF06F08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d40942d15aee43aad18f4332a524e5a696298327","datavalue":{"value":{"entity-type":"item","numeric-id":4209297,"id":"Q4209297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5eb1c3b7cb2d4931ff90f5b8b4cfef87934e4823","datavalue":{"value":{"amount":"+0.7487854957580566","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":"Q3403597$2C81EE06-23AA-4562-B244-9A9F614730ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58566bde59d654e417303f2f63157a8011658f3a","datavalue":{"value":{"entity-type":"item","numeric-id":1278856,"id":"Q1278856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5eb1c3b7cb2d4931ff90f5b8b4cfef87934e4823","datavalue":{"value":{"amount":"+0.7487854957580566","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":"Q3403597$8A5FCDAF-1C25-4DB9-BB6C-D22628CAC22D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adf4fdfae046558a1524910a4a5109a858b1c6b0","datavalue":{"value":{"entity-type":"item","numeric-id":5431351,"id":"Q5431351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c04992a0d2852371d8d9eec7b9a04a48ef67cb8f","datavalue":{"value":{"amount":"+0.7459185123443604","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":"Q3403597$0E24FC12-06F3-4AE3-8210-E6A286AB9582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"449ae8fcd4753aa2521f9904a0a594017136399c","datavalue":{"value":{"entity-type":"item","numeric-id":3180659,"id":"Q3180659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f126a65419cec1812372cd0b79c4a61c4d32e57","datavalue":{"value":{"amount":"+0.7420119643211365","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":"Q3403597$0AA20BB0-09BF-4135-AB45-65FB668F46D2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3403597","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3403597"}}}}}