{"entities":{"Q2628303":{"pageid":2639046,"ns":120,"title":"Item:Q2628303","lastrevid":52819883,"modified":"2026-01-23T14:02:05Z","type":"item","id":"Q2628303","labels":{"en":{"language":"en","value":"Assumption propagation through annotated programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6725121"}},"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":"Q2628303$67B639A9-8D7D-40A2-B7C3-52EF8762C443","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5f4147c19a574365305bde56364a2b0969a1fcb6","datavalue":{"value":{"text":"Assumption propagation through annotated programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2628303$811EE7E2-35C1-4E7D-8F7F-BB2785D290FB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c551382a6b645a92e084841c2010356aeb359deb","datavalue":{"value":"1362.68043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2628303$E288F3DD-7E81-4FF0-AB71-F22AEF2CF60C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ea94ab94fbe8e5d524056fac890d9676fc8ef43","datavalue":{"value":{"entity-type":"item","numeric-id":2628301,"id":"Q2628301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628303$1D24A3C2-DD8A-438D-885D-2107726211DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d80ec0ef345fb92dfff3c06c2aea09723ddeb4d9","datavalue":{"value":{"entity-type":"item","numeric-id":1426214,"id":"Q1426214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628303$2BEDC3A5-9C22-4760-949F-8ED9C9A5657F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628303$C93D23C5-BF9E-47F2-AF67-8199608842C3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f05e55fe774ba785804e371d0af378710b362012","datavalue":{"value":{"time":"+2017-06-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2628303$D10F5706-14C0-4162-BA54-1C1AB6F9FD69","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2628303$937A20F8-802B-4289-9378-E51A88FB133B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"68c2628c96540df5a924bbc3953e702a74fc4062","datavalue":{"value":"6725121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2628303$55A42F26-AA11-4136-ADA8-6DFFFD8D0815","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54ed60a624b15df53ac42e7211e7b1f692c12108","datavalue":{"value":"assumption propagation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2628303$10519236-C223-4430-B45E-178CC8F1723B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2f1c8ec2b3c7f93e98f1ae136ab7d81e2da0e50","datavalue":{"value":"annotated programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2628303$A50C8274-3B41-4912-95BD-4AF47E580CC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f39fd012936264613c1ff43b1087c485b2ab35e3","datavalue":{"value":"program derivation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2628303$A495BF36-279C-40DD-AE69-F9FD3006B856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"438da0297bab887eba604fdec99c27aab9216d5f","datavalue":{"value":"correct-by-construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2628303$F401CE35-0F82-4CC8-8713-164B9378B790","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"602b32d79a3dd12c7713e80fb0597b8ab4375f08","datavalue":{"value":{"entity-type":"item","numeric-id":16614,"id":"Q16614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628303$2A296870-0F08-4ADD-A620-ACC208722D64","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":"Q2628303$5BE74493-E29B-4A06-95FD-481DC77487A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"31f1ce98b178abd797205654762ca461950434bc","datavalue":{"value":{"entity-type":"item","numeric-id":21688,"id":"Q21688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628303$1561F7B5-26FF-474A-9B60-3477E9A1C73A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6d1b503d7c8f19634e207574177819c306621855","datavalue":{"value":{"entity-type":"item","numeric-id":17038,"id":"Q17038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628303$8C2A7B5C-8CB8-484E-9FCB-16555A5325B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c962fd76881301afbd42f71c2f8da010324f80d7","datavalue":{"value":{"entity-type":"item","numeric-id":12910,"id":"Q12910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628303$18FA2033-3613-4E59-A627-1E550831F6E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c6f90a2f4d38316e0bb5a27c4b90cf6cce495aa0","datavalue":{"value":{"entity-type":"item","numeric-id":16295,"id":"Q16295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628303$1CD8419B-D0E0-4EB2-BD9B-6EEC2978D751","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":"Q2628303$250F86FD-E8DF-494F-871B-716B24C28378","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0dfef768c96ba9fcf58882b74e92e8f5108c23a8","datavalue":{"value":"https://doi.org/10.1007/s00165-016-0395-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q2628303$B9C1448D-BF95-4EE0-AEFA-1F9CC5948774","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"506444e6cb5da3542ddb4ac00c754d66d4b65cb5","datavalue":{"value":"W2540613508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2628303$75291B69-B95F-4037-B5D1-34F798FC1775","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cf1a15d8c40ee6ae10f43a602449a6c651ef479","datavalue":{"value":{"entity-type":"item","numeric-id":3618815,"id":"Q3618815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628303$836C8F5F-6774-46B1-951E-08B4EF4670EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1265d63b4599a3fae507d9b15943296bbefa977b","datavalue":{"value":{"entity-type":"item","numeric-id":4066568,"id":"Q4066568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628303$E1D00E05-D6EA-4B60-AB55-1EDD65026960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79e807f14dcd5f9ad4f6bbeb1f8ea3c4bbb7d6d4","datavalue":{"value":{"entity-type":"item","numeric-id":4396958,"id":"Q4396958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628303$BA21E2FC-41A4-48E6-9B5C-79DB3D02AF42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"510f066f5347aaa5693d99e5837d7900f76179ef","datavalue":{"value":{"entity-type":"item","numeric-id":5743597,"id":"Q5743597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628303$7FC5E0DA-67DF-4AEF-829E-CECBFE7E79A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4d477cb1d0b0bee82fdac2c311a16209970b537","datavalue":{"value":{"entity-type":"item","numeric-id":1272759,"id":"Q1272759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628303$FEA45462-8C29-477D-A201-59920B5AD2AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c0a2f0a8723a693dd30a6b38899a6eeaf6ed6bc","datavalue":{"value":{"entity-type":"item","numeric-id":3999301,"id":"Q3999301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628303$654DD89F-FC5E-4B54-BEFE-3AE7AD6CB48F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628303$9ACCF919-85E5-4EAB-A6B6-B48F43627F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd265bdbcf41f2b9982b655d7aaf44e4072217fa","datavalue":{"value":{"entity-type":"item","numeric-id":4692630,"id":"Q4692630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628303$7F7F133F-8D2D-4A0D-9769-29ADFD585A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8f6d658032331dfb0270d5e1966446426f3c01f","datavalue":{"value":{"entity-type":"item","numeric-id":5326280,"id":"Q5326280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628303$0DFF21D6-A15F-4C90-B490-1D032EFDF3E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"149ff32ca36e33fdae222d2078b5f41470083e61","datavalue":{"value":{"entity-type":"item","numeric-id":4721623,"id":"Q4721623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628303$BB49FA9A-E4C1-4381-93B8-14D6753BCE82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad32b474da019a0e3734e4d0c861e2cbbb419c89","datavalue":{"value":{"entity-type":"item","numeric-id":4250660,"id":"Q4250660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628303$3FAD584E-76FD-40CC-A9AD-5229B7FE1912","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":"Q2628303$9FEB8BC5-58CA-42DA-9FDF-9BD482A28668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"992009231a3ccf90d1f1c83b557e5dfa4622a42d","datavalue":{"value":{"entity-type":"item","numeric-id":921907,"id":"Q921907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628303$D32DDA9C-393A-4723-B25E-9076F31D45FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8576dc8df0d7857399ab718724b601efc6d9d7d","datavalue":{"value":{"entity-type":"item","numeric-id":3996918,"id":"Q3996918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628303$A35A1384-2E68-499F-BFA0-A62584FE35D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f49bddd3d8758939d2c56cea336fa15d4d01af13","datavalue":{"value":{"entity-type":"item","numeric-id":4809064,"id":"Q4809064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2628303$A8C37222-A85A-49C9-8C01-374ED3C8776B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3202f4ff4ce3550eb95ec3111412015b54e4c6ab","datavalue":{"value":"10.1007/S00165-016-0395-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2628303$15F5262B-0FE0-4249-9FFD-C5A208F2EF61","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65cc904a62905946221a882713f257e134f24655","datavalue":{"value":{"entity-type":"item","numeric-id":5743597,"id":"Q5743597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63fae483aa5fdf5d7ac9236b2c6ab526ce3b28d1","datavalue":{"value":{"amount":"+0.696689784526825","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":"Q2628303$B934FA91-2F5A-482C-A495-ABC8F0C2747F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75ee5105ce557480702c4228fc94eceba0497db4","datavalue":{"value":{"entity-type":"item","numeric-id":1111362,"id":"Q1111362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58549731c213da3f3347b6dd0fdb790dd7e2a94f","datavalue":{"value":{"amount":"+0.6634619235992432","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":"Q2628303$F7792866-A3A1-4B28-BB12-6880838359CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00554e14e2494e96367dcb40e4edcafaa636fdbf","datavalue":{"value":{"entity-type":"item","numeric-id":3034803,"id":"Q3034803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0534a4b5e44dd8f7e9f54b224d61b3a30265078f","datavalue":{"value":{"amount":"+0.6533324122428894","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":"Q2628303$190E43E9-579D-4E4C-B6B9-679FF0731E49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6eb935c4e813b5a39add7d74a332bab4384bf192","datavalue":{"value":{"entity-type":"item","numeric-id":685395,"id":"Q685395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db509c664de5f1f17962d4ea548d6edb3983b08a","datavalue":{"value":{"amount":"+0.6531933546066284","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":"Q2628303$55908997-8AE4-4704-B758-FA1EACF8D0BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b09197d3a975db2490a586102f5ccce6a038c30e","datavalue":{"value":{"entity-type":"item","numeric-id":5901620,"id":"Q5901620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db509c664de5f1f17962d4ea548d6edb3983b08a","datavalue":{"value":{"amount":"+0.6531933546066284","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":"Q2628303$13CE5FE6-FA17-4C98-8C8F-15987FC6F223","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2628303","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2628303"}}}}}