{"entities":{"Q3142030":{"pageid":3152746,"ns":120,"title":"Item:Q3142030","lastrevid":47202355,"modified":"2026-01-01T00:03:02Z","type":"item","id":"Q3142030","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 440121"}},"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":"Q3142030$C4A3B495-2733-4665-BF73-6247D4B1A6EB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eaf7c8348b951bc13e4aef98cc9b6437ec718e72","datavalue":{"value":"0788.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3142030$65ED3026-AF96-4FA5-A4BD-CD5A00D9C38E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78eb03c5b6b6b3872c69f87326379191472f34ce","datavalue":{"value":{"entity-type":"item","numeric-id":850802,"id":"Q850802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3142030$538E1994-7987-4BA6-8B90-8BDB69639F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bcce233b166e058167480b7b1c165291f5f8481f","datavalue":{"value":{"entity-type":"item","numeric-id":1576378,"id":"Q1576378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3142030$486F3323-94BF-4276-8472-4E663DA61F0A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"43a361f56e52055f8cc7213085a9db79a8a8cfcd","datavalue":{"value":{"time":"+1994-06-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3142030$6E608870-16CF-4E2F-A481-BB971459FE33","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3142030$E3BD933C-3DB5-4913-A88E-CDEE7C494042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3142030$120D3C51-7FC7-4049-A65C-EB51F8A78A1B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf1229a2b12b01a0ae22027e645201e7e40f5523","datavalue":{"value":"440121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3142030$DFA7E9E5-0766-430C-9E74-D99F0A03D5AF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a88658163e73955196d238ac49c8e5bc3576d695","datavalue":{"value":"algebraization of Gentzen systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3142030$0EC0478D-991C-4C5D-A30C-BA536E43B9B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d000797cfa616a66d064a0c6ff517344f0418b8","datavalue":{"value":"implicationless fragment of intuitionistic propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3142030$5DF18622-3B47-4F50-8AC7-E9DE161E0492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5257a09327200dd1b269d2859c7f3c1c8468993f","datavalue":{"value":"pseudocomplemented distributive lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q3142030$09DE7767-FC59-4938-80FA-66AE34E2C709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec281b5f1d997842b0ce9e98282ccd39bc96d3","datavalue":{"value":"algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3142030$8EC3C7B7-20D0-4423-B1F7-483935DF2A2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f42864308756f136658e2a34153156c2703b8214","datavalue":{"value":"Gentzen deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3142030$48B055E5-E27E-426A-9978-D4D3D3C0EFCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f88fdfb313188c13c0ccea4942d53d2ad735bfc","datavalue":{"value":"equational deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3142030$38FCD64C-2AB4-40E3-AE18-4F7125642229","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":"Q3142030$8A496962-1F1E-4F3F-A62F-48301C1E5BD1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9001d88f33cbebb78eafb547d53c5950f76e76a6","datavalue":{"value":{"entity-type":"item","numeric-id":4438232,"id":"Q4438232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f984ec6e4b43a84d60fa3fa99bbb84589d293c7","datavalue":{"value":{"amount":"+0.8344009518623352","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":"Q3142030$3999FEDD-10CB-469E-B448-E2C3FD8ABC69","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":"39ccf40fc72b0e1bc3df674dc275f4d76826cfee","datavalue":{"value":{"amount":"+0.805262565612793","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":"Q3142030$69664946-160F-4FBF-BCD7-4AE5557E57B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa85fac83872cb99dbb747d462ccfb4204ef7dcd","datavalue":{"value":{"entity-type":"item","numeric-id":2772907,"id":"Q2772907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cab9dc3e0b45a68cb0561bf541fa566cbb9bb69b","datavalue":{"value":{"amount":"+0.8051079511642456","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":"Q3142030$A54F361B-CD9F-4CDD-9C2D-C8B1836F8BDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"459d6e9cf31e74a2e59aee0b064c367acbb625c1","datavalue":{"value":{"entity-type":"item","numeric-id":4351798,"id":"Q4351798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65848809846f7aeec49e0a71e807631a7514ff2e","datavalue":{"value":{"amount":"+0.7968072295188904","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":"Q3142030$72B5FEA6-5EB0-4BCE-BF08-CAC373A0BC39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bec22ff490172df0fc4deb3bf2206207f1361fb","datavalue":{"value":{"entity-type":"item","numeric-id":1576374,"id":"Q1576374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"660905150c077ae4caafee8ab478e962f03c3106","datavalue":{"value":{"amount":"+0.7942255139350891","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":"Q3142030$183A7B8A-BD77-4769-BFA5-D82876470C1D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3142030","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3142030"}}}}}