{"entities":{"Q5505562":{"pageid":7535122,"ns":120,"title":"Item:Q5505562","lastrevid":101381891,"modified":"2026-06-06T01:07:21Z","type":"item","id":"Q5505562","labels":{"en":{"language":"en","value":"On Bounded Reachability of Programs with Set Comprehensions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5498350"}},"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":"Q5505562$2661560B-8041-4608-ADC8-AC6ED0A37A86","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d965ac3dada3b7bb40359e74751c20e4b6a0039f","datavalue":{"value":{"text":"On Bounded Reachability of Programs with Set Comprehensions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5505562$F8AC72A4-A70E-43D1-8E92-4D9BE27C971B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"95bd70b2c3e1d9730f5352b8ad8bf7d9a45a3163","datavalue":{"value":"1182.68048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505562$748E41C4-FE07-4689-82E5-ADBE32A3F8D2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8f650e8147e13a89ec4727c04c43489de8aaaa71","datavalue":{"value":"10.1007/978-3-540-89439-1_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505562$ADEEC797-8666-45EC-A75D-7345AF9D72F6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"798125e2bf84cd3371872ac90f65bc577c3ec746","datavalue":{"value":{"entity-type":"item","numeric-id":286961,"id":"Q286961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505562$520015D2-824F-4A60-98EA-B715CC478842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5de519018acf0d952865d085d6e9c2ccdf1b2d19","datavalue":{"value":{"entity-type":"item","numeric-id":843218,"id":"Q843218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505562$4C118A2E-4C1E-4E25-AD9C-DB9E5C11C494","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505562$AEC952CA-D817-43D0-9CCC-A1EC7210B18E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51e6c39ac6ec91b8381a06fe1e16cf5aca0f2bdc","datavalue":{"value":{"time":"+2009-01-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5505562$F4AB1C0F-7B5A-4FEE-86F9-74AECE510193","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505562$63111A8D-1818-4C22-995A-4172097282A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505562$D361EF3F-BBD2-46E4-8E3C-B1F2470F34F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505562$F6877790-2ECD-43E2-B4A0-49C65D6BDD0F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f975dd117a91a4762fb1f1af84da9c4be65b289f","datavalue":{"value":"5498350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505562$57D389AE-97F8-4E11-A318-913BE7FAAAC3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ea1fa890b2f09c8cd0bccb17957cf46696afec2a","datavalue":{"value":{"entity-type":"item","numeric-id":19731,"id":"Q19731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505562$5B584CB2-940F-450F-95A5-3FCA36CEE098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505562$1C027BEE-9E1E-44F4-9473-3D3D0C85760C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ecc86304e6e0168c486b1953bbd2cdad4880fb4c","datavalue":{"value":{"entity-type":"item","numeric-id":23309,"id":"Q23309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505562$E582A283-E884-417B-B8B4-473E098ACC85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d341dfd1ee7d2df4b6530bcf9f920e4897916f65","datavalue":{"value":{"entity-type":"item","numeric-id":23310,"id":"Q23310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505562$FE6B0D21-2BBA-43F8-A545-A5B37DA73B57","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":"Q5505562$F09AB63F-4E77-47E8-B0E5-ECED3E4A5599","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5bf31983749ed2d49b92177d0d4b8f0563786582","datavalue":{"value":"https://doi.org/10.1007/978-3-540-89439-1_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q5505562$F8BB0A78-496C-4EA9-96F7-B73EAF325B7F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cb8becc404e5e5c7bc07a03b764eaa2fd2f37da0","datavalue":{"value":"W2146072020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505562$EF7FA87B-D513-4BC1-AD81-17825B50F51B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a443caa83c8def60aac59570ff10d3fd9493b957","datavalue":{"value":{"entity-type":"item","numeric-id":5757242,"id":"Q5757242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a066c67bf3d97aef03826f04d93530b8d5e1781e","datavalue":{"value":{"amount":"+0.7369893193244934","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":"Q5505562$AD4333CA-A49B-4134-89EE-CCF524636991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96ca03cb4a4f589f9e94b12c02030a9dfaac9a41","datavalue":{"value":{"entity-type":"item","numeric-id":3460067,"id":"Q3460067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"252b632b78e63c0699badca06127cafe24842138","datavalue":{"value":{"amount":"+0.7273642420768738","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":"Q5505562$57E0B312-0B3C-44A2-A4A7-8BC1A9C419CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"107c509c827589280206681f81dfd6a2a3d078a8","datavalue":{"value":{"entity-type":"item","numeric-id":5168511,"id":"Q5168511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ac213c6708f56fe7ce50f029b519471f7a82569","datavalue":{"value":{"amount":"+0.7264783978462219","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":"Q5505562$056BD71C-ECB7-4A9B-BF34-E06C1A555F5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52924802f5bf2c90a9e458541a73a68e0936f91a","datavalue":{"value":{"entity-type":"item","numeric-id":4921500,"id":"Q4921500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f6b17c050a3983c5c00ce57eb60f50d60bed177","datavalue":{"value":{"amount":"+0.7218257784843445","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":"Q5505562$4B2E78FC-9DB4-4DB1-8377-E6B4B9512574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"826b87e6f46dd083f1192a1b98c6ff08426c5025","datavalue":{"value":{"entity-type":"item","numeric-id":5348872,"id":"Q5348872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0bf653dcc29fd780d6ed3d298277512bd2e9151","datavalue":{"value":{"amount":"+0.7208899259567261","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":"Q5505562$63C06466-4D4A-40A3-81AF-1719F652525B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On Bounded Reachability of Programs with Set Comprehensions","badges":[]}}}}}