{"entities":{"Q1190850":{"pageid":1201599,"ns":120,"title":"Item:Q1190850","lastrevid":46265158,"modified":"2025-12-24T10:45:55Z","type":"item","id":"Q1190850","labels":{"en":{"language":"en","value":"Heuristics for constructing while loops"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 58560"}},"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":"Q1190850$9BEFE582-4899-4FA7-B239-60FCAFD05884","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cd34d5aae007c63a8a02144f808cc3b1e21815bc","datavalue":{"value":{"text":"Heuristics for constructing while loops","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1190850$9C029C34-897B-4976-80A6-A06CDEB00F66","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"869c69eb546966e8e2222afea6694df14e37bb8e","datavalue":{"value":"0745.68076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1190850$BF2DEE88-8D89-43ED-8FD7-94D06827C896","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0bb1c7709953d7885cc74fa0e8f75248cf2781f3","datavalue":{"value":"10.1016/0167-6423(92)90034-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1190850$53062451-AB66-4C1E-B54E-0C7C2910AF89","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa40233ac3d99cc7af80112f7d5356ddb7e1c24c","datavalue":{"value":{"entity-type":"item","numeric-id":1077918,"id":"Q1077918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190850$8D1A3A57-5294-43AD-B981-38EB8DDB2C2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddc91625cf26d9f38636af1785664b029e077bed","datavalue":{"value":{"entity-type":"item","numeric-id":797984,"id":"Q797984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190850$94DA8DFE-EBBA-4F32-ABA8-3AA7C782946A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190850$DC040CE9-81C5-4B8D-925E-155CDEFE0333","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-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":"Q1190850$DF78BB15-821B-4F7F-9282-DACA9872ACFF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1190850$2FCC7FD7-FD47-4FF5-B932-D833C7BF96B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1190850$8F026885-344C-477F-8E77-CF9069809E8E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9aaf2dbad1f1e9fd3ccb03b2423e4a27553b2a2f","datavalue":{"value":"58560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1190850$01CF2424-2C16-4669-8580-992A29F36558","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"576dd3f01b42d41563f5a6990bb485bcd53b2008","datavalue":{"value":"program construction by relational manipulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1190850$1D78B0B9-C2E2-41AF-90FF-A5BF01A00036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06a48fe4c8e76bb5dea126f892334a150d0fdecf","datavalue":{"value":"construction of programs from specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q1190850$EB93994E-4469-41FC-BB9E-3B36F473FCF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2b746efc66121bc1fb497da4ab39b83b5cd2f4c","datavalue":{"value":"program correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1190850$A0E3478F-1F60-4A45-A14C-5D8D2259EE9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9f2f6bfabd86149b2bc8a13dc24dcc6a98da6bc","datavalue":{"value":"stepwise construction of iterative programs from specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q1190850$60331631-B68E-468C-9077-37EA48A41AED","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":"Q1190850$353D716B-2435-4CB4-ABB4-FE380BA3779D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9a70c00c7ca6d84d61959db2e002c278cee534c4","datavalue":{"value":"https://doi.org/10.1016/0167-6423(92)90034-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1190850$5B066B4C-419A-4C2E-BDEA-8643233BF7A0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"23688236a29d8fae6a9cef0eee42b054a7810db9","datavalue":{"value":"W2061116944","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1190850$98716744-1D3E-4A5A-B5AF-FD5E158F3FBB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b240ab2720e4b415608f282418040bd96af4c696","datavalue":{"value":{"entity-type":"item","numeric-id":3651520,"id":"Q3651520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78556e4a08977cde2983e53fe6e87c5ca20626da","datavalue":{"value":{"amount":"+0.7186307907104492","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":"Q1190850$61AC405C-4206-42E3-941A-F66E2EBBCCA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19e9309691e6dae97032b2f3ec7c3e38decde3b7","datavalue":{"value":{"entity-type":"item","numeric-id":4727399,"id":"Q4727399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e862f0bfd7caebb4844dd6e96f0368ecf8657382","datavalue":{"value":{"amount":"+0.7141909599304199","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":"Q1190850$45242D36-D509-4A43-A3C7-19312455B333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce77d607fa2d8c09d0cd8ea7f8f0ea8927bcfe18","datavalue":{"value":{"entity-type":"item","numeric-id":3314955,"id":"Q3314955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc2c3e43f213e048f2d1f23e2f08782a7cd23181","datavalue":{"value":{"amount":"+0.7011748552322388","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":"Q1190850$196D1174-CCC5-44CA-B1F4-4142C0C27792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b4fcb683569b350c0df669ee54f810f2b4569f2","datavalue":{"value":{"entity-type":"item","numeric-id":3768365,"id":"Q3768365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d06275e57c8b279c8c99987a5da866f80dacd59e","datavalue":{"value":{"amount":"+0.7003199458122253","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":"Q1190850$59DECE00-984E-4601-A2D6-12FC93CA1489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"badee6ceaae74a274aa78e0b4b29233ff08bb367","datavalue":{"value":{"entity-type":"item","numeric-id":761788,"id":"Q761788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a39906ff3a03e744325916a9980779e37a4da1d","datavalue":{"value":{"amount":"+0.6982656717300415","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":"Q1190850$EC2592C2-6C1D-4DA8-BB90-1F266CBF10CB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1190850","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1190850"}}}}}