{"entities":{"Q3117777":{"pageid":3128493,"ns":120,"title":"Item:Q3117777","lastrevid":51426143,"modified":"2026-01-18T04:38:59Z","type":"item","id":"Q3117777","labels":{"en":{"language":"en","value":"Algebraic semantics for the \\((\\leftrightarrow, \\neg \\neg)\\)-fragment of IPC"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6010191"}},"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":"Q3117777$71BC06E4-6B35-41C6-ABDE-D4B7FAC658EA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fcd9bc3f0715bf517ed6fa80b22cbfa22544e2fb","datavalue":{"value":{"text":"Algebraic semantics for the (\u2194, \u00ac\u00ac)-fragment of IPC","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3117777$64EE3BED-AE94-4945-B4F5-14F1E9FDF747","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1352329d1048d1ed8905954575461bf89e0a4837","datavalue":{"value":"1245.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3117777$CD536D56-042B-40E9-B625-8A4B64035EBB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea560a86346b1b2b29f232bddff8fa6ca13e1b3b","datavalue":{"value":{"entity-type":"item","numeric-id":170378,"id":"Q170378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3117777$2CA90847-E3D3-4664-8B74-843BC463280C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3117777$F5923CC3-CAED-4E71-8FE9-5E4C294BAE0D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8860558251c4932820cefc16288b8cc663552088","datavalue":{"value":{"time":"+2012-02-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3117777$891BBE68-E76B-4AA3-88F3-ECAB24C3A395","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3117777$AFC0C000-45EE-4095-A47D-473D20A8F3A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3117777$38060889-7BA4-4B7C-A023-4AC8A7212207","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4e950a53e1f6adf31774b00c96b0d6a390d49070","datavalue":{"value":"6010191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3117777$8E333BEA-21D1-442E-A25E-E00114D7133D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3117777$1D93D86E-2660-481F-92B2-8E91AA1B7C6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"851bd62bed9fd8e324ef9b40d494a0c90eb3cb84","datavalue":{"value":"Fregean variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q3117777$805D43EF-DDBE-4F7A-B5D7-8B1F8A1CE4BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd9ec7c5955db02217d6c6e5b8a99256ce44732e","datavalue":{"value":"primitive variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q3117777$AE6F37B3-F7CC-46CB-8C13-28C02C3F44BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"943d8cdfd45d0f8b0806e19f2a6c5a924f52423a","datavalue":{"value":"equivalential algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3117777$F03599DB-B860-46B1-8785-893568CE7618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a3e3a07bf9e2e2a3c6d4e25ff70fdb20ea4b8d7","datavalue":{"value":"regularization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3117777$CB13E97E-12E9-4747-80A8-7B2AD6308EBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba8b16081474611e1993660c9939422c10f0dfc1","datavalue":{"value":"fragment logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3117777$0785054F-8CB3-4538-AC59-2920D4D9B1CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ddf5a74c44d1b6efd7d157399bcfcb6ba82821e","datavalue":{"value":"equivalent algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3117777$D15AD621-F32F-4989-B261-6D63A2A68C53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6e60b9b6cb6767b6b63e8f2bae096e4ef515d1a","datavalue":{"value":"intuitionistic equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3117777$E961FB99-C115-4778-91CF-EFD71546AE19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5aa4d4a7191499b8206fa360b924946affc4bc6e","datavalue":{"value":"intuitionistic double negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3117777$84D3A646-44F5-4417-8A93-CCC00F80A6FF","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":"Q3117777$D9DE5382-2BC2-46A9-8746-D0314046AC59","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"62fb5875b4a29e004ec1cd056445a7845ba1881a","datavalue":{"value":"https://doi.org/10.1002/malq.201110001","type":"string"},"datatype":"url"},"type":"statement","id":"Q3117777$BF822C8A-0EB2-47A5-995A-BFDCB645157E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"892276940003ce9b3fcb89ce8d2959acb5b41674","datavalue":{"value":"W2111807398","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3117777$5634C952-90EF-4D3C-AAD9-985579F7C5E9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8101ec9f86256e19893cd6a4dab0a741fd614c29","datavalue":{"value":{"entity-type":"item","numeric-id":3329439,"id":"Q3329439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3117777$25FA6B0A-C8E3-472E-BD59-B45E5FFA71EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9583a02c3d9399c12376ce83a826d5789cef9579","datavalue":{"value":{"entity-type":"item","numeric-id":638480,"id":"Q638480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3117777$1EA282D6-12B7-41B4-90DF-0D2D0AD5D873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25069d8bc9af43aefc99c6a85c472546080db6cf","datavalue":{"value":{"entity-type":"item","numeric-id":3745828,"id":"Q3745828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3117777$033B25ED-739A-4A39-B60A-E5D02B65F737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"738c61d7b4b0ec44ea8c4619770de38abd8c8470","datavalue":{"value":{"entity-type":"item","numeric-id":3398314,"id":"Q3398314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3117777$4EF59369-0FE4-4D4F-9FD1-280AE72261E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2df3d9d086c141a51200079a9355f480542c0bfb","datavalue":{"value":{"entity-type":"item","numeric-id":634757,"id":"Q634757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3117777$A1AAACBD-4E25-4B09-802F-CF36E228BCAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1243e00d22dc04826073418440e7f07a348657db","datavalue":{"value":{"entity-type":"item","numeric-id":1181713,"id":"Q1181713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3117777$159F73D7-8DA0-424E-9D61-7FE7DE35F109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0a8a5eace873932f11737f9c9fe748e4c93c9b7","datavalue":{"value":{"entity-type":"item","numeric-id":995381,"id":"Q995381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3117777$2842055E-4E6E-4220-AAF3-EC87035855FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"caef83d8c323369d390f06220cb4f544d73185f7","datavalue":{"value":{"entity-type":"item","numeric-id":3544316,"id":"Q3544316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3117777$66BA51BD-F0E5-4264-AD9A-7FA7952E6F7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09242c66e9de738abf006bc653cd2c2ed81531b9","datavalue":{"value":{"entity-type":"item","numeric-id":2893316,"id":"Q2893316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3117777$24004F6E-E763-4A8D-93AF-05EDADDBACE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce8c4bbd7128cd110eb8c05e374b03e902c5e4ab","datavalue":{"value":{"entity-type":"item","numeric-id":1047099,"id":"Q1047099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3117777$C1986EA7-81D7-44A7-997D-DDF1638E8C85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"388741dc28ba2e4c4e983bddb98ab793cdd8a2f4","datavalue":{"value":{"entity-type":"item","numeric-id":3141956,"id":"Q3141956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3117777$CB24780F-4C50-4F60-AE8E-E83CDBEF8380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aadc02ece898374e804a53df90d62b0de4bb648f","datavalue":{"value":{"entity-type":"item","numeric-id":3141960,"id":"Q3141960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3117777$8BA6420F-8C36-456C-B15D-07FF86319496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78cf3c02172ce8cc452058df6ba053270a65ada9","datavalue":{"value":{"entity-type":"item","numeric-id":1921401,"id":"Q1921401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3117777$CE490559-859F-41E4-A14C-0FAE464D4367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23b226adc78b3b2952adf72a79956705d4f2fe9a","datavalue":{"value":{"entity-type":"item","numeric-id":952484,"id":"Q952484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3117777$8E3C56CB-A24C-4D57-98EF-95E1F17C8B65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0273703e819b672d7c3a31d749fd48b4c4022e4","datavalue":{"value":{"entity-type":"item","numeric-id":2903751,"id":"Q2903751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3117777$45BF3BB6-E8F8-43F7-B5E8-2B5F3BD5CE87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f18e23d602ef95ebb21c18c71b3b6acb97c916b8","datavalue":{"value":{"entity-type":"item","numeric-id":931403,"id":"Q931403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3117777$C21B1797-02AC-4066-AC75-CC7EC62867E1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5f9fe291c03204ffed2b740719a1786763755c44","datavalue":{"value":"10.1002/MALQ.201110001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3117777$DB9179D0-0E2A-4D1B-8D05-7243DAD64EA1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c37a42bb542045faab53129f4e38f8576e3008d4","datavalue":{"value":{"entity-type":"item","numeric-id":5108101,"id":"Q5108101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccb1f936eca41b84fe9934f610780a297f08cb3a","datavalue":{"value":{"amount":"+0.9588504433631896","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":"Q3117777$A7A916EC-FE7E-472E-85F6-3F1D3BEEA407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26165d398e721769d8f13324fa5d09076a98771c","datavalue":{"value":{"entity-type":"item","numeric-id":4039139,"id":"Q4039139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6926facd9af51bb6463479357b8b97749ae2a50d","datavalue":{"value":{"amount":"+0.8031781911849976","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":"Q3117777$6ED4BD75-41CC-4201-B6F9-59E7462153B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dba06673ffaa3f5940b4d6f58654e5917731438","datavalue":{"value":{"entity-type":"item","numeric-id":786810,"id":"Q786810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcfad2b996303b2b0d8344c5ca5d9954d28fb4ff","datavalue":{"value":{"amount":"+0.7784832715988159","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":"Q3117777$91FC1258-9BFC-4C8C-9185-13FAC882116F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a8386f61c46cc7da937082acd54e126fc8e1802","datavalue":{"value":{"entity-type":"item","numeric-id":4011579,"id":"Q4011579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"845a2ba1f0fe69d08e01533b997f1d2df7c322c8","datavalue":{"value":{"amount":"+0.7775540947914124","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":"Q3117777$B8BE6C51-23B8-4C3A-A389-51E3A5C38C14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a2f143d9ff35da50ca54ade58c49901b03068d8","datavalue":{"value":{"entity-type":"item","numeric-id":4025010,"id":"Q4025010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56824a4d36c7c3f44cf319a02a4005c2361fe82a","datavalue":{"value":{"amount":"+0.7766797542572021","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":"Q3117777$D92BAE37-F6F6-4F9D-B45B-984C2D5CDDDF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3117777","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3117777"}}}}}