{"entities":{"Q3176373":{"pageid":3187083,"ns":120,"title":"Item:Q3176373","lastrevid":53149475,"modified":"2026-01-24T08:06:22Z","type":"item","id":"Q3176373","labels":{"en":{"language":"en","value":"Predicate abstraction for program verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6908881"}},"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":"Q3176373$C837752F-9690-47EF-8A03-DE5096D9BA19","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c7a8d47169aed9e64e0e0113d3cc2fc91d0b898","datavalue":{"value":{"text":"Predicate Abstraction for Program Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3176373$23893881-9667-49EB-AB9D-FCE86BF12603","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3e40f3e56458ae7c70159541e6b03739fa184ac4","datavalue":{"value":"1392.68253","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3176373$89E34B7B-FEF6-4773-B06D-26934D051EB0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"68c229aa25931a01ea2fc93daa4aaed10131446f","datavalue":{"value":"10.1007/978-3-319-10575-8_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3176373$B2C21C30-3250-42B9-B674-6321A6F38A87","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2109ea3ab29767c79eca725b68331d0c21a9a6f0","datavalue":{"value":{"entity-type":"item","numeric-id":2225085,"id":"Q2225085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176373$3E28DEFA-4249-4279-9BAD-C4BBB5853CD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3527a91821d36e757e1613c0da59458b564b0344","datavalue":{"value":{"entity-type":"item","numeric-id":225062,"id":"Q225062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176373$91BE8B31-85FF-4F6F-AF6B-6F5A38342418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"33f09e7b1eefa8c699a9d529da40fe033eb88541","datavalue":{"value":{"entity-type":"item","numeric-id":604393,"id":"Q604393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176373$E1C97404-DA50-4953-8BAF-0F7F480786D7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c71d300b782446b6b37501a598b7cff0cbb855f6","datavalue":{"value":{"entity-type":"item","numeric-id":3176358,"id":"Q3176358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176373$8D4F6452-1218-41BF-BE87-22E0C5A1BE89","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"14df3d82559b6ebe5d0cc96241f3d08d6077f97e","datavalue":{"value":{"time":"+2018-07-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3176373$16DE284C-470D-47DA-A74F-AF5726A3D3DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3176373$030BA4D8-5B55-4811-AFC6-D168F48B125B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3176373$44DCC3A5-B43E-4714-90FE-A662C6AF3BA5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c801dd5269124413ef382028fe6bf50986564c22","datavalue":{"value":"6908881","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3176373$5C57D538-6329-44AA-94D2-6E39B35EFCB2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176373$44FE375F-DDC8-41F3-8753-B6AA1AB50F3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3ce1c275c9004c307036c19f5a4531407e8fea1c","datavalue":{"value":{"entity-type":"item","numeric-id":21854,"id":"Q21854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176373$45B5A291-F9AF-4BE0-B5BF-2A620A3F6FAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c7107a3607349765606fad319a8423745e29c6d1","datavalue":{"value":{"entity-type":"item","numeric-id":24728,"id":"Q24728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176373$92CA7836-CC5B-4FD2-B9D5-FCE73831F565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b3ad9fce9060c14f348316440256eb8b089be466","datavalue":{"value":{"entity-type":"item","numeric-id":26383,"id":"Q26383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176373$111A2D7A-B38D-40B5-B853-C4D9245A73A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"14bcb78167ecbe13d976fd586e0b21100a3bf946","datavalue":{"value":{"entity-type":"item","numeric-id":31317,"id":"Q31317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176373$8B5B8DF9-A06C-4C29-BE45-8E1BF5E79F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d4f55591526bfa06dbd19dfd10ca3b2c9d44db2a","datavalue":{"value":{"entity-type":"item","numeric-id":20924,"id":"Q20924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176373$8BD516AA-CE78-4414-BC77-F3BBB48DC7AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a1d6b9e920f2e41a66a9767e31ca972ed7628dde","datavalue":{"value":{"entity-type":"item","numeric-id":15668,"id":"Q15668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176373$0EAA56E3-0067-46F4-9842-4A6783D47CBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e1655b290b91a673f0538ce14f6694f64d961977","datavalue":{"value":{"entity-type":"item","numeric-id":19440,"id":"Q19440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176373$72CBC379-23E8-495A-AE1F-828ED9E8C7AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1efe251f10f20310d9fc2391ac64c314c66eb36","datavalue":{"value":{"entity-type":"item","numeric-id":19751,"id":"Q19751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176373$032ABB48-357F-42FA-BB14-559DABDD28AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a4f636583a26240d6177ac1ea0a1a2046a522c7b","datavalue":{"value":{"entity-type":"item","numeric-id":21551,"id":"Q21551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176373$A77BC85D-EE47-4771-B5E0-9622B02A40E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3e51a1966904a3ae55453357c0d638f6ec765b5","datavalue":{"value":{"entity-type":"item","numeric-id":21917,"id":"Q21917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176373$DF916435-A3AF-4DB1-8E72-42CE351D2CE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c316a4e11e44cbd015a63ff86b861806410c456a","datavalue":{"value":{"entity-type":"item","numeric-id":25012,"id":"Q25012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176373$32F352F8-0DA2-4B24-9DF4-B767F0AA38B9","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":"Q3176373$4828A0CC-640A-490C-BA94-FE33BD7926E4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"51257908723fbf1822f9fb821f4a3309c946133e","datavalue":{"value":"https://doi.org/10.1007/978-3-319-10575-8_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q3176373$8DB7573B-D58A-4BD7-9179-C5D0169AD175","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8080ebf5b7e513a7c7bbc3f315dff084d21241b8","datavalue":{"value":"W2803616382","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3176373$2688FEC9-9FD1-43E1-BF04-066B76052ED9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbd5e9b7224b44a5be727c6870f16a737b8c3625","datavalue":{"value":{"entity-type":"item","numeric-id":2769592,"id":"Q2769592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176373$50A86477-37A8-4C09-901C-AF6C549A99AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ee36fea820e4ec41c645157a399b976a6698393","datavalue":{"value":{"entity-type":"item","numeric-id":2753756,"id":"Q2753756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176373$40FE8E4F-EC1B-4889-AE09-04E08EF8B600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"767027371f47351446d56e4b3b6a09eabc8be672","datavalue":{"value":{"entity-type":"item","numeric-id":5408418,"id":"Q5408418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176373$E0C9541A-A029-4EE5-A334-6A2687B94078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bf81e90c4d39cf308573fec5a89309ffbd96471","datavalue":{"value":{"entity-type":"item","numeric-id":3176374,"id":"Q3176374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176373$54A1FD50-A00E-440F-BD30-D1E324DE2F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b63e4e6e8c92ebfef6844c6464a49c0beb008a05","datavalue":{"value":{"entity-type":"item","numeric-id":3000661,"id":"Q3000661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176373$487B5111-148B-4DBE-9BE6-50F7C5C7C514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176373$D75B8CF4-DE76-4CAC-AF22-5D6354D59EB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a768592a36a0799f3311c6c16dd9cd5a4a03baf","datavalue":{"value":{"entity-type":"item","numeric-id":5703792,"id":"Q5703792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176373$25EC47C9-CB07-4E6F-B573-AB3D1CBC8AE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f47c3fcafeda51dbe15698ea965f85d40936223f","datavalue":{"value":{"entity-type":"item","numeric-id":5326314,"id":"Q5326314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176373$8DF9592D-568C-42B0-845A-6E9390B936F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"727396178aa3c115efa8b89938b9e0afafcf8cbb","datavalue":{"value":{"entity-type":"item","numeric-id":2942877,"id":"Q2942877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176373$1ED69D19-DA9B-4D40-8CAB-E60AFC345687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8971435217b64c50e375aec68a6c58475d8d0dd9","datavalue":{"value":{"entity-type":"item","numeric-id":3249759,"id":"Q3249759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176373$BCBA2DE8-7048-4E07-81C8-6155A1C4ABE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dbc4d8ff84bb31a0b40416f4ca5b5fa8411ef78","datavalue":{"value":{"entity-type":"item","numeric-id":3176371,"id":"Q3176371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176373$B8C0653A-4F65-473E-A2BC-018687C9DF0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f7228d911878a16429788a7e2e2b8ecaf57db22","datavalue":{"value":{"entity-type":"item","numeric-id":4817541,"id":"Q4817541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176373$36165D60-5084-4C42-948D-FB5C8CCA3F0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bd9b88bb298728fba36d6cb290ee95ccae0a7ca","datavalue":{"value":{"entity-type":"item","numeric-id":2763999,"id":"Q2763999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176373$C6440663-4AE9-4337-9274-4B1C009849EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176373$CE598454-0C61-40B4-988C-94C42C2CEDEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c55a9f68ffc0e71e7984b9c43c61a46d7027f03","datavalue":{"value":{"entity-type":"item","numeric-id":5408554,"id":"Q5408554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176373$CA5375CB-A850-4A67-A212-BF82E68B9915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcf2b678c67af5d9c3ef01ce8f5125a52e30717a","datavalue":{"value":{"entity-type":"item","numeric-id":5255103,"id":"Q5255103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176373$CCD89EE9-6033-4AF6-B4C0-D7965195439E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c6c105fc16c93e45c3c862af5073671b76b02d4","datavalue":{"value":{"entity-type":"item","numeric-id":4930716,"id":"Q4930716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176373$A8B463A9-EF07-4BBC-88BB-E10779290BF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4e94238a6a5ddf3dd15f03313efac1f027d9611","datavalue":{"value":{"entity-type":"item","numeric-id":3452263,"id":"Q3452263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176373$54A3A475-E67C-467D-82BD-72196D8B7922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c21e537ab0c07b0d3849b9a7e5a291ced75540","datavalue":{"value":{"entity-type":"item","numeric-id":5178898,"id":"Q5178898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176373$376EF76E-FA86-4E1A-9299-1FA61F2676B0","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":"Q3176373$3562061D-540A-46A8-945D-0DAC058C6AFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0be6c53659cb8642df272cd13aa4516eec9a3f8","datavalue":{"value":{"entity-type":"item","numeric-id":5228112,"id":"Q5228112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176373$6A2DB479-DFB0-4D3D-B303-CCFF614FBC0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9d0dd7bb6db6a4c0ce328175c5c1c2e0bc50527","datavalue":{"value":{"entity-type":"item","numeric-id":5429322,"id":"Q5429322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176373$0A9D4A18-05F4-4E3B-81D0-AA37D50AFC09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca74c1b4b01eb5401c8b784be60efc1c72a7ed76","datavalue":{"value":{"entity-type":"item","numeric-id":5312894,"id":"Q5312894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176373$0315B48B-76E6-4D7E-97D8-1FE5F363DCD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98052a8fe89669b2fe4131e688755f41384ea6a6","datavalue":{"value":{"entity-type":"item","numeric-id":5178875,"id":"Q5178875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176373$144A1EAE-CFCA-4D58-AF97-C3AB313CB66B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2d9d5673d377c95422809e446c2052b58cca8ec","datavalue":{"value":{"entity-type":"item","numeric-id":5756749,"id":"Q5756749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176373$D68AF007-AB30-4407-A28F-A0EFFE218CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f035e7ce71fa36b05517fb3b1000527a247baf6","datavalue":{"value":{"entity-type":"item","numeric-id":5901912,"id":"Q5901912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176373$94D3B131-0BE9-4F9F-B50B-9D55714D1253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1935482434002d0fa3e71ce65d32c6e93232c71","datavalue":{"value":{"entity-type":"item","numeric-id":3000631,"id":"Q3000631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176373$0FDE3E43-5F52-41E1-8D08-72FC736C4CAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08bb2f5a5ebc73f0a575f25524296d953329a9c3","datavalue":{"value":{"entity-type":"item","numeric-id":5276141,"id":"Q5276141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176373$BF542F4E-287B-4906-B8D5-A72259ABDF13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"911eaa0bccad8b17d2996fe857c127dd4e89f404","datavalue":{"value":{"entity-type":"item","numeric-id":5897437,"id":"Q5897437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176373$5C6DDEF0-D7D5-4930-829E-E05E3E2097BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"471db0983b0adc861100e91b592763bea7bdd49d","datavalue":{"value":{"entity-type":"item","numeric-id":5255078,"id":"Q5255078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176373$A891810F-688C-486B-8A78-B43065D42286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5409abedbfbfe0ac74339d53e3b1f28883312661","datavalue":{"value":{"entity-type":"item","numeric-id":5255068,"id":"Q5255068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3176373$B2CC4413-0DCF-479E-9715-34130DAB92F5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ba55ee38a99d46604b9b2feddb9efbde5b9b1bb","datavalue":{"value":{"entity-type":"item","numeric-id":5240105,"id":"Q5240105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae8351b9531b5a6acda90d096e7082eae64c48cc","datavalue":{"value":{"amount":"+0.8381364941596985","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":"Q3176373$E8F183F1-A19F-46FE-BE10-EC3BF52F3AB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9d44e48da27254af8d51d23ebf630e133474bf6","datavalue":{"value":{"entity-type":"item","numeric-id":5276141,"id":"Q5276141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"164fd1ae5e1c52619c34caf88f3801c2ea88db78","datavalue":{"value":{"amount":"+0.8330211639404297","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":"Q3176373$94021142-EAF3-4CE9-BA01-A29D7E84505B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfe92b7258e0af482e7fb1d334c65fe05402d844","datavalue":{"value":{"entity-type":"item","numeric-id":968302,"id":"Q968302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3ad72feebf69d8c7eddc6738d2893eaa470a3b0","datavalue":{"value":{"amount":"+0.8261069655418396","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":"Q3176373$5B7A9937-533F-4B28-803D-69FBF45E639E","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":"d35f886eb95b3e90378aa4896731b49ddf050ed3","datavalue":{"value":{"amount":"+0.819896399974823","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":"Q3176373$7974AF1C-AFCE-45B4-AC7E-0B6538C67257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"814e1bf29690df9d43d5cafd9de771b09b30bb68","datavalue":{"value":{"entity-type":"item","numeric-id":5178906,"id":"Q5178906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c60d11fc60735d0af482df2bbe1e1e9b7fc459db","datavalue":{"value":{"amount":"+0.8178988695144653","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":"Q3176373$EECB9A3D-490C-44C2-81AF-D625D56EBCF0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3176373","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3176373"}}}}}