{"entities":{"Q3533295":{"pageid":5563199,"ns":120,"title":"Item:Q3533295","lastrevid":88333682,"modified":"2026-06-04T14:15:15Z","type":"item","id":"Q3533295","labels":{"en":{"language":"en","value":"The system Bp\\(_+\\): a minimal positive logic for minimal negation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5356140"}},"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":"Q3533295$6A17E553-D139-49AF-808C-EA018DA9C57C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4de1daca05f7440ced131ca0e4cac34d83598d27","datavalue":{"value":"1152.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3533295$5FDAC5D2-6244-4FC7-8040-B8CEA872C7BB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8ce2682f37ccf1c72d79d2718b6b4105746a4167","datavalue":{"value":{"time":"+2008-10-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3533295$1A9BD2C7-E5BC-49F5-8E81-EC3590F83A47","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3533295$62EC81CD-68D0-4857-92AE-3E4CEF0B64FC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7074a52fa38ae122706ae12d696bf4b87bde9f30","datavalue":{"value":"5356140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3533295$CBD40D90-02BB-418F-B9BD-B05702AF8F6C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d54966808d51f8bb3f443d062fb916e73154dc20","datavalue":{"value":"constructive negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3533295$4DEB3593-BAEC-4F83-94EC-DD8B427B4D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b0aee17d94cc1a9ef0b418a31cd72a30ec0a5de","datavalue":{"value":"minimal negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3533295$A7018807-7A54-4846-84A0-62C7C7BD2AED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffc9c36646dce3a7a73cf58d3dac2b64768cd32f","datavalue":{"value":"ternary relational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3533295$32CEE51E-F637-4E27-92CD-7150A1BA748E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97e9b68a25bf7c4fb71d43d64a9dc83ae32b951","datavalue":{"value":"relevance logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3533295$609CBBFB-7AC6-43E8-A3A9-2E2C889D964D","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":"Q3533295$9519CF13-C6D7-4651-9CA4-665CF8CD00AB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac2776be7aa4f836a57a6ad3b0694cd0c266f44b","datavalue":{"value":{"entity-type":"item","numeric-id":4807690,"id":"Q4807690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4b99f4502d5049f13d43d21faa048afdbff8dc6","datavalue":{"value":{"amount":"+0.8316610455513","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":"Q3533295$7CAD7AE2-AA44-4704-AC5B-D970F9EBC0F2","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":"26d4822b3452be9e8d7b81845c30d1967776782a","datavalue":{"value":{"amount":"+0.8130813837051392","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":"Q3533295$2F79E55F-8FFE-4EC0-8756-D4DF85FEB418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b737db9ec449cf8a131dbbeb7ce342ea181a2917","datavalue":{"value":{"entity-type":"item","numeric-id":1699743,"id":"Q1699743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ccdb9e47c1f62a154f620b04052f5906123c42f","datavalue":{"value":{"amount":"+0.789364755153656","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":"Q3533295$B9F7540C-EE59-497F-BE9C-245B4528A2B0","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":"9848422b34e233d0cb547ae8ce625a95393ac9f4","datavalue":{"value":{"amount":"+0.7869498133659363","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":"Q3533295$01F9E02A-7B7A-4F47-B40D-9BB238E01690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c49e24ed80b5c9836a21313efc365d3c22728554","datavalue":{"value":{"entity-type":"item","numeric-id":3435247,"id":"Q3435247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f57f675860eb356650880e69d6826ba0d30939e","datavalue":{"value":{"amount":"+0.7813779711723328","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":"Q3533295$42992535-B876-43F5-B2DD-798ECFD96D6B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The system Bp\\( +\\): a minimal positive logic for minimal negation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_system_Bp%5C(_%2B%5C):_a_minimal_positive_logic_for_minimal_negation"}}}}}