{"entities":{"Q346768":{"pageid":348535,"ns":120,"title":"Item:Q346768","lastrevid":61137711,"modified":"2026-04-10T21:25:15Z","type":"item","id":"Q346768","labels":{"en":{"language":"en","value":"A square of oppositions in intuitionistic logic with strong negation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6657603"}},"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":"Q346768$6935674B-FE6A-4180-AB6F-033373977ACC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b1b30d3f877445036467b52b963489797afa6c85","datavalue":{"value":{"text":"A square of oppositions in intuitionistic logic with strong negation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q346768$C82268B5-EC54-4242-967C-3F4BB495F266","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"332e52c2b9f4d3abbf00569747b5be1e10fa9049","datavalue":{"value":"1403.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q346768$0BB5E67B-E3FC-44F9-9201-91D49558C1E1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"839b2eaf1a6c137e43e0a3941c8b44efcd4f7bbf","datavalue":{"value":{"entity-type":"item","numeric-id":346767,"id":"Q346767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q346768$5E6B31C4-4B70-4E5C-BD20-3C7C4D30AFE4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68e3389b38900d3aaadd2d35ede086cf89c1b97f","datavalue":{"value":{"entity-type":"item","numeric-id":263103,"id":"Q263103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q346768$35BF0C7D-262C-4EF2-A388-029F60BEDA9C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a81488eaa0593c2b339fa674b802605bba207348","datavalue":{"value":{"time":"+2016-11-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q346768$7D793D31-8263-48D1-A152-2EF23E8088C5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q346768$D19BA4A7-5231-48AE-9BAA-5F6B1127894A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e76366cf2181ccb8cc44e77bb80ff5043a111bde","datavalue":{"value":"6657603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q346768$15061378-B641-455D-BEEB-994B963FEFDB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q346768$F6174450-06A8-43C2-B9A0-262AB4A4D8C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e75443cea296f2cb6de65218b8fd7b6f025bd87","datavalue":{"value":"strong negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q346768$E71B11E5-3550-4F39-9283-3AB43917D4DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q346768$3496CF92-6127-491A-8AA2-9AF45AAC430C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a573f1a22f5c07dc862364b76edb1bd58326a91c","datavalue":{"value":"saturated sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q346768$A565A710-E707-472B-9F7B-7611BF42A0EE","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":"Q346768$0D6ADC46-B924-4D7B-8A07-5A4986B26D4A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ef8761f19d939d8ed763995dacb606799a018a20","datavalue":{"value":"https://doi.org/10.1007/s11787-016-0144-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q346768$EF11E5F4-3F7B-4B43-90DD-DDD5D7796951","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"430c57f13b6a8cc4fee085ef69a0da5f9c01aaa5","datavalue":{"value":"W2320353775","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q346768$363CF895-AEDE-49E8-8E0A-4607E0C3A3EF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bba5ea951ab2e310331ed3e2f2f6e4f670c94f5","datavalue":{"value":{"entity-type":"item","numeric-id":3149172,"id":"Q3149172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q346768$DA7232C8-C311-4A03-8408-6D17A4B54AAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ef8a33d690dfbf3c0ebdf0286b762ce84729aca","datavalue":{"value":{"entity-type":"item","numeric-id":5789498,"id":"Q5789498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q346768$1C689A35-1B41-4E40-8F53-DBD225F4F33F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92106e7769c717dae7741849e4c7b9f1270a7321","datavalue":{"value":{"entity-type":"item","numeric-id":3257770,"id":"Q3257770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q346768$164549BE-EEBD-40C1-AE37-6EDA849DEC58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c20cd6deab69f4ba575c4077c4e09299fc5d4833","datavalue":{"value":{"entity-type":"item","numeric-id":917539,"id":"Q917539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q346768$A9BB82BD-1D9A-4F85-BC5A-2116F3E28554","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3b5598db70103bfebe88c1bfea91cecb6b722bcf","datavalue":{"value":"10.1007/S11787-016-0144-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q346768$9510D19D-D41E-437F-8CA0-7F2DD8ADE040","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ed974c8cee2b204e56d027b784cb5372e86e51b","datavalue":{"value":{"entity-type":"item","numeric-id":1104309,"id":"Q1104309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03a1aa7a1456eac20dfcc7df187a251444281008","datavalue":{"value":{"amount":"+0.782503604888916","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":"Q346768$0D875DBB-23F4-4C04-A77F-ED6BFF9C2490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57cb1671af77f3893b838c910d06f34e1f6e337b","datavalue":{"value":{"entity-type":"item","numeric-id":4870572,"id":"Q4870572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b5f3c8f9f85c7d63f42cb1a6a08588d58af3332","datavalue":{"value":{"amount":"+0.7673865556716919","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":"Q346768$E63F6FAA-7EF2-4CB0-BFBF-F3CA13371ECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5272440eae3a6f63633e6e09a3cfeb3ea43fe6e4","datavalue":{"value":{"entity-type":"item","numeric-id":1743996,"id":"Q1743996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"716e15073f2b6edfa01dd45abd5db898551d7e65","datavalue":{"value":{"amount":"+0.7629017233848572","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":"Q346768$D3243691-F338-4AD0-B7C5-8D94E862FA93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e57dc8edeb56e83a0439e6bf1acb8077679151be","datavalue":{"value":{"entity-type":"item","numeric-id":3655240,"id":"Q3655240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"436cee712e4b8f71fe014cd963b38ad58e9fbfa0","datavalue":{"value":{"amount":"+0.7607359290122986","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":"Q346768$171E472D-45E5-4008-B455-112057FC3A7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a128be0259282115b94cbf3b453a26ed5ce64958","datavalue":{"value":{"entity-type":"item","numeric-id":4586423,"id":"Q4586423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebc1208a5ac6ee3401f6c1ec0a3ade43a341c83f","datavalue":{"value":{"amount":"+0.739239513874054","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":"Q346768$F91F4863-D49C-4CCB-A987-224E97157647","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A square of oppositions in intuitionistic logic with strong negation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_square_of_oppositions_in_intuitionistic_logic_with_strong_negation"}}}}}