{"entities":{"Q2234080":{"pageid":2244823,"ns":120,"title":"Item:Q2234080","lastrevid":71633979,"modified":"2026-04-13T23:32:48Z","type":"item","id":"Q2234080","labels":{"en":{"language":"en","value":"Unbounded procedure summaries from bounded environments"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7410644"}},"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":"Q2234080$64F15573-5FF6-44E9-8D9E-F1BBA7B3865C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3843173767b41110a0c202d16afd27836951eb08","datavalue":{"value":{"text":"Unbounded procedure summaries from bounded environments","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2234080$8F473DE0-C446-4848-803F-99B73DA84685","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0ca35137051ce6696cfe4d2786023262d731fd46","datavalue":{"value":"1472.68093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234080$134766E3-2B2E-4ED4-B6F6-0AB3BF0D53E3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f3d014ca1116fce5c41a349f5d3eecd6766fa4ac","datavalue":{"value":"10.1007/978-3-030-67067-2_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234080$2882D5CA-E413-4464-961B-C760FD1B9F0D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"49cfe497a0f5be97e04c6a3dbc2928d918c98a39","datavalue":{"value":{"entity-type":"item","numeric-id":2234079,"id":"Q2234079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234080$080550D1-9ED7-4A67-8003-AA7F8D5D18B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"138e91d832e835b45e439ed8c45f97cc7963138e","datavalue":{"value":{"entity-type":"item","numeric-id":784130,"id":"Q784130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234080$63B8863A-FDAC-409F-A32C-BD0062820234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"267769ee025773c3257f441a0558f5f2a60f51b9","datavalue":{"value":{"entity-type":"item","numeric-id":432145,"id":"Q432145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234080$B1AD97BF-2789-4E6B-A5AF-48FA5341DD0E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"899d672926fe97cd87f3708d91dc74172e4f3b51","datavalue":{"value":{"time":"+2021-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2234080$EB3111D3-A3BF-4582-AD0E-2235E9B83AE0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234080$A3EE9372-33EB-4BB9-852C-0D29DE6030A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234080$FA263E6C-DB7C-4D04-9C03-8C93EE710CA4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"523afa5e3b2ab0db675fa4fbea92d66f8fee4b6d","datavalue":{"value":"7410644","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234080$3AD0FEAE-8130-49BB-91E9-E8FD0E737AF9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2234080$AB4C42C8-9761-4EE7-93AB-D62F21225364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"642fb89fab960669bf77c30a5366e85b7fb02243","datavalue":{"value":"modular verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2234080$DE677A67-4CB9-4EA4-933C-C49B3969F156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ca85324a9a55e27d61502c230eea084936acc3a","datavalue":{"value":"procedure summaries","type":"string"},"datatype":"string"},"type":"statement","id":"Q2234080$6E86E418-DC63-4DAF-B4C7-5FE76873E048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a15539ec7a1e7b301652c08a4a6e2bdd2be9d5e","datavalue":{"value":"bounded environments","type":"string"},"datatype":"string"},"type":"statement","id":"Q2234080$CD3F4DEB-E4AE-487F-B540-2884DC5145BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be9c7c4d693c016cd86be55c0a0b69048f28ed2d","datavalue":{"value":"CHC solvers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2234080$5EE99281-E7BA-4AE4-B8CA-30F7B7125926","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":"Q2234080$AE0BCAF0-B363-4F36-8C97-215EB608ADE8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fbfe424aace9bbd83db5185642003a89b741dc2c","datavalue":{"value":"https://doi.org/10.1007/978-3-030-67067-2_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q2234080$B39D5D66-101E-4881-B571-EE5A6550CB5E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"38db7636740d50e2757f596881ba38d22e5c6fe7","datavalue":{"value":"W3120731329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234080$D27389DC-2CAF-4A9D-A3E2-D84CABAF9A12","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"42b817619231fc1eac76232ebf12c798a2fab388","datavalue":{"value":{"entity-type":"item","numeric-id":2828322,"id":"Q2828322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234080$0B27AA5B-5499-4A82-BD50-6EB8729CC9A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f43d7854e50381630023e07192383000eb7eb63d","datavalue":{"value":{"entity-type":"item","numeric-id":5276138,"id":"Q5276138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234080$683A62C8-263C-471B-B96E-4B1BC1A36674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5557e309257b86628836399c6e159ec785039d0c","datavalue":{"value":{"entity-type":"item","numeric-id":5178894,"id":"Q5178894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234080$0F1A09D5-500E-41A3-A301-40CC67A7193B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba741c9f53c1dbc41e9c57b146f0a97a7ba661cf","datavalue":{"value":{"entity-type":"item","numeric-id":5222945,"id":"Q5222945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234080$093E66E8-EFF6-48D4-8B61-821F27E00CE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22fbdead51b7f0506fece1b77dbe9fd8703e32e8","datavalue":{"value":{"entity-type":"item","numeric-id":4553257,"id":"Q4553257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234080$2C6A5832-EFD4-41F6-8209-547CDC10A2A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a5f7ec14119349332290c2a3236ae73e2231fc2","datavalue":{"value":{"entity-type":"item","numeric-id":3176369,"id":"Q3176369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234080$5CC8038B-CFB3-4571-B019-17C6C5D0CF9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef9a85754f10c794d7ea794155cce4bd2f066956","datavalue":{"value":{"entity-type":"item","numeric-id":3075471,"id":"Q3075471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234080$E4CB410F-6A9F-422F-B6C2-921EA0777191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"229fdcdf833f89bed9b165165cd53a3183da7d4b","datavalue":{"value":{"entity-type":"item","numeric-id":6166141,"id":"Q6166141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234080$20F49F8B-7EEB-4392-BBEE-4AC764422145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234080$B643388D-A137-4553-8264-88F0839BBD7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0a1cfc1d9554fd0578fb57504fa04de62a62197","datavalue":{"value":{"entity-type":"item","numeric-id":4174789,"id":"Q4174789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234080$18B26A64-0B6E-4E19-A4A0-EE98B0D3C597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a169be9a17e29e5ed123c147edd3744ffeefd68b","datavalue":{"value":{"entity-type":"item","numeric-id":5016383,"id":"Q5016383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234080$ED702FDC-6C50-474B-B5CF-3769D6B394FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b54c82b0039a426f5c1ef7671ea1808efb82c22e","datavalue":{"value":{"entity-type":"item","numeric-id":3067530,"id":"Q3067530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234080$5487A77E-74B6-4B5F-931D-F51906207D61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c4cf2cc00850270a28614888dcd0fd49d3c89ac","datavalue":{"value":{"entity-type":"item","numeric-id":2225478,"id":"Q2225478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234080$671BC80B-D68A-4CE8-AAA0-5C5207385AE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"774e07bf0cdbe35003eaaf8e3d497ff9f1ce6b06","datavalue":{"value":{"entity-type":"item","numeric-id":6194577,"id":"Q6194577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234080$6D0D7A61-7157-4A08-BF9F-1263E8A1CA33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bd9b88bb298728fba36d6cb290ee95ccae0a7ca","datavalue":{"value":{"entity-type":"item","numeric-id":2763999,"id":"Q2763999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234080$8AB75A91-43FB-452F-A297-F516E295E76C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b022fe950928f92806f5b429d4f5a3164495555","datavalue":{"value":{"entity-type":"item","numeric-id":4791848,"id":"Q4791848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234080$C288FDDB-53A6-4572-A55F-EBA6EEE10512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec836a3fc271e588c302d19e3fc45042d720ac9c","datavalue":{"value":{"entity-type":"item","numeric-id":5255061,"id":"Q5255061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234080$4E09FEEA-8812-48A8-B265-786DCBFD8F82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acde43aadb68c83ae4d51574dcef8cc0958b2d7d","datavalue":{"value":{"entity-type":"item","numeric-id":3392921,"id":"Q3392921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234080$0E3C774A-1D74-4882-AADE-42CBB2A39FE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e29a9e63db651327a88d88e2cdc75e51e9cd4afb","datavalue":{"value":{"entity-type":"item","numeric-id":2843329,"id":"Q2843329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234080$8B135331-F943-4DEE-B20C-04B02CD6FC12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2b578970135ac014954b0ceee779e821faa38e4","datavalue":{"value":{"entity-type":"item","numeric-id":4792066,"id":"Q4792066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234080$48A16787-FA36-4926-869B-F39EC8EAD7D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1060c39f6c78c6c906f6922c72b026efa0999e0","datavalue":{"value":{"entity-type":"item","numeric-id":518396,"id":"Q518396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234080$519B55E6-7B59-40ED-B8BD-774073753D33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"348369ca3fccbe91226809a75cbf31afd7f3186d","datavalue":{"value":{"entity-type":"item","numeric-id":5900666,"id":"Q5900666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234080$EA5E0F0B-B781-485F-97E8-23AB885A584C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5216594ab26dc420117c0934281b2e8f583a7fe4","datavalue":{"value":{"entity-type":"item","numeric-id":4255591,"id":"Q4255591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234080$6FD48F39-4EB4-4608-A2F4-EDDDE5F2A8D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"891ac88f481cc39c642c216c12feab5165472a21","datavalue":{"value":{"entity-type":"item","numeric-id":2234080,"id":"Q2234080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234080$474C3588-D937-4B89-9784-D497A754B6CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d583c2af6114a325d3ba9d32333a59af45d2f625","datavalue":{"value":{"entity-type":"item","numeric-id":2164260,"id":"Q2164260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234080$612A93DA-6951-4C3D-A992-C197EC083803","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afc9c0d39676410ab16217d242b65bd29f04b93e","datavalue":{"value":{"entity-type":"item","numeric-id":2978543,"id":"Q2978543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5ebc0187ec651168f4c1515a026b746b8ca8ace","datavalue":{"value":{"amount":"+0.7632828950881958","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":"Q2234080$8B337C72-A746-4D50-BDA5-8EA477A79BC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72f2beb968a92a8234db0e3ae391703a42c99f5f","datavalue":{"value":{"entity-type":"item","numeric-id":518396,"id":"Q518396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f42cd53e5dd00a51a5aef09e5568d0179e987fb","datavalue":{"value":{"amount":"+0.7266179323196411","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":"Q2234080$D5ADCBB6-77FA-482F-8FC9-3BCA9CE7DFC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"288cf32e858436fc410024ed1cfdfde484c8d53d","datavalue":{"value":{"entity-type":"item","numeric-id":5756498,"id":"Q5756498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fdae49615b649cf9f7520134c24634768707c92","datavalue":{"value":{"amount":"+0.7253459692001343","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":"Q2234080$1242AA64-3C90-495E-9048-A7EA5C9D4B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"632ec0df6d73828d5ec403ae3e6c35a83d77a285","datavalue":{"value":{"entity-type":"item","numeric-id":4647514,"id":"Q4647514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f5aee74febe8f6729b8a210a451784fbd127892","datavalue":{"value":{"amount":"+0.7229364514350891","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":"Q2234080$A9F4B658-8238-4488-BBCD-7E6A0468CA6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"197b94e8c8a4abb81c66412ebb65fad8a1ef627e","datavalue":{"value":{"entity-type":"item","numeric-id":5316586,"id":"Q5316586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cdd7b40e2fafd85397ffe366c420615f89fa62f","datavalue":{"value":{"amount":"+0.7197415232658386","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":"Q2234080$000CB106-66C7-4E31-9068-56055BADE0EE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Unbounded procedure summaries from bounded environments","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Unbounded_procedure_summaries_from_bounded_environments"}}}}}