{"entities":{"Q2851932":{"pageid":2862652,"ns":120,"title":"Item:Q2851932","lastrevid":51838394,"modified":"2026-01-20T07:17:02Z","type":"item","id":"Q2851932","labels":{"en":{"language":"en","value":"Bounded proofs and step frames"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6213564"}},"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":"Q2851932$49912F2F-BE71-42F8-965B-B4971EB27DE3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0919f378a90c85afb52743f6fef296322b7e7758","datavalue":{"value":{"text":"Bounded Proofs and Step Frames","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2851932$97D152A6-5F58-49B9-966A-4C348E207A64","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bb7eb9e387f235e15f2788f0ede0c5de2d690740","datavalue":{"value":"1401.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851932$93E0F547-04A5-4736-9109-8879B46D4C57","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9b6726232e78ec4c0c209530f90cd1ef97b30548","datavalue":{"value":"10.1007/978-3-642-40537-2_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851932$187320F3-D09C-4B1C-9889-89FD726D9315","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0f6f19702daf8407dcc07e967ba92a1b9bb20a1","datavalue":{"value":{"entity-type":"item","numeric-id":284227,"id":"Q284227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851932$866BB0C2-8919-4E4E-83E3-043008FBACC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"44f075398e4ccd740a9ac00697271020232935ff","datavalue":{"value":{"entity-type":"item","numeric-id":284229,"id":"Q284229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851932$863C68F4-90AF-4505-A254-0E838193A43C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851932$C9673134-BB77-4203-8451-E4D1847339D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1145dc38b4d246480a51682f22dd7d8a161033fa","datavalue":{"value":{"time":"+2013-10-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2851932$68706298-2D09-4C6F-93F8-ED5B6E34161D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851932$E4CCCBB8-D22D-4D12-BA26-B425F98BC0B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851932$EE30C1D2-ACF2-4912-ABF0-E8E2A3AD2475","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b700eb5a6d5bbde4f4641359071a0bee0ea419dc","datavalue":{"value":"6213564","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851932$B977A38D-9CBE-4BED-8E4F-7282165D850A","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":"Q2851932$C15B8CC2-5276-425A-ABB3-5C18A331D709","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"756d113b555056f03bd7643beae8e94d058d3b76","datavalue":{"value":"https://doi.org/10.1007/978-3-642-40537-2_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q2851932$D1C307F0-BF87-4048-B8F8-36DC4734C345","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8dbe3826a23306f62fa0f77a5549c01bc38cdf9c","datavalue":{"value":"W108287753","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851932$008210E8-AF7C-4A08-B819-0E58DE5D49B7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b356ba21ad2b245dca47582248cc051aa5dacf0","datavalue":{"value":{"entity-type":"item","numeric-id":741087,"id":"Q741087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"819c172fbf28c7dc82c2c3e4967acb8c2c74b127","datavalue":{"value":{"amount":"+0.8512133359909058","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":"Q2851932$F3AA6A72-8FAE-4EBE-8C72-93A79353497A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b6242c0e5aac0fd24ed0e0125daed79db08edc1","datavalue":{"value":{"entity-type":"item","numeric-id":3133191,"id":"Q3133191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d9deaa63627fdc5ab7f3d64ffcd52c70c633d25","datavalue":{"value":{"amount":"+0.7774046063423157","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":"Q2851932$372D9E7A-629A-4282-BE4A-8C016026D5F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8262ff41a17f5233f880f4c5a28afce96a29430a","datavalue":{"value":{"entity-type":"item","numeric-id":5255791,"id":"Q5255791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8148cff359322d9c08b8f8fe30bb2e4c5d6cad39","datavalue":{"value":{"amount":"+0.7547309398651123","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":"Q2851932$04B971FC-FB79-4A82-ABE0-0F67F6D00487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9174130d0b34edaf7753681a21f88061e1c19d47","datavalue":{"value":{"entity-type":"item","numeric-id":812101,"id":"Q812101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72f0c3dec8cbb4631e2bf9b4af1c6f5ec28b6d2c","datavalue":{"value":{"amount":"+0.751526415348053","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":"Q2851932$8BC9E2A1-A465-4D80-9EE8-BB728CAF30D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b140597510faea297aaea9fd4869647c61499e1b","datavalue":{"value":{"entity-type":"item","numeric-id":2240542,"id":"Q2240542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90878d30403c6fd5de5503d3745b2c08ebc15936","datavalue":{"value":{"amount":"+0.7356182932853699","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":"Q2851932$2CB68C7B-8073-4B59-8C1E-FCD278E10507","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2851932","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2851932"}}}}}