{"entities":{"Q1722647":{"pageid":1733388,"ns":120,"title":"Item:Q1722647","lastrevid":43293090,"modified":"2025-07-24T09:09:14Z","type":"item","id":"Q1722647","labels":{"en":{"language":"en","value":"Formalizing network flow algorithms: a refinement approach in Isabelle/HOL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7024459"}},"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":"Q1722647$0FF20532-A81C-4F30-BF77-77360A287081","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c277df5dc2286321ea44d065369c504d9b6aab4a","datavalue":{"value":{"text":"Formalizing network flow algorithms: a refinement approach in Isabelle/HOL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1722647$D1632ECE-4172-460F-B327-0590FF953181","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1d9a9652d5d167bef1dc10a2f03187a466fa1482","datavalue":{"value":"1468.68328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1722647$0A256C0B-B6C5-471C-9BE2-81B835DC1EF3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8e4be225a6094490d6530fbb2f56929f5bbbcf0","datavalue":{"value":{"entity-type":"item","numeric-id":682349,"id":"Q682349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722647$9A970DD4-8FEF-4EAA-A704-C3A2FE2B3C40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"923e87eee3cccd3fc47dfef51662370c7d5088f0","datavalue":{"value":{"entity-type":"item","numeric-id":1722646,"id":"Q1722646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722647$D47EFCE9-BE4C-46A1-B0D8-DA4D1B2E8E67","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722647$05142922-21C3-4ABF-8599-A09E8F3D4A39","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e07e584aaf32d9a9691066d4a126742d1828198","datavalue":{"value":{"time":"+2019-02-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1722647$3093FDA7-2312-4F50-8C06-89653B59BA96","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7d6dbebff0bb955e10e0fff74ef084bbccc4c882","datavalue":{"value":"https://www.research.manchester.ac.uk/portal/en/publications/formalizing-network-flow-algorithms-a-refinement-approach-in-isabellehol(b8fb5906-1351-4c19-b6c0-b858b5888832).html","type":"string"},"datatype":"url"},"type":"statement","id":"Q1722647$6497A19C-9043-4B56-B533-EC4EC2AE2FA2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1722647$A4C4DEA8-B82E-41BF-B140-D01D14830C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6ffc362644ca7876fb8337c4e7378fca3f3c2090","datavalue":{"value":"05C21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1722647$FE50E7F9-50EC-4700-B40B-B86145CA4294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1722647$D8428569-C9C3-4D22-8AFC-07C512A1730B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d2d4f4e28fa9ca38421c473fcb6ba728a44de59a","datavalue":{"value":"90C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1722647$86549511-9F36-4F91-8170-BE688542B44B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a521fe37e2cfc7beb4e3bbca4a0c0f355719c5a3","datavalue":{"value":"7024459","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1722647$2B928A4B-71AA-4D6E-977C-A8980FE98EB5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89a532a4ba2e4e35fc77b9e8291742b44cf8b352","datavalue":{"value":"maximum flow problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1722647$D1FA1AD4-DA32-40B6-9F7A-2544EC58448D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46578d405e6bad1949c9e98cdfb669cd00597474","datavalue":{"value":"Edmonds-Karp algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1722647$23E52A3A-D33D-4430-921B-7A4084460673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1167097bee35323efd91a7f4ae28425f40af2f2","datavalue":{"value":"push-relabel algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1722647$A7366A46-8EB4-4A18-A697-B26DDF2D75A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1722647$63D11307-9E2F-405B-89D7-7C023A83E0DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f0513e500ea6cb630e73925875c7d53ca8d8e1","datavalue":{"value":"Isabelle/HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q1722647$B911EB5F-C6EE-4C5B-A548-7F58388C04DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a49d2691740729e2dd9c1c611233c1d06693479","datavalue":{"value":"stepwise refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q1722647$CE03B79B-1910-472A-9000-3B50271F3EBD","rank":"normal"}],"P1463":[{"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":"Q1722647$E077FE45-8945-4B65-8DC7-7009D1533CDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b222922e2b373ab7fb2b7a049f9de07c755ee255","datavalue":{"value":{"entity-type":"item","numeric-id":16770,"id":"Q16770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722647$FC45126E-F3F1-43BC-B3F9-217BBD8AA564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"50d12651dc17311a849d24e8e94cc83c37e2539a","datavalue":{"value":{"entity-type":"item","numeric-id":17313,"id":"Q17313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722647$8FC34115-FAF2-4ED3-87A2-E3192A16A3E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"665b81d9c0f077e3e09c3e4e80080780b437ea70","datavalue":{"value":{"entity-type":"item","numeric-id":40264,"id":"Q40264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722647$9FEFF434-B241-4454-951B-C7A268A5A11B","rank":"normal"},{"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":"Q1722647$4A20D583-41F1-4EBC-8098-DF6924248179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"877fe43feeb6e906af8a2cba157afebe0734c128","datavalue":{"value":{"entity-type":"item","numeric-id":40629,"id":"Q40629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722647$5DAAE9BE-E40D-4ACB-851F-EE0D2404CB42","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":"Q1722647$47F79F40-9D8E-4FA6-9848-838EC2E8F42E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722647$E9A384E5-DBE1-4C08-A9F4-986630FDBE1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722647$90C3BE30-48E7-4B83-A99F-742ABAC5EEB2","rank":"normal"},{"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":"Q1722647$A6C85F47-F50B-4132-8BB4-85FA22743D13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2a216d6c09dac0df49b00b19ed2bb5c4336ef7f4","datavalue":{"value":{"entity-type":"item","numeric-id":20231,"id":"Q20231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722647$97909D29-EF9C-45BF-AF81-532AB01ED645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4f930b95045a1000563a1c7315d8b3659e0c990e","datavalue":{"value":{"entity-type":"item","numeric-id":26832,"id":"Q26832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722647$18A55D28-C5D4-4756-ACF8-4504CEADE2BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6d082feafa45d8fd2af5638ac3cc0080de90d3ac","datavalue":{"value":{"entity-type":"item","numeric-id":40263,"id":"Q40263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722647$1F4E3472-A237-466F-94A2-52330D3C3C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f86a777ed9723a1505ce676eeb86cd88f8987a7e","datavalue":{"value":{"entity-type":"item","numeric-id":40262,"id":"Q40262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722647$C8B61F91-37A6-4D47-AA3F-25758D02BD06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"13e3c1ae037a69a0e955591f025dfaca47973868","datavalue":{"value":{"entity-type":"item","numeric-id":40265,"id":"Q40265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722647$34920269-F360-4063-99E6-8CAA183FA780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b0afc6352f94408272dd07bfa6d534bb9097d30d","datavalue":{"value":{"entity-type":"item","numeric-id":40266,"id":"Q40266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722647$495F126E-023C-47B6-AEC5-B9095641EE04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722647$C45FCCD8-708C-419C-8CA1-0F9953EFB03D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0b1eb0401b7aa76d1b64b4825659dfb31c923265","datavalue":{"value":{"entity-type":"item","numeric-id":40320,"id":"Q40320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722647$7A44550C-99DE-4F43-A462-17FE05FEFB47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722647$1F76E9EB-9DD6-4F21-8959-2CD6CDD2F9AB","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":"Q1722647$F9EB5F01-9146-45E9-BD48-11B81D693B1A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"67916a7b011f30368b93b74b49968e08a6c12927","datavalue":{"value":"W2775427311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1722647$241006F5-CF6D-481E-BBCC-0CD2BA1D5522","rank":"normal"}],"P223":[{"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":"Q1722647$1410FE7C-389C-419F-BCDF-747E407DB8D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5a1ce762817aa67ba84d34579fd3b9060a2c653","datavalue":{"value":{"entity-type":"item","numeric-id":3543655,"id":"Q3543655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722647$B1ADCEE7-FBD6-4076-866E-F74FB00A2DDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3343c3ecaf29b3d00ed730793fb135803dd0ca2f","datavalue":{"value":{"entity-type":"item","numeric-id":5176992,"id":"Q5176992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722647$99C10292-828C-4421-9A0A-A3D86984600A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99bf23d396de4098e04e28b19a662f87e70c7d62","datavalue":{"value":{"entity-type":"item","numeric-id":2945628,"id":"Q2945628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722647$D061076A-1C3B-4574-B648-63B7D5981412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a8f83c2cebf2b3fc79408b8fab0ed6721cf4d7d","datavalue":{"value":{"entity-type":"item","numeric-id":1630027,"id":"Q1630027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722647$14C65940-4DDA-4D1B-A8F6-0C4242CB007D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5036e4b1ac3c0bcc766679cf51fa757d2c361848","datavalue":{"value":{"entity-type":"item","numeric-id":1386767,"id":"Q1386767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722647$87C66612-229D-42CD-9B0C-6DB06FBE998B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9194e9b150f8488fef979658da21ddd0e60751fc","datavalue":{"value":{"entity-type":"item","numeric-id":3651735,"id":"Q3651735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722647$45E38618-0046-4314-B0CD-EA37516E09D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da5b18e5a44e3c67c75b0887be40e31fe6fc87d6","datavalue":{"value":{"entity-type":"item","numeric-id":4080986,"id":"Q4080986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722647$634CDCFB-91C8-4C9C-BC99-5132519CABFB","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":"Q1722647$48B41B7B-AAA2-4C1B-B33B-DA5C35AA0CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9df03d940bbd4c025d80e4f6d96f2a49bffb4fd","datavalue":{"value":{"entity-type":"item","numeric-id":3237973,"id":"Q3237973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722647$6C54C3BF-843B-4697-A03E-5A218272614B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77c925fe735c46759427f41d717bbf94e5f6fe53","datavalue":{"value":{"entity-type":"item","numeric-id":3812009,"id":"Q3812009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722647$9C499F98-B145-4052-A02A-8E43CBE71767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cb6a694c413940271a785e87645155d12c05123","datavalue":{"value":{"entity-type":"item","numeric-id":2914735,"id":"Q2914735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722647$5BB7FECF-BAB8-464D-89F3-BFAA717AD48F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"931c42c28f22f89fe1b66164f9ececc2021ac1a2","datavalue":{"value":{"entity-type":"item","numeric-id":3558332,"id":"Q3558332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722647$59672C68-90C0-47B5-867A-E51DB7EBDD2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ad9b78633d4da34d179aad0a279d6c0a128b142","datavalue":{"value":{"entity-type":"item","numeric-id":4276004,"id":"Q4276004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722647$70098B2E-11E4-4544-9452-E5C84222AA46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f0278a622341c2c3ea684f66af68a5b07b0b894","datavalue":{"value":{"entity-type":"item","numeric-id":972425,"id":"Q972425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722647$70E44DD3-13E0-41DD-8E1F-82E3EF379596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7f766bae7bb1dc745731294a8b2405f79150a41","datavalue":{"value":{"entity-type":"item","numeric-id":2914741,"id":"Q2914741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722647$D05A80DC-3D0E-4875-9F27-3BABAA50A254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2235cb100f2692698d1e78c89e440355cd4f7add","datavalue":{"value":{"entity-type":"item","numeric-id":2879261,"id":"Q2879261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722647$DCA9A9A3-9F84-467F-8E07-982373DF88A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5dffe5441220fd05c9ab29a095f510d384d606b","datavalue":{"value":{"entity-type":"item","numeric-id":2945637,"id":"Q2945637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722647$10DC4F7B-3F6B-4601-924D-812EC971CBC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6cf0d02217708d84dcdcc681838d7558a420590","datavalue":{"value":{"entity-type":"item","numeric-id":2829260,"id":"Q2829260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722647$92E909E7-B127-4002-B228-473BDA01195C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c2895387b4be8cfed3fcb9f3a4627db95cd5456","datavalue":{"value":{"entity-type":"item","numeric-id":5428281,"id":"Q5428281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722647$5AC863F8-D02F-4DA2-B617-54AA74A3E313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"997214a7b55ffabdba512d09541bacb2e1bdf519","datavalue":{"value":{"entity-type":"item","numeric-id":2945642,"id":"Q2945642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722647$247D2B48-DEF2-46F5-9E8D-574948BEBA89","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":"Q1722647$B9E398EB-A4DF-4293-8508-454F5F505336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"517fc8b23acecbf986165d1288d8b39f955c2983","datavalue":{"value":{"entity-type":"item","numeric-id":2018659,"id":"Q2018659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722647$660587EC-A2F9-4FE6-97F7-881EDA41C099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78b7dee6e7d17cf76652241ef534151263d94379","datavalue":{"value":{"entity-type":"item","numeric-id":5617313,"id":"Q5617313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722647$D8A42423-DB66-4858-B827-8ECF5CCFFCEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7944b0457f1c1bfb433ad292590deb2f36e383e5","datavalue":{"value":{"entity-type":"item","numeric-id":672389,"id":"Q672389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1722647$33EE065D-F2D0-4527-9481-EB4392A24A3F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ff3029c24adb77b111ea56432f2dfdaddf19a3fe","datavalue":{"value":"10.1007/S10817-017-9442-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1722647$92C18B1C-A9D0-47ED-95CA-CACBD5BD9FD7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6abcad3ef7741be73503433b96b443ce6f5fd117","datavalue":{"value":{"entity-type":"item","numeric-id":3506397,"id":"Q3506397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6828bddaa2f8689acf4e12133e16f2f36492dcb","datavalue":{"value":{"amount":"+0.86172485","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1722647$87808CBD-4A13-4FB0-AF49-B8B56AE1F70F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fb5dc7ae6f26fb9980307f783c2b108d01aebc9","datavalue":{"value":{"entity-type":"item","numeric-id":5190324,"id":"Q5190324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be0dbf44ab0fb3ebb94c0ecd8abacaa9b957b8a5","datavalue":{"value":{"amount":"+0.84972525","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1722647$0DD29C92-CD1C-4E0C-A364-E5F540BDCCDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63aabfcd13900aba5dc96ba055f68bf4fe628f01","datavalue":{"value":{"entity-type":"item","numeric-id":4723281,"id":"Q4723281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fca582e3f13df53e704a489b2a8f61c3c3ea7b9","datavalue":{"value":{"amount":"+0.84809375","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1722647$5EE5C645-BA61-40AE-9E91-5CADB56E0D04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"748d08e05c7b2d4b5df083991ec990ccf00784bb","datavalue":{"value":{"entity-type":"item","numeric-id":4787251,"id":"Q4787251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d86a541444a886b6d470dc63b33085d97bda9785","datavalue":{"value":{"amount":"+0.8480848","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1722647$CA3A8DFE-B41C-46EF-9A24-6A4997BE5F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dd0cd7e87ff833e6bdb21f340b695db768a2c7d","datavalue":{"value":{"entity-type":"item","numeric-id":1317481,"id":"Q1317481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06c3dcdc75e6a28db84b8b209e4f45edcd51fb14","datavalue":{"value":{"amount":"+0.8452004","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1722647$7B4F81F7-8D59-437C-BBCC-600069E8007C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7eaed4076960242212e85bd6aa40c2a4e0ca4419","datavalue":{"value":{"entity-type":"item","numeric-id":5403468,"id":"Q5403468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63d0286e1f7be5a3cdd70dcb2bc3019961f6a429","datavalue":{"value":{"amount":"+0.8448649","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1722647$795EF052-07FF-4180-856B-75230012A1D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc4ae6d3573fc781820560c92325d71225a2df39","datavalue":{"value":{"entity-type":"item","numeric-id":2938038,"id":"Q2938038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63a2dd6350ab34e3db5afb474b1c894de012db4f","datavalue":{"value":{"amount":"+0.84450775","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1722647$3AEA3364-038C-4271-8597-A6BBB000E139","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1722647","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1722647"}}}}}