{"entities":{"Q2402134":{"pageid":2412877,"ns":120,"title":"Item:Q2402134","lastrevid":78637751,"modified":"2026-05-06T12:04:52Z","type":"item","id":"Q2402134","labels":{"en":{"language":"en","value":"Calculi over minimal logic and nonembeddability of algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6770215"}},"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":"Q2402134$80E1D406-24BA-419D-9DEB-ED3BF86F9E89","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"88cdad696238149592e815208779fc5d033ca45e","datavalue":{"value":{"text":"Calculi over minimal logic and nonembeddability of algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2402134$0BB21262-A292-446C-A7F2-C00DE28A6FC3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e82c184c3dc84a62a6c4ecbb9cea7a2bf0a7c5f2","datavalue":{"value":"1390.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402134$C16D3C75-B262-472D-A45F-2A46054381C3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7bc98d936db46c33f702afb90a4de40ed305eaab","datavalue":{"value":{"entity-type":"item","numeric-id":2003245,"id":"Q2003245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402134$EA09C649-2F68-4F36-80FB-E63F33D63A83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da7205aa6b4e51082df3cd99c42733bd50597b37","datavalue":{"value":{"entity-type":"item","numeric-id":918957,"id":"Q918957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402134$0BA7CA11-3E09-4380-BE79-04E62E3D33A0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d89f904c4b6dfd91496e1b6cc3735b2f5d581a1d","datavalue":{"value":{"time":"+2017-09-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":"Q2402134$70CF0BAB-1A6E-491E-9FF4-852BF344B999","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402134$D698CB88-2CF7-4F71-9CC7-3E9FC08AF3CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402134$9D737BA7-5933-405C-95FF-FA0F7D504165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402134$85169845-7AD4-42E8-B868-F23D5CE08ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402134$C7E051A9-9EC3-44FA-8BCE-0EBF4157B7EE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"380d7de7c680bea344a160f97b07d1565719ea80","datavalue":{"value":"6770215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402134$CEB86936-C7FB-44C6-A614-B36A68A88209","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab7456a6500678da2c11297409c3d94f7b6af242","datavalue":{"value":"minimal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2402134$72BF755C-5343-4AF7-931D-300F85A08E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb7baab1d859d7e82a4d6d1531126dff71b15b81","datavalue":{"value":"Johansson algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2402134$F4A4167E-99E2-4448-8962-07628F570A3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24696e017151cd00d04776e928a537548df4df0f","datavalue":{"value":"Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2402134$8ED938B1-AB4F-47C7-A1AB-DAC108B8627A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"593894aea21faf93a77a9a4270aafdca3e6da26c","datavalue":{"value":"superintuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2402134$D8327F1A-3AD6-4BF3-B6E6-2F61401CF474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db6d957d91ef03efb279b574e0523c3609dd7cde","datavalue":{"value":"calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2402134$83C8FFE2-76F1-44F6-9E1C-EDD5AD81BB48","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":"Q2402134$AB4E17EE-24F3-406B-8492-94256D0EB88F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fcca4f4422c1cc1ccfd1e05b350a7b52d81f7b5e","datavalue":{"value":"10.17377/SEMI.2016.13.055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402134$77F2CF76-1D97-4DB8-B768-A6411808C352","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b799d93c9c23571e42d1b0fdc710b5b584588fc5","datavalue":{"value":{"entity-type":"item","numeric-id":5224174,"id":"Q5224174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402134$5FC7547E-A66F-4972-98C5-BFAF4A999176","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab62cfbc8cabbb98484024ff447ca03a05a21a56","datavalue":{"value":{"entity-type":"item","numeric-id":3632251,"id":"Q3632251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1945af4b70d40cf72cdafa294f4437d91adaf5d3","datavalue":{"value":{"amount":"+0.7771691083908081","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":"Q2402134$5D92A6D3-C5A3-4810-9C1E-4C90467DF31C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5829b7de121a6f9ef66d4ece37faeebd9f264e61","datavalue":{"value":{"entity-type":"item","numeric-id":1097873,"id":"Q1097873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb773fb302c5b1a0b2603b07f3109d0229a18cbf","datavalue":{"value":{"amount":"+0.7505945563316345","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":"Q2402134$480D4830-C7DD-4FD9-8E60-8891FA33ED03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a8386f61c46cc7da937082acd54e126fc8e1802","datavalue":{"value":{"entity-type":"item","numeric-id":4011579,"id":"Q4011579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c8df65027ba8f8c300d38391889bddd82b78daa","datavalue":{"value":{"amount":"+0.7387847900390625","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":"Q2402134$70DC7B98-8188-41E1-8B18-D1233956BDF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39f1f222619ddb8b0d1be3c69babf86f80b56db5","datavalue":{"value":{"entity-type":"item","numeric-id":784471,"id":"Q784471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2c039358901731f2d5885513e36fc33b05f4397","datavalue":{"value":{"amount":"+0.7385160326957703","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":"Q2402134$012B4077-5A74-48C0-8E0D-AF48EC3247FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3c4cf90f1109ffbd89ed81c0549b2aa2917178b","datavalue":{"value":{"entity-type":"item","numeric-id":606053,"id":"Q606053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f92c358e5b88dc8b4fdbf6c983603dad8ba17731","datavalue":{"value":{"amount":"+0.7383977174758911","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":"Q2402134$D9ADC841-9F06-4F34-B717-757270AAE649","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Calculi over minimal logic and nonembeddability of algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Calculi_over_minimal_logic_and_nonembeddability_of_algebras"}}}}}