{"entities":{"Q4302346":{"pageid":6331947,"ns":120,"title":"Item:Q4302346","lastrevid":96571601,"modified":"2026-06-05T11:38:18Z","type":"item","id":"Q4302346","labels":{"en":{"language":"en","value":"About some symmetries of negation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 618226"}},"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":"Q4302346$C789B92F-F7FE-419D-BCAD-324B9848FD18","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e70f0c9a148649fd65e51cf88c67129395bd781a","datavalue":{"value":{"text":"About some symmetries of negation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4302346$591967E9-A21C-462F-8E03-E65A0AFA26D4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"67500edeaef2c8145a1192926c9641188e549113","datavalue":{"value":"0811.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302346$FE0D4CA0-0881-4F92-8982-4E6479E58CD4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9bd523d394430f3b26637987d224a752c40b77e4","datavalue":{"value":"10.2307/2275401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302346$7738D083-44CF-436D-8874-114A314381D0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4c8d540e8e7014d018942bc0a437d3428124999","datavalue":{"value":{"entity-type":"item","numeric-id":4202943,"id":"Q4202943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4302346$D8F50591-DE3F-4846-9950-EA6D239E395B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"34cb696ce5008e0ad8b0b39e02b98fb8b38cd33a","datavalue":{"value":{"entity-type":"item","numeric-id":194997,"id":"Q194997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4302346$13B3BE50-713F-4EED-9979-943425E24008","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4302346$BAAE958B-6B54-438F-BCB9-D33FE4A3E87B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4c43f44e06ec88d5a4f3bab3a7b41ef43c84549c","datavalue":{"value":{"time":"+1994-08-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4302346$C65276C5-0AE5-46A8-8D3F-C4AA01F989DA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5bc071ca32d74932f4f315cf431b822974043bd5","datavalue":{"value":"https://boris.unibe.ch/115094/1/S0022481200019915.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q4302346$BC24AA1C-B1DE-4792-922B-A5757735FF77","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302346$F4ABE485-D96A-4F0A-9AE9-4C27EA27BABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302346$76C9A598-42B8-46FC-944D-472AB2E84623","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6803119c62fd8d293a85f49361093e8c11efeb40","datavalue":{"value":"618226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302346$5E26B090-267B-4D88-A9BD-992AA7C5C489","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c0e39b69355da30f83864b3ea6177412072d018","datavalue":{"value":"cut-free provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302346$521E41A8-5AAA-4D77-9301-D42D851F1EA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302346$125C88EE-E1D7-43CA-87C5-63E377BE0D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea7df93d4e3b4f4cf5c7f4cd708a22635a34fad","datavalue":{"value":"weak Sch\u00fctte valuation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302346$E19F1B22-2556-4334-8E1F-D5AB63819729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bff800a99daf1644105dcd18c7e4f0f14639579a","datavalue":{"value":"weak model","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302346$894CA58C-0F3F-4F02-BB10-58B91A4CB4A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d52e995d481fa3a2af81039a1738d305b661b9a","datavalue":{"value":"strong model","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302346$FCCE2893-62A6-4486-8CCC-6775DBAFA10E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6415bce59d75a8e20788e014d56a0fd4665a4030","datavalue":{"value":"strong Sch\u00fctte valuation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302346$7A5DDDF8-AF51-4321-B31F-854A977AF36D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33e206edead47cf929fbb4cf73062ccb5bbb729d","datavalue":{"value":"identity-free provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302346$2B34EA7C-5D84-421A-8707-0A32068E65F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c76cc158a7962948d66742f1211396c6e7e0633","datavalue":{"value":"weak identity axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302346$E74F23EA-1ED5-456D-ABBC-6B62455D8FA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6661216f412acc06c8cabf1e277253e2b584435","datavalue":{"value":"weak cut rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302346$9F872874-6B49-4E44-98B8-8FC07248B334","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":"Q4302346$CF98581B-7B72-47A3-A737-9A903173BCCD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3a1d54c56370d01032f662d40baff099c0323500","datavalue":{"value":"W2036279110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302346$F264051B-9CA4-401B-B904-220898A119E5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4302346$93FD409A-6BEC-446B-849F-E00A66945553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c97a7b6faf562e1c5b09260906a1f00f35a77b0","datavalue":{"value":{"entity-type":"item","numeric-id":3773876,"id":"Q3773876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4302346$73BBBDE2-BF74-4C65-80C4-19FAEB9A3434","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b9fc6ab7c7ddfc112e975e3314d11db66351706","datavalue":{"value":{"entity-type":"item","numeric-id":5411466,"id":"Q5411466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c1db70bdc6506695cb387e17e383e5741b1a788","datavalue":{"value":{"amount":"+0.749726414680481","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":"Q4302346$50E0F1E2-3C56-476A-BAE1-EFD1A9F4F0BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32adbb07749b37ce68fa8b803658ab6f73e20c0e","datavalue":{"value":{"entity-type":"item","numeric-id":3794150,"id":"Q3794150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ac5d3a100696422199ccd6a520280002543887a","datavalue":{"value":{"amount":"+0.7467156052589417","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":"Q4302346$FC699C56-82CD-4417-AF9F-2F98941F36F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1de9097df2e2eb5ec130b3f9eb970a0cd3c9cdd7","datavalue":{"value":{"entity-type":"item","numeric-id":622624,"id":"Q622624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee89700e8040214e23b983eb83caf76a0ef22b06","datavalue":{"value":{"amount":"+0.7441561818122864","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":"Q4302346$4F8CDBC2-EA65-4787-8ED3-5FAE8D9A1AE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d17f64b6dcabc48d4b8e689ff570bf01000e32f","datavalue":{"value":{"entity-type":"item","numeric-id":2454875,"id":"Q2454875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"258dabb9b0a4319e96fc9ea28d3f7d4aa008a519","datavalue":{"value":{"amount":"+0.7424099445343018","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":"Q4302346$BBBC2CCC-ABBD-41F5-974D-2554EF385629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"229d25d35ac55b1cdc1886f7f6c766176febda4d","datavalue":{"value":{"entity-type":"item","numeric-id":4995622,"id":"Q4995622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a49a828ab2b2fb9ede998e078aa05785599e0ca","datavalue":{"value":{"amount":"+0.7360363602638245","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":"Q4302346$CE2E8885-BA12-4EB9-96E1-C68E246A128C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"About some symmetries of negation","badges":[]}}}}}