{"entities":{"Q4353563":{"pageid":6383162,"ns":120,"title":"Item:Q4353563","lastrevid":46939929,"modified":"2025-12-25T21:45:12Z","type":"item","id":"Q4353563","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1059248"}},"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":"Q4353563$632EEDC2-1197-45FC-B999-451B0E2CFEBF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9d9e58f8d26f3ea01793b98016ae432a34a9829b","datavalue":{"value":"0880.68118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4353563$B0D34616-F0A0-4BE6-AA75-BE3B867473AC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38b40ed6cb099fba5da493703b11839c0af89042","datavalue":{"value":{"entity-type":"item","numeric-id":202089,"id":"Q202089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4353563$CE2A166E-EE18-4CEC-9E63-9294E0D8187B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bb5b0fc95b875540ac51248d37b76d8d5d31061d","datavalue":{"value":{"time":"+1997-09-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4353563$3FE6153D-DE61-4B79-8520-B8A9DB4994A9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4353563$E067631C-C2EE-4771-8362-9690B6BE167A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9cd46f37e1d6e38bda8904dadf94947589aba283","datavalue":{"value":"1059248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4353563$0CCD03EE-C2BB-4259-8E38-B8A23C3449AF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfeff29eb4c15469599e33e92d2c0f12df97d184","datavalue":{"value":"algebraic proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4353563$37DB0005-599C-4624-8691-EAD03D3818BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bec6dac8174dd919ea6453d23e44243994d90f34","datavalue":{"value":"propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4353563$AE6DDCCA-FB3A-4FEB-B2FD-E88CA9063AA2","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":"Q4353563$EBC7E411-3C7B-4570-AB70-F12110DDDF23","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af0dcb9473db49242994ba849ab40d6e8309464a","datavalue":{"value":{"entity-type":"item","numeric-id":1401356,"id":"Q1401356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a53ec61bd9e10f75a5ddca24d5ae086ff90c0899","datavalue":{"value":{"amount":"+0.876186728477478","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":"Q4353563$B4B51A2F-0E92-4337-871E-06F3808051AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58670c3a210b9049e1d390fbeaa81ec1fef6220e","datavalue":{"value":{"entity-type":"item","numeric-id":1126839,"id":"Q1126839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e403876aef82742b355b43e1708ee2853e204563","datavalue":{"value":{"amount":"+0.8331747055053711","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":"Q4353563$D237C2DA-7C15-4330-AA5E-C6D678A792CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d2414746d0c17a096536954eb7fca1268bd6b97","datavalue":{"value":{"entity-type":"item","numeric-id":5444711,"id":"Q5444711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96dc29d6788041224fc9080c3c7707daf016251b","datavalue":{"value":{"amount":"+0.809601366519928","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":"Q4353563$CB47E7E8-A3BA-486C-92C4-256523F166E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7b47d5008fb5444114c966ed6f511fa02db28fb","datavalue":{"value":{"entity-type":"item","numeric-id":4790400,"id":"Q4790400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c72eff430b021970346f007ee6414aea2d2769ee","datavalue":{"value":{"amount":"+0.804127037525177","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":"Q4353563$8D15C757-4026-40AD-AC6C-DB8658538C56","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4353563","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4353563"}}}}}