{"entities":{"Q6536291":{"pageid":14147434,"ns":120,"title":"Item:Q6536291","lastrevid":55636780,"modified":"2026-02-17T20:08:06Z","type":"item","id":"Q6536291","labels":{"en":{"language":"en","value":"Verifying numerical programs via iterative abstract testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7834943"}},"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":"Q6536291$7213075B-9EF9-4D40-9FB2-4999ED1EE3D7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3e66a726a4b8b189f1b42a79da1f52c57b01fdd8","datavalue":{"value":{"text":"Verifying numerical programs via iterative abstract testing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6536291$2C468154-B089-42C9-90B5-ABC2EF1EBC05","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"84d7a130024e86a53daace0fc94bf044498f89ac","datavalue":{"value":"1539.68187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536291$EFF87F2F-F8AB-471C-B45D-0D5EA64FD9D4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a57c6e30d2ea35ad723b12ce8476738b4830e1f6","datavalue":{"value":"10.1007/978-3-030-32304-2_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536291$477D2622-D1C9-4D4F-A924-1D9F28F53027","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ada7ee2224ac34268255043f13d32a440cf6711e","datavalue":{"value":{"entity-type":"item","numeric-id":6536290,"id":"Q6536290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536291$608B9247-59E4-4310-BF76-260B8D113DEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"15042877c5e33a19551e4b2dfc140da24b7c9013","datavalue":{"value":{"entity-type":"item","numeric-id":281289,"id":"Q281289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536291$05B2C48E-939B-48EA-9155-BF9A531B9C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d22217eb3fd8dab80f2bcba244ab17e155bd1e1","datavalue":{"value":{"entity-type":"item","numeric-id":681350,"id":"Q681350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536291$319D759F-F76B-4DEB-B7ED-953FC752E20D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a987699fd23888733c3cf6186ec5b68180cd27f8","datavalue":{"value":{"entity-type":"item","numeric-id":281290,"id":"Q281290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536291$EED0F2AC-7264-4DDF-8107-02444CEBDFB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"66475c89deaa1b82e2a733011ec9769bb2327168","datavalue":{"value":{"entity-type":"item","numeric-id":655408,"id":"Q655408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536291$FF2B644D-07EB-4588-A892-884B4E22635A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ea6e0d286aec87d7de2b77268af916e9034fb87d","datavalue":{"value":{"time":"+2024-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6536291$D3970890-4F88-4D98-8E06-D18A59A422D3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536291$B39F379D-C338-4616-BB9E-BC95C03322C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536291$9277E557-9ECB-4E19-A93A-525C52A1E892","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"815c51e0cbe84d2efa19275ab5a0fa0e2860ab0d","datavalue":{"value":"7834943","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536291$CA717981-2B27-4A2F-A7DC-31B40DF47C3C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6536291$C69DF7A4-BE16-4318-A934-270A302A41F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6536291$74EC7FA0-3C58-4A46-BB75-8DF5526C4659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5996e10b97903036c35668ead7785a4bb0f35ddc","datavalue":{"value":"abstract testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q6536291$9D529F39-3284-430D-B08D-FA48AAAA9D51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cecf27a8d1f56efd4dba3a6fc47aa88120380f7","datavalue":{"value":"input space partitioning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6536291$D24BCB1F-697B-4DF9-ABD4-125F18C4874B","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":"Q6536291$4A8E67C5-BF6F-4869-8DDE-1DFFFF575F01","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b026130fb14abb6ec25af9a49779c945ecc8f0fd","datavalue":{"value":{"entity-type":"item","numeric-id":3452508,"id":"Q3452508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536291$B65C86A8-1238-4C16-804D-2D1098A7AA9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed027bd076300e675c3d1990f6520878435d91b6","datavalue":{"value":{"entity-type":"item","numeric-id":4804884,"id":"Q4804884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536291$C21AE1AF-8A8B-454D-837A-4AB0EEE67C53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1588643b46bb7595ed7eb54aa874b8401b35090e","datavalue":{"value":{"entity-type":"item","numeric-id":4729316,"id":"Q4729316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536291$5EE5B64A-28CD-423E-9A0F-4F0FF9C7A853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58b29f5c346bf5a24701d5c41a17898f8ee49261","datavalue":{"value":{"entity-type":"item","numeric-id":5458344,"id":"Q5458344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536291$D6C16E10-0BB0-422C-9E1D-9543FD820013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b9dc093817b6f13a523112475b3cc8ab5f06535","datavalue":{"value":{"entity-type":"item","numeric-id":2576575,"id":"Q2576575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536291$ABC4A910-9652-4A86-ACDC-7A9204948012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a11c054d3df6fbeeeaa015764a3da98992fc5f6","datavalue":{"value":{"entity-type":"item","numeric-id":1424999,"id":"Q1424999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536291$9DC96774-8E74-4BFB-A82A-86B371ECD4BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755b27fba20adb4b1be28577604256256716180d","datavalue":{"value":{"entity-type":"item","numeric-id":5316570,"id":"Q5316570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536291$10F484D7-252A-4F61-AB41-EE1E35E96741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e61caeb9ccf34c77ec2a456b135b01b408ce9535","datavalue":{"value":{"entity-type":"item","numeric-id":853733,"id":"Q853733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536291$E1CD8FAC-631E-4E31-B79A-09BABEBFD05E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5e1d7ac7f349d5b86be2d03d5e871137657e28d","datavalue":{"value":{"entity-type":"item","numeric-id":4738390,"id":"Q4738390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536291$17E314EE-24C1-438C-A34F-CA8F4DD938DB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bed03ff244bd448296e984cc4bf4f360cb72a649","datavalue":{"value":{"entity-type":"item","numeric-id":4414376,"id":"Q4414376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"464b19f6f1ce04f520b298a891fe49bb935c119a","datavalue":{"value":{"amount":"+0.7331053018569946","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":"Q6536291$2C439D54-2BCE-420D-BEC7-DDCE4E2FF54C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a76b3577a7618bb02f9806580f51d2b7da93b94","datavalue":{"value":{"entity-type":"item","numeric-id":5900551,"id":"Q5900551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7c47e7d2c64738b45d9b25b9af99dc19778c3bd","datavalue":{"value":{"amount":"+0.7223296165466309","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":"Q6536291$CBAF2092-6317-471B-B6F2-DBEEB6CE73C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c09c618116ffba129ce2245f8a3b3753edcf1797","datavalue":{"value":{"entity-type":"item","numeric-id":5305644,"id":"Q5305644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56560d9731bfc7181c81ef77ff4fb2d1c09efbbf","datavalue":{"value":{"amount":"+0.7096565365791321","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":"Q6536291$CBA82092-831B-4759-A4AA-B7E4008894C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bd71d433d357833a1ab35135bc0074a796311f9","datavalue":{"value":{"entity-type":"item","numeric-id":4414373,"id":"Q4414373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcb74b15358332a6ca8e9a1a77e79bef2e35b931","datavalue":{"value":{"amount":"+0.6989434361457825","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":"Q6536291$6A645B76-2B5E-4BF2-A4C4-AE65B84E23B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8e7b8d33e7ec5767ce8ecc4f52ba21e81256ab9","datavalue":{"value":{"entity-type":"item","numeric-id":5424313,"id":"Q5424313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2df987fcf4750781b80b03db9ae145a404ebcd58","datavalue":{"value":{"amount":"+0.6945793032646179","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":"Q6536291$E5361B4F-D427-4CFF-BFAA-53F619F80082","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6536291","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6536291"}}}}}