{"entities":{"Q3435247":{"pageid":3445950,"ns":120,"title":"Item:Q3435247","lastrevid":86930891,"modified":"2026-06-04T10:14:48Z","type":"item","id":"Q3435247","labels":{"en":{"language":"en","value":"A constructive negation defined with a negation connective for logics including Bp\\(_+\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5146004"}},"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":"Q3435247$8B35A9F3-A000-4E21-AEE2-364146964805","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"61fdaa23127d2db33d02939bd44e71b03248d772","datavalue":{"value":"1117.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3435247$58182DA9-6599-4C3D-AD19-06E075238CF5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b017b11584e0194181f7454a0a65816f703f6687","datavalue":{"value":{"time":"+2007-04-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3435247$F6BD1DCA-0BA6-4147-9398-7E195F443151","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3435247$883C5620-1E8D-4595-B924-27D099E879E9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1ac6375eec6f4dd31e72b62dd6799a62ab2ceab2","datavalue":{"value":"5146004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3435247$B40E43F8-F083-4604-9FC6-96E763F2FC24","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":"Q3435247$5DD5DC6B-03B0-4627-860F-41E6CB8586A8","rank":"normal"}],"P1643":[{"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":"08a0e33e5756d8bfd98bd2fda7f4448de84ca02d","datavalue":{"value":{"amount":"+0.8158621191978455","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":"Q3435247$57D46E9B-45AA-4A5E-8564-67672F5BC906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e48cf76299578cb3051121013979ee194b74cfd","datavalue":{"value":{"entity-type":"item","numeric-id":5411405,"id":"Q5411405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08e43ad57fbf90ba9a15d3958b9f75439f99d28f","datavalue":{"value":{"amount":"+0.8095308542251587","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":"Q3435247$46C3CA7D-314F-48B9-BED6-711908871A56","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":"528a4e16dad2d8b6d92ae8c57f518d766f5979b4","datavalue":{"value":{"amount":"+0.8060236573219299","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":"Q3435247$8952DF94-EE86-4C09-825B-36EF39296DF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e7c1cb7d077b8b46a45e1b77189dff63d2d38c6","datavalue":{"value":{"entity-type":"item","numeric-id":3647235,"id":"Q3647235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87767431f18d33810dd7f0b2ece5780e486e522d","datavalue":{"value":{"amount":"+0.8044883608818054","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":"Q3435247$37AED0FF-9385-4D29-9C9F-6ED7D1C4C292","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":"f7d024d017706dc70e88d827fb061ce3fdfb4be8","datavalue":{"value":{"amount":"+0.8035080432891846","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":"Q3435247$4704F39A-4244-4B4A-BC1D-EDAA02074E2B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A constructive negation defined with a negation connective for logics including Bp\\( +\\)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_constructive_negation_defined_with_a_negation_connective_for_logics_including_Bp%5C(_%2B%5C)"}}}}}