{"entities":{"Q432148":{"pageid":433915,"ns":120,"title":"Item:Q432148","lastrevid":51503951,"modified":"2026-01-18T13:17:42Z","type":"item","id":"Q432148","labels":{"en":{"language":"en","value":"Invariant diagrams with data refinement"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6052556"}},"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":"Q432148$6D14D5B6-6F68-429A-AC01-C0B16372E0B3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"13a5a9a605df708a7cbf9df1ea0fbc308d0029df","datavalue":{"value":{"text":"Invariant diagrams with data refinement","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q432148$E54A9CCE-5F7A-4F2A-85E9-4123738C0D35","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f37be3b74d95be0c2da6b18a2afbaaef95eb210","datavalue":{"value":"1242.68074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q432148$99BA8D5F-DA45-4F93-8431-91F7569AD9F6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"03dd836c35062b353c773aa5bb9f8bbbab8cff00","datavalue":{"value":{"entity-type":"item","numeric-id":432147,"id":"Q432147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432148$D0CB91F1-D52C-4ABE-BAD2-398AC2E8C772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7d76bab915fa5b11ba4114aa1f83889a977dcb6","datavalue":{"value":{"entity-type":"item","numeric-id":204599,"id":"Q204599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432148$B90C60EC-A9C0-445B-8750-3A626D9F4D9A","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":"Q432148$75F723C9-E3CE-4E29-8391-0C930C919EFB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d2ba0036895bc96d003b4a03286285e72e8ca4bd","datavalue":{"value":{"time":"+2012-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q432148$A32EF0FD-AB09-4B5A-A5A9-9DC24761E817","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q432148$26605F57-56AB-4AAB-8A06-56AD84EAEBE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q432148$0AF1FA13-80D0-450B-850F-7AD5844F6EF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q432148$27EBA4AC-AC52-4D80-9C08-29B9B38B47A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aff7f68bc0805aa43b41404b19d9cbb6d0e9dbed","datavalue":{"value":"6052556","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q432148$E0AEB019-A118-4D8E-92FE-7E8AC8A6BBA5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7a15a52749bd814624d44bf524d30edaca753b","datavalue":{"value":"invariant based programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q432148$8AEF0506-2CBB-4553-B125-3C4D31D345EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1657b9e302015499beb20eee5142470398e14a48","datavalue":{"value":"data refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q432148$DC0A9956-FCB5-4B84-B388-A632287D4F1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"033bcb9864019192358d248f1765aefb1c4f7385","datavalue":{"value":"mechanical verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q432148$9685162E-10E4-4013-93DC-BD20D4AEE397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94287c7b5cb6db4f8e5129f6a61fc09b8b065de5","datavalue":{"value":"graph marking","type":"string"},"datatype":"string"},"type":"statement","id":"Q432148$14C84C9C-2670-4367-A835-1F6160EB09FA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e338912f65cbd77347bbd512933e55736ef58bd1","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432148$B266B1D7-1032-4498-A7AB-5F6792D43EC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f124c9e61dd9b5634f9f50d5a0ccea588198d43e","datavalue":{"value":{"entity-type":"item","numeric-id":40551,"id":"Q40551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432148$EDBAA60F-6492-48C2-A3F2-DC5E7AEE3BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"236a042b4fa5fb6a19a8ff9ff26f540ea24ebf7e","datavalue":{"value":{"entity-type":"item","numeric-id":40550,"id":"Q40550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432148$7E906699-5948-4B2C-8D38-A79BAD8420BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432148$63938327-AF5D-46C0-96BE-B7EBB6D368C8","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":"Q432148$793F4A77-4586-4271-9F8A-6CFA4BAFA1FA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f25ab20508cdaf516b8f7d3b7f96e1b803a5814d","datavalue":{"value":"https://doi.org/10.1007/s00165-011-0195-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q432148$105E0F47-5ABC-497E-8E05-ABF4FC23C64F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f6f091204da1e1512c0977b91be9730c86028a67","datavalue":{"value":"W2006030419","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q432148$D037EE6F-27DE-48CF-853B-8841D37DFB9E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7469a14c6b3d5214a08da9b6d9960375ad8bda98","datavalue":{"value":{"entity-type":"item","numeric-id":3898009,"id":"Q3898009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432148$0A1D73BA-9400-41B0-8C6F-2C7B980C5A66","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":"Q432148$DF399369-0828-4287-A50F-FF9F84983DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d1176d6dc531102187fc93e4f8db95105eea855","datavalue":{"value":{"entity-type":"item","numeric-id":5944217,"id":"Q5944217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432148$6FA49C19-E3B1-4322-B7E6-6F9C16DA9F9B","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":"Q432148$845B57D1-5BA7-4AF1-9874-1A91C5DC73F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db463348657cf41d5ff4d422c54e0c686e6e5dfc","datavalue":{"value":{"entity-type":"item","numeric-id":2554952,"id":"Q2554952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432148$AD99E9C6-92CE-415D-AFD1-B5466ABE5DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a634cbc29683300650d9989a01808c0a4931ead5","datavalue":{"value":{"entity-type":"item","numeric-id":4398780,"id":"Q4398780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432148$7736FA5D-F93A-433D-B832-4EA96D927321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3be8c8d124a78b7bc05b7543e4a39424af55fffb","datavalue":{"value":{"entity-type":"item","numeric-id":2486585,"id":"Q2486585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432148$365BDF81-A0C3-4852-93B5-37856D2CF7F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432148$3BDD1741-CAC7-4CF0-8B5E-95793F505747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"894b153525483d659921aae617ccecc6f7826fb5","datavalue":{"value":{"entity-type":"item","numeric-id":2994494,"id":"Q2994494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432148$5E1B7D88-95DD-4F71-AA9F-02E8C952F1D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b1c3fa2453c158ab62a094f5481e2295dbbd68c","datavalue":{"value":{"entity-type":"item","numeric-id":5528168,"id":"Q5528168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432148$ECD4EF71-660F-45DD-BB82-FDDAB0440048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62007f0a0e892a4c68e70726ff2369a9fb478399","datavalue":{"value":{"entity-type":"item","numeric-id":4178454,"id":"Q4178454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432148$695D056A-FD99-4358-95AB-76374964B184","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f46e29fd47791e5ed38284e3ea23c8f6db73d2eb","datavalue":{"value":"10.1007/S00165-011-0195-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q432148$4D09815A-3381-4491-BC7A-F496BA92D8C6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48dbb82ac65ee99b8ec7b22afc1d8c5dadaf07b7","datavalue":{"value":{"entity-type":"item","numeric-id":2994494,"id":"Q2994494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb5dc2a74325ee4129ddb677c48ca8cd77c37e93","datavalue":{"value":{"amount":"+0.960684061050415","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":"Q432148$091A23CE-C513-491D-8E37-BE11AFEDB1DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bc8cccc4300f88bcda8e0d43aa2630984bab2e1","datavalue":{"value":{"entity-type":"item","numeric-id":478381,"id":"Q478381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f27d51af943c38faac66ce08bab82945523aee3","datavalue":{"value":{"amount":"+0.7634900808334351","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":"Q432148$E7CFBDF5-5070-486D-84BF-73C8F0B58E7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64e8e04ed04b7797d2d328dfe86ff8cf293f2492","datavalue":{"value":{"entity-type":"item","numeric-id":1019025,"id":"Q1019025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75c7155a13ea9a2b014b7a54d8ec2e474cf20365","datavalue":{"value":{"amount":"+0.7442703247070312","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":"Q432148$112AB357-8522-4E48-8999-42CCC78F24A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bb8d9c26551135aed1bfaf0a93c7d9f891b1ace","datavalue":{"value":{"entity-type":"item","numeric-id":911246,"id":"Q911246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77dbd7d71125add46911c6516150f40193808d4a","datavalue":{"value":{"amount":"+0.7074080109596252","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":"Q432148$43B81BB1-B38C-43E5-B1B3-5E97817460ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb527df1e491c5b1f509797e5090cd2c7c389ce4","datavalue":{"value":{"entity-type":"item","numeric-id":1177155,"id":"Q1177155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cae342548d4eaf6a4c1070b3d5fefb31a65d38f1","datavalue":{"value":{"amount":"+0.7061596512794495","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":"Q432148$D7A39A30-C663-4AB0-A8C1-65D2F3A204FC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:432148","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:432148"}}}}}