{"entities":{"Q2434603":{"pageid":2445346,"ns":120,"title":"Item:Q2434603","lastrevid":74343204,"modified":"2026-04-14T19:38:24Z","type":"item","id":"Q2434603","labels":{"en":{"language":"en","value":"Composition of an intuitionistic negation and negative modalities as a necessity operator"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6255933"}},"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":"Q2434603$A3459692-CAED-45B1-8884-70670D516FFE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c615eeaf8afc0c0fd4ef32b206c1c46ae8c0fb14","datavalue":{"value":{"text":"Composition of an intuitionistic negation and negative modalities as a necessity operator","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2434603$4CCE0A35-FBAA-4EF5-B440-A23264F25676","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"435b539a600e44976469aa444ec89e6478602c5e","datavalue":{"value":"1315.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2434603$FC56E645-E916-4F25-AADF-E9473DAA8516","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"42725b6caae2a3feb9ea758e05be801e94cac95a","datavalue":{"value":{"entity-type":"item","numeric-id":2027213,"id":"Q2027213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434603$89779DE9-F47D-4BA3-B10E-36B339AA2B27","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434603$18C64C16-67DC-4C1D-92E2-441A862E8149","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a08f71e961d8178ae039809ebf372ac6dfc2419","datavalue":{"value":{"time":"+2014-02-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2434603$167DA8D0-43D1-4D25-A442-278626469165","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2434603$E932CEFA-8EB6-4B75-9E57-CDFC01610AB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2434603$ADD1ECB8-7942-432E-BC0F-E95D25388502","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"91a9fc841eedc1c1efc8c5fa52e62ff9c2decb2d","datavalue":{"value":"6255933","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2434603$47056FE1-A8C4-4854-8728-18270A7712F5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9810e6d16ec03f547f1bfde951869d48954d1e0a","datavalue":{"value":"intuitionistic negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2434603$D14D4334-5B21-4998-A224-101B2CB27C77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7185322e4fe995add04dd34a469c09271617bbd4","datavalue":{"value":"negative modalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q2434603$A0B487A4-7FF8-4D30-B7D1-27A8ABF77DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ab3f43c7ba3996fb9dd6fd646d43309abce9e33","datavalue":{"value":"necessity operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q2434603$3D1E0A96-18B4-4DA2-94FC-978ECD366A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2434603$5F176644-5FEF-4C8D-A374-BA71E0737A08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2434603$F8CF72E8-1904-4B74-9E30-65EB6A01BB70","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":"Q2434603$7EF88474-8462-4149-8A2E-B8DB2AB62AA4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f1a244285b76568f87dbf09f7c6dc3849e9e6c1f","datavalue":{"value":"https://doi.org/10.1007/s10469-013-9235-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2434603$8B829935-931B-48B8-A3E3-915BCFC6357D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a6ec96f2d94f11939dafe5ddef0fad248db259ab","datavalue":{"value":"W1969746263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2434603$D4786977-3F57-4149-9641-2CF72E138319","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c1cb6a5f1f615f802973f0cae0c1bad49fa9e78","datavalue":{"value":{"entity-type":"item","numeric-id":3028968,"id":"Q3028968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434603$E8806F1D-33A6-4DDA-9A38-26C95D4E3CE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"054d1187a8913c4a12571d82949059b5edadea82","datavalue":{"value":{"entity-type":"item","numeric-id":890788,"id":"Q890788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434603$79C64776-B241-47F6-8A1D-962269F9F148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4760a59608fda63bd7abcfa1f697197d62b4d0ac","datavalue":{"value":{"entity-type":"item","numeric-id":1096612,"id":"Q1096612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434603$D1023B89-CBFC-4583-8227-1247FCE7F3B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5029fdc7695bdf3985888a4b5c1a2196a9545d2","datavalue":{"value":{"entity-type":"item","numeric-id":3218105,"id":"Q3218105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434603$ACB78893-3211-405A-82FC-66D53A693F17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da023f8e3585923b87354e62f5171bb11eaa70b9","datavalue":{"value":{"entity-type":"item","numeric-id":3033739,"id":"Q3033739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434603$1D94213E-F6F6-4B18-BC43-134D259FAEC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97dee777e8eb9d23fbf5532e0952528b7106f0c2","datavalue":{"value":{"entity-type":"item","numeric-id":865046,"id":"Q865046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434603$A0F3EB49-1EE7-4B0A-B6DB-F3BA13CDC04A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaf7f78c31f53dc43160af181bcdee008cee1d7a","datavalue":{"value":{"entity-type":"item","numeric-id":5275735,"id":"Q5275735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434603$4D7AE62C-3713-4111-AF7C-D600F7B66231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38f634797447d1028940456dca6e9c8b01a6d8fb","datavalue":{"value":{"entity-type":"item","numeric-id":695777,"id":"Q695777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434603$0A17B069-92E6-436F-B334-8BF2F6419573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b87135399135ab61a988f7bb2677c6a432e0d257","datavalue":{"value":{"entity-type":"item","numeric-id":946573,"id":"Q946573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434603$749ED243-5BE6-4C6B-99DF-36C8861B6960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe4c1ea89bc5854f421d3a6b161146d5aecefa12","datavalue":{"value":{"entity-type":"item","numeric-id":4032862,"id":"Q4032862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2434603$00344F88-D025-4C3A-A191-AA13EA4B9E42","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7c16dc399f800223a8e3571535614c497ce68b09","datavalue":{"value":"10.1007/S10469-013-9235-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2434603$AE067EE5-3061-459B-81D3-518ACF828BEE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2d8041db907d5fc290c0f680d63e04bade5e697","datavalue":{"value":{"entity-type":"item","numeric-id":3218106,"id":"Q3218106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55bd506379c43f0c2ba734f887fb938a270dcf2e","datavalue":{"value":{"amount":"+0.7921359539031982","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":"Q2434603$C70D0CA9-5013-4FBD-AAEF-F9B91ACAC186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77a9842608722b8451723c149bbf7224fd908eeb","datavalue":{"value":{"entity-type":"item","numeric-id":3218105,"id":"Q3218105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57be54ef68db9f75dcb83ca7cd0c52e4674cf060","datavalue":{"value":{"amount":"+0.7906923294067383","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":"Q2434603$B3CA6963-D7ED-4C91-824F-C5B136AA4514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f56330075b5be6ae31331537fa9c399484406b9","datavalue":{"value":{"entity-type":"item","numeric-id":5741336,"id":"Q5741336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"227265b2d4a1867aca9610e466ae38611a5c98a4","datavalue":{"value":{"amount":"+0.7554022669792175","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":"Q2434603$1CEC8DE4-3A1E-41D2-BBC8-9E4EA6D3C77B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"004b21304fbe4e37f331543033c6a950ec37afb5","datavalue":{"value":{"entity-type":"item","numeric-id":2987729,"id":"Q2987729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbbcfd4a3019ff6d06a00ffe8699052f87c9dfad","datavalue":{"value":{"amount":"+0.7537552118301392","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":"Q2434603$B6CBE9F6-A67C-4116-B187-EFC35BD703C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2afcd6f189de392ec90bd219141500ed09ff1cbc","datavalue":{"value":{"entity-type":"item","numeric-id":2715517,"id":"Q2715517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4226116a01a6978cb192a96933f25f5d0abc2296","datavalue":{"value":{"amount":"+0.7536950707435608","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":"Q2434603$7035C25D-CBB6-493B-8969-2B597C0DBABD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Composition of an intuitionistic negation and negative modalities as a necessity operator","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Composition_of_an_intuitionistic_negation_and_negative_modalities_as_a_necessity_operator"}}}}}