{"entities":{"Q2253865":{"pageid":2264608,"ns":120,"title":"Item:Q2253865","lastrevid":71685771,"modified":"2026-04-13T23:52:59Z","type":"item","id":"Q2253865","labels":{"en":{"language":"en","value":"Polynomial upper bounds on the size of changes of a RAM+BOOL program as a tool for proving belonging to FP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6403259"}},"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":"Q2253865$9D96E532-9B59-498B-B055-F0E1EF307212","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cdf48ee24af126fd967783bbabb1b3284f50b933","datavalue":{"value":{"text":"Polynomial upper bounds on the size of changes of a RAM+BOOL program as a tool for proving belonging to FP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2253865$E293C659-8318-40FA-ACD5-246B56067AF8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"92d75f0ed22f66eb0bf78c62c470ff97751b98cd","datavalue":{"value":"1320.68080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2253865$AA4ECD9B-FB70-486B-87B0-6663793BCA30","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253865$C7537E08-87D3-44EC-9F2E-33A7FD8511BB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"17c447c8e76a3a0e73a2c70a024d9ee2f8256c04","datavalue":{"value":{"entity-type":"item","numeric-id":195577,"id":"Q195577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253865$14734A7B-A437-4060-8A89-E213824C2C50","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d835c25140aa83270ee5dbc2ae0190a06421657","datavalue":{"value":{"time":"+2015-02-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2253865$34A9C1EA-8568-4950-A66A-936D9B61901D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2253865$DC4B2CAA-09D9-4D17-983D-8628B21D3120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2253865$811A5BEF-04C6-48FE-B6A7-B6E3891DF025","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5b70179ea609f9175fe01ba0718c1f6f96aac710","datavalue":{"value":"6403259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2253865$5619DB7E-1628-4C16-8142-7EA4EF5F2A83","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"709c0f1970b625c924543cd42f8a54c7ce976554","datavalue":{"value":"Turing machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q2253865$A91BDF53-9194-42BC-8638-C8B0D844892D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af24b50386ffe496732a6f997d699881a3412388","datavalue":{"value":"function-oracle Turing machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q2253865$55FAC1B6-C16A-409B-ACF9-30CE7282DB42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4ccaa45315d8a68135242e48c01d7b88f6b8c68","datavalue":{"value":"class FP","type":"string"},"datatype":"string"},"type":"statement","id":"Q2253865$7B8A3ED3-E8E0-42D6-A9B5-BB227F65BEB2","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":"Q2253865$FE513D0A-D4E4-461A-AA27-47139C917F5C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a6ab622409785d09288ae012b8fa142d7929c606","datavalue":{"value":"https://doi.org/10.1007/s10958-014-1831-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2253865$2E4DCA82-D0D3-4C24-B284-962BE0F74B22","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2aea045b6dbf9ded7de9b27548596529ca771194","datavalue":{"value":"W2031557554","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2253865$B76851EC-4326-44B2-9A22-A6D5E81FD58B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"340ea97c0f2f383d364057042ebc9f9438fcc85a","datavalue":{"value":{"entity-type":"item","numeric-id":4091421,"id":"Q4091421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253865$C2BC3370-0D89-4E7E-A925-D9AE34EA9F12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3df81d7639addfbb4775cf0a06dc51b6b20d943f","datavalue":{"value":{"entity-type":"item","numeric-id":3589273,"id":"Q3589273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253865$772A2671-70F8-4E4F-93CC-065164E6AAF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7086dea06f90ad187cd6ca8db29e29ebe9068d0","datavalue":{"value":{"entity-type":"item","numeric-id":4942157,"id":"Q4942157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2253865$66D676B0-EC03-4F9F-80AF-F94C43752FD5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1f1a1bfdc467640f3f98c536a2bf62c1f4101a4e","datavalue":{"value":"10.1007/S10958-014-1831-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2253865$0221C327-8A0B-4FE9-9B3C-ABBD07B73A63","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d14a1ad3832c6aa45fbe86ea2ff94ca3a5ab8a2a","datavalue":{"value":{"entity-type":"item","numeric-id":3835449,"id":"Q3835449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f563dd49d46f87bb1c28c85c431eb8f277b18f89","datavalue":{"value":{"amount":"+0.6887154579162598","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":"Q2253865$847D5BC2-EE50-4833-8245-441B0D41A11A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"755cd4dc168e7494bae296cdd803d6793345d5f0","datavalue":{"value":{"entity-type":"item","numeric-id":4517359,"id":"Q4517359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e8864daa8f6bb7ff2268fce70ebe56d34efd757","datavalue":{"value":{"amount":"+0.6677770614624023","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":"Q2253865$C977E92D-C549-46D2-8235-BCD1DC075497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0980915dd79685397a9f9f9dd7ec9d7c04b9e9df","datavalue":{"value":{"entity-type":"item","numeric-id":5214780,"id":"Q5214780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbde0480fd47bbca5c49cd17a39044baa74d2118","datavalue":{"value":{"amount":"+0.6663214564323425","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":"Q2253865$90789782-6DC7-458E-92B0-F1A7FACC2DEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cc305899532778e84bc1624fb79491ed8528098","datavalue":{"value":{"entity-type":"item","numeric-id":3759938,"id":"Q3759938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fa69416138435b330543a959c98825f7a8ef634","datavalue":{"value":{"amount":"+0.660449206829071","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":"Q2253865$FF7E7105-9851-4BFC-BBD4-1847B9C4E9E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbcb52857660b04f4405b23462d83b8d62c6002f","datavalue":{"value":{"entity-type":"item","numeric-id":3202957,"id":"Q3202957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"103cbd51e9c6170bb1fca53f0fa5208fee3ad764","datavalue":{"value":{"amount":"+0.659085214138031","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":"Q2253865$9308A8D5-B1DA-4BCA-BFF8-7DD44EC6D53B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Polynomial upper bounds on the size of changes of a RAM+BOOL program as a tool for proving belonging to FP","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Polynomial_upper_bounds_on_the_size_of_changes_of_a_RAM%2BBOOL_program_as_a_tool_for_proving_belonging_to_FP"}}}}}