{"entities":{"Q4632437":{"pageid":6662018,"ns":120,"title":"Item:Q4632437","lastrevid":82167815,"modified":"2026-05-06T20:15:54Z","type":"item","id":"Q4632437","labels":{"en":{"language":"en","value":"Reasoning about programs by exploiting the environment"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7048685"}},"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":"Q4632437$7D54325A-D31C-4371-A2C3-3A0B6519FAF9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e86e5056b01b04286f9ca739c99805405512a7c6","datavalue":{"value":{"text":"Reasoning about programs by exploiting the environment","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4632437$BE99BC72-B8F4-4F0F-BEC8-71650B9212E9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e81603d79616b6e24d9b4b8acb5496e992ec5f2f","datavalue":{"value":"1418.68054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632437$9C912130-BEF2-4678-B261-BCD6A583604B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"114fdd066393cdf56bdc8766c7fef62cec474c37","datavalue":{"value":"10.1007/3-540-58201-0_79","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632437$26F9EE73-6207-47EB-8F01-11C1C6A0A4C9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d92818e59c1c1e061569f357623fe5f5b2fd830","datavalue":{"value":{"entity-type":"item","numeric-id":1274451,"id":"Q1274451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632437$7DC716A8-C2B8-4DDC-9120-2DBDD67109FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d2194a72287987c2fdd62e01e933a3ba2db5d50","datavalue":{"value":{"entity-type":"item","numeric-id":431789,"id":"Q431789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632437$68BD41AC-816B-4F39-BC86-4D5243A7E3E9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b35206703f13d65f73634741bdd21f6ff4941d38","datavalue":{"value":{"entity-type":"item","numeric-id":3012786,"id":"Q3012786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632437$E6EA1F6C-761B-435A-8052-314E5D94BB19","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c886460d86f543351b8f7fb5093933ac0a350b03","datavalue":{"value":{"time":"+2019-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4632437$9DC1DE49-D15B-4AD7-AB32-DE0156E72D79","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e08c071b6fd795c6d0fc604f04533bb5f01d2633","datavalue":{"value":"https://hdl.handle.net/1813/6191","type":"string"},"datatype":"url"},"type":"statement","id":"Q4632437$D0E86D3F-1DAC-4A72-89D3-584B4621F4A4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632437$AE2CD04D-E6C2-4AB6-A74E-8B38704E5141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632437$5A033F7B-72F1-4EDF-9365-32181E9EC292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632437$1AF67DB7-0821-4216-8E1F-4D3E6AD4C1C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bce369ffed9b02cb9f89dd59de22b7536c556757","datavalue":{"value":"7048685","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632437$49639D22-A8A9-4387-B4F5-F3AE4FC6AD53","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b39bcd33ba55d4227ecae1456f6e1430405ab2d","datavalue":{"value":"programming logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4632437$32090893-5D59-4F9F-AEBB-B6C0372BAF15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4632437$8268FE4F-40FE-4080-9DFB-2D79D75CBA75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940b0739632e21f0e6fb7821d4c99956c66a10e3","datavalue":{"value":"program reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4632437$35ACF581-CEB6-429A-836F-61592C8ADF81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0d152e6a9af6c905fdfdb33f1c35fcddd9b7faa","datavalue":{"value":"deductive system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4632437$86C84BE8-B317-48FA-A3B9-31086903745A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68ca9e8f6f85db0c4e16d1f128b57f213192f250","datavalue":{"value":"safety property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4632437$19219A1B-D10D-436D-982A-849AE8BA82D8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"17cfe6afe68a54e81dc559ef2cd5a702765207b0","datavalue":{"value":{"entity-type":"item","numeric-id":25375,"id":"Q25375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632437$BAD2749E-BB81-439D-8318-7C905D80F6B3","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":"Q4632437$388975EF-3781-4728-A6ED-88227A0EFF59","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7249c8b8497932f6f2334b4b8b43e4a29872fb7e","datavalue":{"value":"W1480998494","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4632437$088675DE-6C0D-4870-80E6-9FC93F904EC3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"090e4b104dd3f76f7e7cbd674cb41b2227a87ff1","datavalue":{"value":{"entity-type":"item","numeric-id":4692502,"id":"Q4692502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632437$7BA257C4-2369-4C16-92C8-41DD373F3D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0967f07b57addb157d54cc7fba4da18bf91f4125","datavalue":{"value":{"entity-type":"item","numeric-id":3204034,"id":"Q3204034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632437$BA390F73-A02E-46CD-9DEE-D5292E4A33B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"062a9bd4fe13e5ea8018ad451d4c2f0edf9de514","datavalue":{"value":{"entity-type":"item","numeric-id":2265815,"id":"Q2265815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632437$3B55190B-9303-4310-A327-A9A0114D6CE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd56f820547becaf1640ba57e415b67b2dccf11","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632437$6C90E035-B259-4D54-9ED8-CF8DF806A2D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25d9ef261fc18ba84588ec8d15ac609a853b4f07","datavalue":{"value":{"entity-type":"item","numeric-id":1331925,"id":"Q1331925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632437$34BE95D3-9F75-4703-A8A8-27D688E3E265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6eb16d50f3b3bad036c51166d363492abe95fcee","datavalue":{"value":{"entity-type":"item","numeric-id":4632437,"id":"Q4632437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632437$C03223AF-E86F-4CB6-81AB-C301AAB1F1A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632437$A28426FD-3238-4F4A-944B-5EF7473FA76C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e3a418fbaddcafed1884dac6bf4b839b94ad4db","datavalue":{"value":{"entity-type":"item","numeric-id":754637,"id":"Q754637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632437$9C06E974-8B10-43C9-9F03-0309838542DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b68d01684c688b76f9852f57744d277bca068de","datavalue":{"value":{"entity-type":"item","numeric-id":3321433,"id":"Q3321433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632437$40F7D58A-4C22-41E0-B302-FEE729A7CA13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9844215b93c47b6d74e4c3ce2ebb74b26adfabdd","datavalue":{"value":{"entity-type":"item","numeric-id":1904642,"id":"Q1904642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632437$A9A77FAB-131F-4347-8F53-F93E60E64579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f054886a6e90b7a5fdd4eccb1b577adf5746aec3","datavalue":{"value":{"entity-type":"item","numeric-id":4733399,"id":"Q4733399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632437$5D9F6BB4-E5D3-4C42-8213-417276E7CEDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ccc368591937b0e93f76ce0ee9913a83d02dd0c","datavalue":{"value":{"entity-type":"item","numeric-id":3922150,"id":"Q3922150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632437$39373A05-C3BD-40FB-9B79-218C97E5E196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"796364eeefb9789a01eab3a144d0337d6c23ee01","datavalue":{"value":{"entity-type":"item","numeric-id":1219675,"id":"Q1219675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632437$19F80A7B-1C5D-4E24-AE1D-6DA40A891C51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aff9a0e3f0f2bb5379481e2506c1ed09265b0350","datavalue":{"value":{"entity-type":"item","numeric-id":3700812,"id":"Q3700812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632437$522E9A24-E6F8-4E07-8D27-8CB6C0BF54B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"064dfd0aa126ad0ce16fd48678e60f8eecbb6c11","datavalue":{"value":{"entity-type":"item","numeric-id":4348472,"id":"Q4348472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632437$9F6709BB-09F9-4519-A3CA-68CF01ED1727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58210b721d117aac58a156c767207930470ab37d","datavalue":{"value":{"entity-type":"item","numeric-id":5375450,"id":"Q5375450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4632437$EE74A0C6-D6A1-4E71-89E8-0912F4B5F410","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea2ad617f08716af7c009ec59ea370cd5d56cb88","datavalue":{"value":{"entity-type":"item","numeric-id":5215818,"id":"Q5215818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45704fa3dae80a0d7953405018cd59ee4656b26f","datavalue":{"value":{"amount":"+0.7253825664520264","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":"Q4632437$F068D0D6-9D43-45DA-ADF4-FDB9A32ADA29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12e5f41365c5d9b350f6af69bb3a8ef9e0cc0b6b","datavalue":{"value":{"entity-type":"item","numeric-id":3569039,"id":"Q3569039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f6a60b98966af51cede1c2e3f65e26cd7466d9d","datavalue":{"value":{"amount":"+0.6912219524383545","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":"Q4632437$F1C75DF4-ACE1-4296-B2F6-A2469DC3C91D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77099894e6a2a274fa50a6addbdb019b2607c432","datavalue":{"value":{"entity-type":"item","numeric-id":2761739,"id":"Q2761739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"733b79adddd9a8bd881acde8d56629d8e1b3390b","datavalue":{"value":{"amount":"+0.688572347164154","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":"Q4632437$00B12687-14EF-4B8B-8942-49480E6DDEE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"580d88c695e564f75837432b6f488bd75e374497","datavalue":{"value":{"entity-type":"item","numeric-id":3321433,"id":"Q3321433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abbd331921c7ef334d5674ab0f0a98efe008ce0a","datavalue":{"value":{"amount":"+0.6885016560554504","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":"Q4632437$CA5F148A-EA98-4EDA-8D7E-D5712AC6305C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf68f542a942a2b2330ea5a9deb99ac829ccd337","datavalue":{"value":{"entity-type":"item","numeric-id":5277712,"id":"Q5277712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b3efb0a41bde7944f0ce96f6f016558e723f3d7","datavalue":{"value":{"amount":"+0.687354564666748","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":"Q4632437$3BB76363-996B-43C1-B72A-D9A197C62EB1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reasoning about programs by exploiting the environment","badges":[]}}}}}