{"entities":{"Q3086529":{"pageid":3097244,"ns":120,"title":"Item:Q3086529","lastrevid":85732304,"modified":"2026-06-03T11:19:11Z","type":"item","id":"Q3086529","labels":{"en":{"language":"en","value":"Minimal non-relevant logics without the K axiom. II. Negation introduced as a primitive unary connective"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5872050"}},"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":"Q3086529$B9C4590D-232E-4A71-BD6E-FE5897C7BE22","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ff5e3a579d6cf66e164074a39d73b045c1a76f1d","datavalue":{"value":"1225.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086529$57FA318D-9F9B-4F5B-9CB2-B25A503022C3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a58eb4c4b59a1ad954c8e82e60e204e3e9001a6","datavalue":{"value":{"entity-type":"item","numeric-id":590824,"id":"Q590824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3086529$00DD33D8-28CA-41AA-B3AA-04E018E99810","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7689f7450ca45c5720e9af63718c2696a88f018d","datavalue":{"value":{"time":"+2011-03-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":"Q3086529$F682F9FD-F9E7-4E28-A877-511416FEB480","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086529$35EA2806-29E0-41A9-95B2-76557E645398","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0be01c4f2495512289bed152564543a70ea98660","datavalue":{"value":"5872050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086529$9AAB1089-0DE1-4921-BB65-6EC6548C747B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df1edaeddee64594d84836f6e81940b1399276dc","datavalue":{"value":"relevant logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086529$93EBA4B3-BB8E-4D41-8303-36A6A7938CDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83105e2daeaef8a1321c644d419272715ccdf0f0","datavalue":{"value":"K-rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086529$AE0FB057-4F5E-4A62-8089-67BFE4EED38B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d54966808d51f8bb3f443d062fb916e73154dc20","datavalue":{"value":"constructive negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086529$913B82D8-8383-4CB5-BC8A-38BA90FB68B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b32440612209bc27b65548331b615cfa3d226279","datavalue":{"value":"negation connective","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086529$921480A8-600E-4670-8778-DF0C4825C741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"358c78dd701bde900613005c5df0e5fbf889ef13","datavalue":{"value":"Routley-Meyer semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086529$95603785-8DE1-4632-A454-FDFABCEB1ABE","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":"Q3086529$CA55375F-7350-4996-BE5F-91AB795F70BA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39dc8556794e88694715bf3130bf123d84f8654a","datavalue":{"value":{"entity-type":"item","numeric-id":5441070,"id":"Q5441070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee1b364847a959031a3a55cf90c8783d69a8c9d5","datavalue":{"value":{"amount":"+0.8683847784996033","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":"Q3086529$9FE6782C-4F79-4024-BB74-68DE420A561B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"611668d1f47a45deb042a9074adae630e84de23a","datavalue":{"value":{"entity-type":"item","numeric-id":3400792,"id":"Q3400792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec3ed3e54b3e2596919421ab2234defc1ef0a484","datavalue":{"value":{"amount":"+0.8662629723548889","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":"Q3086529$E4A75FCB-527C-4B5C-B2B0-6A069F80FE61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"642af5239d22e3add2058fe2b674d5f5f52809bd","datavalue":{"value":{"entity-type":"item","numeric-id":3647286,"id":"Q3647286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1e4cc3e7a80f1c6205d71c6604836aaa8234e15","datavalue":{"value":{"amount":"+0.8302189707756042","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":"Q3086529$620B127D-C370-4A94-A846-E6163F2803F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ad573d50072defa1075f2e4a85e5062ddeeaecc","datavalue":{"value":{"entity-type":"item","numeric-id":5437775,"id":"Q5437775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8684cab139bf399028db0c20d7285e5630a82ecc","datavalue":{"value":{"amount":"+0.8250432014465332","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":"Q3086529$EAC47F57-A8BF-4270-88FF-CF5C13BD97B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b78f7554fb702b0a6b620f0fd043e4d0b4587283","datavalue":{"value":{"entity-type":"item","numeric-id":5488259,"id":"Q5488259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"697857fe8998c8c3222ebac39ff52e73782c82f6","datavalue":{"value":{"amount":"+0.8198119401931763","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":"Q3086529$317BB8B0-DDC9-4C89-A6EC-5A71643FE932","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Minimal non-relevant logics without the K axiom. II. Negation introduced as a primitive unary connective","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Minimal_non-relevant_logics_without_the_K_axiom._II._Negation_introduced_as_a_primitive_unary_connective"}}}}}