{"entities":{"Q4856172":{"pageid":6885752,"ns":120,"title":"Item:Q4856172","lastrevid":47369890,"modified":"2026-01-01T13:11:21Z","type":"item","id":"Q4856172","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 819737"}},"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":"Q4856172$DAF6FDC9-6779-4E17-B015-23D8BC0E00F6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"130dcd65829f5811304612a9d8c51de96a792f0d","datavalue":{"value":"0835.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4856172$2130C59D-4CF5-446F-83DD-D0D23990881D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4b9ae896fbf78b3fa2084fd5300754d74076f66","datavalue":{"value":{"entity-type":"item","numeric-id":226860,"id":"Q226860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4856172$9D63F203-CCA4-4720-B2EF-A6CF7C1B6046","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae1469fc9b9c8b38b4455fc2f5e7dd64d11966c8","datavalue":{"value":{"time":"+1995-11-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":"Q4856172$B3C5A6EF-51DB-4354-A9DF-F6DB02C605EC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4856172$23E1F730-6AE5-4CEB-9B05-20C82748390E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4856172$14F67762-5F4A-430C-8402-FA3780A6CEA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4856172$556C2CC7-5D36-4B61-84F4-D6BDA3FB0ECD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9481bb5a59f8ffbd517ba20226ac3ce31ba90d54","datavalue":{"value":"819737","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4856172$43B8B643-5FB5-48A5-A288-61B5BCDF838D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba2903ab2dafc050042cd489ae05396ebe51a19","datavalue":{"value":"bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4856172$96ACF45C-183A-4EB3-81DA-8BC6187FE060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"596420acea69cb4be8c78b702f09c227e9d6c93b","datavalue":{"value":"complexity of propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4856172$8B3E3220-4413-44AF-B81C-60451F054968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3411aa82b9afc3f210d9df9123146516fcbcd5d","datavalue":{"value":"independence proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4856172$F789B6DD-646B-40A3-BFC0-7BAF47FBFB32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3dd7b55af63a54b6c14a2c438783858aa290223e","datavalue":{"value":"lower bound proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4856172$A907B8DD-1666-48B9-9B82-2F21A9A82C3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b24e51e460d663f6ecf18860b761adb8bb29e572","datavalue":{"value":"propositional proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4856172$9587FB29-CF3F-48A3-AA9C-B1FFDB2BEF05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4f130a54bffd79476b5fcd8c5e276e69152c4c","datavalue":{"value":"witnessing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4856172$C527FD50-6088-4E4A-A889-FA4DFBD05D10","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":"Q4856172$97F32AAD-05D9-492E-A5BA-5245D835EA5E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f9220e9c37dda4ea4e27fdfbfd6ec9ec1aa7ec1","datavalue":{"value":{"entity-type":"item","numeric-id":5306365,"id":"Q5306365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f97899e341b70f8b20eb89fc70855a6309f4848","datavalue":{"value":{"amount":"+0.8581990599632263","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":"Q4856172$E4553CEB-E2A4-44C0-8AF5-798CBE52D1DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5da28da5e290488ad289537bbb842cad53ecef0e","datavalue":{"value":{"entity-type":"item","numeric-id":4357061,"id":"Q4357061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b82a8565412ad1e798069ff7af6fdb7aba8ff358","datavalue":{"value":{"amount":"+0.8499969244003296","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":"Q4856172$5F444DBA-0571-4699-9008-BD68B06B158B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fc27712d30af9d8b9fb1c8d39d6bd3cb0e51131","datavalue":{"value":{"entity-type":"item","numeric-id":3072543,"id":"Q3072543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"049d6c5c72e6cf36b396fd8a99d95265883155be","datavalue":{"value":{"amount":"+0.8140333890914917","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":"Q4856172$1EA276D0-908C-43DC-B2A1-470AB8E1A30E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3ee24e5941a980d341edec213329522344ee401","datavalue":{"value":{"entity-type":"item","numeric-id":4818823,"id":"Q4818823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2bfc1a116ba42845520949fc9deeac40f9d63f4","datavalue":{"value":{"amount":"+0.81170254945755","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":"Q4856172$37A7FADD-4FBD-4CE9-AE65-CCC2E04AB546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ede333e06f1da3162b3a541fa4bbf91926fc13b5","datavalue":{"value":{"entity-type":"item","numeric-id":4873893,"id":"Q4873893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b076982cfa81d1e1a3de4228058b9012a140d5b3","datavalue":{"value":{"amount":"+0.796303927898407","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":"Q4856172$236C193B-81C4-4E1E-9A5B-AFF1A5FB542D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4856172","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4856172"}}}}}