{"entities":{"Q4649564":{"pageid":6679145,"ns":120,"title":"Item:Q4649564","lastrevid":51601715,"modified":"2026-01-19T00:42:16Z","type":"item","id":"Q4649564","labels":{"en":{"language":"en","value":"Axiomatizing proof tree concepts in bounded arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6109850"}},"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":"Q4649564$DCA954A9-443B-46A9-8A11-0C04E604A357","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d4412bea92fbd486481d7b6b2640151c75f9ea8e","datavalue":{"value":"1252.03129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649564$80AA31D7-01A9-4C59-8DF0-A2D77C089EF7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb198915f0eecf0de0ba2bdc999cd6ec059e4289","datavalue":{"value":{"entity-type":"item","numeric-id":884959,"id":"Q884959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649564$68E5AD8F-6FD3-4BA0-8D39-07D11DD99E05","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f3aa46d2f66375aad8f9f235cf6aa2da570e73e","datavalue":{"value":{"time":"+2012-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4649564$6DE747BA-465B-46AD-BECB-E87485F6F2AF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649564$968625FD-63DE-4F77-A731-8DAE894C431A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649564$3A58E1A5-11E4-46C1-8A1B-5E131EA44B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649564$673A7E46-586E-4BB7-B30C-7E40D0B664DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649564$71971620-D861-4078-8BAF-BB63B30E04A0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5d660168a723c54ca64c5d0e309ab730e647d9b0","datavalue":{"value":"6109850","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649564$13222829-D790-4F7E-9F9B-29DCA591886F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba2903ab2dafc050042cd489ae05396ebe51a19","datavalue":{"value":"bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649564$07F81F7F-E965-4701-95B6-F834B08ADAC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbb67bdc2fab0aa4aa89319e3e45f26f77058037","datavalue":{"value":"LOGCFL","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649564$424AD475-87C6-46F5-969E-DD6F8B8DAF06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c361238f153b4b28d505a404b26ec382978cf2d7","datavalue":{"value":"LOGDCFL","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649564$1666C921-CA13-4DE9-970D-C96FB7325655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0213b48e373f0f895e54a16323e67f641558338c","datavalue":{"value":"proof tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649564$35E5E22B-673A-4D69-B150-35038CAD4B8D","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":"Q4649564$8A3789DD-6DDB-4FF0-9AC4-F648E9E1A8C4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"15f4d05a47204691b837dfc3ddadb568c515aa6a","datavalue":{"value":"10.4230/LIPICS.CSL.2012.440","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649564$2996A2D6-DEC7-4E1B-A842-C280F0129AC3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2cf4ff14303448f7bcbde22a6ad41ae3e4803be","datavalue":{"value":{"entity-type":"item","numeric-id":884960,"id":"Q884960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef6b639385c4f5974cc8c442f0e3f88551719be4","datavalue":{"value":{"amount":"+0.7937638759613037","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":"Q4649564$55F9725B-BF81-47AC-A037-35419C6FC1BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2452193748cc5ba266bc3360acefd5886e7992b","datavalue":{"value":{"entity-type":"item","numeric-id":1192345,"id":"Q1192345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23a16220192956a37ff50c7d48de446b396b6e42","datavalue":{"value":{"amount":"+0.7349339127540588","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":"Q4649564$E45BFFE3-1C68-41BB-9567-7635171721C8","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":"cbf8b175ecde1df705cd80a94965681bc7224c69","datavalue":{"value":{"amount":"+0.7271324992179871","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":"Q4649564$E0BFB0CA-44AD-45EF-A3BD-38C3B1000B0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22429a65a09e2be64934dd4fe3beeb889db2682b","datavalue":{"value":{"entity-type":"item","numeric-id":638497,"id":"Q638497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97a955d7a14d0cd0c02c44ed6ecd3e9241a7e36c","datavalue":{"value":{"amount":"+0.7258316278457642","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":"Q4649564$1E9BF964-4C34-4A87-B089-8A954BDD8C52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"646da1ed462b70087d1f7d1496ee8f3efe60e7bd","datavalue":{"value":{"entity-type":"item","numeric-id":1071500,"id":"Q1071500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0c9eb7fbb17d11bc37f1b1b072db950692c2327","datavalue":{"value":{"amount":"+0.7252195477485657","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":"Q4649564$8D76FEB1-E3CB-4B0A-8A84-3CFBF9F97B33","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4649564","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4649564"}}}}}