{"entities":{"Q4357061":{"pageid":6386660,"ns":120,"title":"Item:Q4357061","lastrevid":46948698,"modified":"2025-12-25T22:08:24Z","type":"item","id":"Q4357061","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1070621"}},"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":"Q4357061$88BFB1B8-6DE4-474B-BE7B-92A9775810AB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8ae4f800f08d9c5785bfd1eb0c37e8f75785afd6","datavalue":{"value":"0882.68130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4357061$16AD2290-6373-4812-B0EE-1B22F1FEBA06","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee6dabe770d01c58d9d16642e2d2c925ba77d77","datavalue":{"value":{"time":"+1997-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4357061$244E6CA0-7386-4F40-A192-20F95684553F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4357061$0FD6CCE2-5A71-43DA-99C5-2025E4449425","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e8789db1bc7e2bfe961785c3bf9bbb9c6a214bbc","datavalue":{"value":"1070621","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4357061$A0184D53-87E5-4BFD-A786-A40E97AE2207","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"beacc345177607df4ab1f59f0170626c9d1a1d90","datavalue":{"value":"propositional proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4357061$36BEF7AE-5F0D-4CF4-8608-C5AA443F7981","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"556b5f897f5d545f04c26b56d4624f5cc4b2661a","datavalue":{"value":{"entity-type":"item","numeric-id":195654,"id":"Q195654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4357061$62F621F9-96A2-4ECB-A11E-CF591277E90F","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":"Q4357061$D094C770-74B5-4373-829C-C420A45BBF9B","rank":"normal"}],"P1643":[{"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":"790e985d663b2dcf8045bf554cda334b4dda3e51","datavalue":{"value":{"amount":"+0.8442419171333313","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":"Q4357061$2D864624-CFAF-4DA5-AFE9-699BAB0F526E","rank":"normal"},{"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":"da46b3df6a714c27b5f61915152f43b9ca39cda8","datavalue":{"value":{"amount":"+0.8121131062507629","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":"Q4357061$3BD4221B-EE00-444B-8EF5-3C604452AE6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cd8a30ceea8c23c439b0c2bf57e1776b9f2d4e0","datavalue":{"value":{"entity-type":"item","numeric-id":4358049,"id":"Q4358049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4136cc681ed3ac0b3003a9d7e4a3b967ca05dfd","datavalue":{"value":{"amount":"+0.8044116497039795","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":"Q4357061$8DFF99EC-6A2F-44DA-9228-3914B2E6EAD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c4391ef12e51c3ce2230d0e5e03d87c41a53878","datavalue":{"value":{"entity-type":"item","numeric-id":3794177,"id":"Q3794177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"356ed3b8433d6ead715cfce2a48ffa0f470b5178","datavalue":{"value":{"amount":"+0.8034878969192505","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":"Q4357061$3EE3FDC7-1993-444D-8ABE-B1ACA0216171","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4357061","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4357061"}}}}}