{"entities":{"Q4629797":{"pageid":6659379,"ns":120,"title":"Item:Q4629797","lastrevid":55372801,"modified":"2026-02-17T14:43:36Z","type":"item","id":"Q4629797","labels":{"en":{"language":"en","value":"Proof Complexity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7044161"}},"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":"Q4629797$53ED93CE-20E3-4B4F-90B9-CB7F8754C0FB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a90ec3a6f83cb9593a440076800727dc2d116ed","datavalue":{"value":{"text":"Proof Complexity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4629797$872AFCA9-0002-4795-92D2-5021A3E0444A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7f0982ca916577cf030fc8c6d0f47a3717d89886","datavalue":{"value":"10.1017/9781108242066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4629797$AB8E9064-39FE-4B53-8411-37AD641DD508","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":"Q4629797$13337190-D074-4132-88D0-4E3138835F7B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a37ff889da6e99144d0bc2a153cfe35be0514e07","datavalue":{"value":{"time":"+2019-03-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4629797$727C8EE0-9351-4371-9FE1-F7F1D84AF9EC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4629797$561BE819-B960-4050-B7ED-00C3FA2589DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4629797$DAF46196-0873-4615-8716-5834AB718732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4629797$0A0D467D-AD77-437F-880E-FEAC9ED25956","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9442f3a350e2d25625541aa744ecaf40abd27ffa","datavalue":{"value":"7044161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4629797$1643E867-C137-42D4-A1D4-6E71115EC044","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":"Q4629797$C2EC70AA-53EB-4D22-B601-000CCBEFA6C7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a7c1ec7e87bf33554c6879712fda850dc49be76c","datavalue":{"value":"https://doi.org/10.1017/9781108242066","type":"string"},"datatype":"url"},"type":"statement","id":"Q4629797$EB4596D0-269B-48DE-9F43-B994FDD9F22F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1557952cdefdd841a3fc9820fdfae31a218aa245","datavalue":{"value":"W4211118908","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4629797$8AAB9E99-8979-49E1-BBB6-38536F2928A5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37e7f0ad797cd6e1343cb88e23bf4234230c9254","datavalue":{"value":{"entity-type":"item","numeric-id":4790380,"id":"Q4790380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81c8a874947947c0afc8506c533030cc96515149","datavalue":{"value":{"amount":"+0.8262933492660522","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":"Q4629797$1D1F28E3-F25E-4105-94D1-0A5CBD6638A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be5c7143fd76035df03c675909169cd62c1db7d0","datavalue":{"value":{"entity-type":"item","numeric-id":4856172,"id":"Q4856172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"594ed236f5d2970f7bf6c346891ff0e29c67251e","datavalue":{"value":{"amount":"+0.8172120451927185","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":"Q4629797$B13B35EB-713A-443F-B7E9-A523E654F95A","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":"5ab41362a062bb4f232c6c0313645ab9c81608ca","datavalue":{"value":{"amount":"+0.8155058026313782","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":"Q4629797$D285F0A8-C0F7-46DF-BCD0-2F83865B2B9C","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":"3df822f5875b349efe11c9a6c9ccae4b8ef93025","datavalue":{"value":{"amount":"+0.8128027319908142","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":"Q4629797$6D5AFA9B-2724-46E6-99DE-A9CFB17AF784","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":"d30834e341da670ebd079f2d869af0fbad596f99","datavalue":{"value":{"amount":"+0.8095428347587585","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":"Q4629797$B93B8991-4D10-47E0-98F8-DFD8E5714F0A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4629797","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4629797"}}}}}