{"entities":{"Q385023":{"pageid":386790,"ns":120,"title":"Item:Q385023","lastrevid":61438053,"modified":"2026-04-10T23:22:35Z","type":"item","id":"Q385023","labels":{"en":{"language":"en","value":"Reducing behavioural to structural properties of programs with procedures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6234587"}},"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":"Q385023$BC225E93-CD67-4838-A1E3-03F57D0A5BB8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"07246637c76cd9adf4f380c9af4bf7ff70ac0ae0","datavalue":{"value":{"text":"Reducing behavioural to structural properties of programs with procedures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q385023$EC1695A2-8C4A-4254-8CF4-1D88361F6349","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8ae8b895f3aea48703bc78b36174539aaed536aa","datavalue":{"value":"1291.68259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385023$B1FCADC0-C4FC-47C7-8EC3-18050942A190","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8de0358d5843909f727261d501d479a1091d2554","datavalue":{"value":{"entity-type":"item","numeric-id":385022,"id":"Q385022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385023$2F912B46-FB03-4470-B325-927E1A4867AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3772d5f7c7aac4e0fdecccd336d0d84f954a370a","datavalue":{"value":{"entity-type":"item","numeric-id":225075,"id":"Q225075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385023$44B3AEA6-C127-49E5-B6F7-2817FD6D5F65","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385023$295D20CF-E916-419A-833D-187A5CC4240B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9a5446951ef3b18cc54f2eecd6b1de1ff40852bd","datavalue":{"value":{"time":"+2013-11-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q385023$03E9E84B-D96D-46D8-B0CA-846266B37E9D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385023$66BD5071-0874-478F-9030-D387712EDC07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385023$8D762228-627D-4788-A867-2C6FDFB05BE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385023$4E3A44D6-18A1-44FC-84E4-E59D5781AEAB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"65de991fe27d13c7cb6b63e3220025beccfc0633","datavalue":{"value":"6234587","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385023$F0199EDA-97C8-4D64-843E-46A2F5607338","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8f9062a19f85971c14b4d71d981f064b7b13591","datavalue":{"value":"compositional reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q385023$5F44F400-0440-4BD5-8287-961E42882101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7826a90d3092607baa9d65a6435192c15dce600c","datavalue":{"value":"control-flow behaviour","type":"string"},"datatype":"string"},"type":"statement","id":"Q385023$7B603EFE-FFB3-46D7-BA67-8B936A4DDA0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c7c038f25d29fa35297a6ce1bcb49a1a564b03a","datavalue":{"value":"control-flow structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q385023$CC6AB615-A6E9-4F97-9A5D-49BBA8F4FF12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26c4403d5fa8d9102bcd88ec8de73f9befa0d5ea","datavalue":{"value":"modal \\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q385023$751D8D79-9F58-47E1-96CC-A83A61B9C155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q385023$2465FBC3-C4CA-49D7-B732-E925DBFDCB38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e07787a1cd26c789140f5c3150ac09bb65f07f7","datavalue":{"value":"safety properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q385023$8BA85134-7E6A-48FF-94CE-24507C531B08","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f001eb735991a93b9abcf6784d2099d4ede049e","datavalue":{"value":{"entity-type":"item","numeric-id":19681,"id":"Q19681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385023$B75F68E0-00F0-4907-AF1D-988F680FCDF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3a4587c9274b41a62dceb3b95ff35192ad3a34ea","datavalue":{"value":{"entity-type":"item","numeric-id":18814,"id":"Q18814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385023$121B421D-48C3-4DFC-9D24-755B00E80C6F","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":"Q385023$3B74CBC2-8061-4222-9D54-93D851CB41A0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6d6bc949b14abe314b34445d190d6ab50987ef2d","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2013.02.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q385023$716A7B45-41B4-4F77-A3D0-3CD2AF8FCA99","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2c2b6483e25090dec90f6a45b6afc6b8dfaf6b1f","datavalue":{"value":"W2164285951","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385023$D620D724-C7DA-42F1-876B-A9C78E58244A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ee0c598d6ddfbfae4ea8479557380be0e2aa296","datavalue":{"value":{"entity-type":"item","numeric-id":2568453,"id":"Q2568453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385023$7EABFB54-17DA-4836-A7AD-F24D67A9E15B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a133b2b9476ffc4401b56d83bdfd1f487592e7be","datavalue":{"value":{"entity-type":"item","numeric-id":2754086,"id":"Q2754086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385023$C0B05275-8B03-43D4-9301-CB819713EC30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48ec8cdee5c993dff7cc7451da7a82da8eaf8ea9","datavalue":{"value":{"entity-type":"item","numeric-id":4036555,"id":"Q4036555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385023$A8CFEEBC-E5BD-4CBF-9570-4AA09E58EB77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21fce2dd31ccc93846cbc0c414ddb5456b57ad0b","datavalue":{"value":{"entity-type":"item","numeric-id":937300,"id":"Q937300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385023$6A323822-177C-487F-907C-101747CCC7E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44fac3e593bbdc4bf38035515355792d7f6d6bba","datavalue":{"value":{"entity-type":"item","numeric-id":5348921,"id":"Q5348921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385023$5F3FDB9B-2740-4DC5-BA7E-358B929C1201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648cb108bd37c29de0543b7af3d48092bfa49749","datavalue":{"value":{"entity-type":"item","numeric-id":5756734,"id":"Q5756734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385023$B77E2D41-4094-4D98-983A-699C6BD5699A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e6f1b409f7bbe8b6cbd07d29c42bc733c4a9bda","datavalue":{"value":{"entity-type":"item","numeric-id":3600471,"id":"Q3600471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385023$C19DBC81-E305-4E62-A307-0154C1C8A508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385023$68879770-BF8A-473F-9430-3C44868AE35B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcccba79861386df19c84997945862e47e9786d2","datavalue":{"value":{"entity-type":"item","numeric-id":5941060,"id":"Q5941060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385023$09C8FBB3-CD46-42BD-9D27-18E8473717C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e78abf06cd43bc8b5469b6b54f3aaf21e033b53e","datavalue":{"value":{"entity-type":"item","numeric-id":2760246,"id":"Q2760246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385023$8A3EB86F-D198-4D4E-AF2E-61F184BF1CFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6adb1e48aa7d82b462397e04de8ae48c530c0de9","datavalue":{"value":{"entity-type":"item","numeric-id":1119630,"id":"Q1119630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385023$B2DEAC95-4430-4937-8853-D09804E8D836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ceed6c231e6a6087aaa5989ddc3be59f213c7d44","datavalue":{"value":{"entity-type":"item","numeric-id":5960651,"id":"Q5960651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385023$24262575-BCA3-46AA-B8F2-E49D5C009125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b6196bb057adc2087bd5262ca2bda33f9a480e1","datavalue":{"value":{"entity-type":"item","numeric-id":5308427,"id":"Q5308427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385023$2A0DDAD3-211C-45E5-8353-E17013D04A7B","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":"Q385023$CD18E27D-CE92-4B52-89AB-FE39376DD5D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f7d1afa57ee8c8dbc48f47ac1b2806dcd78e44d","datavalue":{"value":{"entity-type":"item","numeric-id":4738309,"id":"Q4738309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385023$24A31F3D-025E-462B-9BD1-7BF768686D87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"875736f390fbee8f5115e55c84e89462043693ee","datavalue":{"value":{"entity-type":"item","numeric-id":685358,"id":"Q685358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385023$73E7263F-E291-4914-8832-A77FB87224D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fe472cbda5cd0dfe5370dda5380ef4f4ffe28a1","datavalue":{"value":{"entity-type":"item","numeric-id":3540067,"id":"Q3540067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385023$CCBBB103-F142-45BE-8305-325155651195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b45c33c02f47976c75cf01745732a1069f76004","datavalue":{"value":{"entity-type":"item","numeric-id":3067539,"id":"Q3067539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385023$68E50F5B-EF1A-4152-8D95-C660B826BFF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"114010ad9d68a3ad635c718d940e966ce8c26265","datavalue":{"value":{"entity-type":"item","numeric-id":3095249,"id":"Q3095249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385023$3EA2129B-C218-4A03-9782-7CA95D190BA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f12c54a1927788e5cc5895c0dd2a470de2b29e2","datavalue":{"value":{"entity-type":"item","numeric-id":5428881,"id":"Q5428881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385023$ED46F0A4-3B15-4303-ACB4-437E68D44C87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a39baa8ae7ba81a618958b1612caee5a01b3f45e","datavalue":{"value":{"entity-type":"item","numeric-id":5758114,"id":"Q5758114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385023$97818B22-E6AD-4ABD-82B4-0A98B159295C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06ab0a3227d147233c18b03cb4a4d265aae9ca8b","datavalue":{"value":{"entity-type":"item","numeric-id":3656875,"id":"Q3656875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385023$2A6A50AA-142E-4EA1-8241-5576CC285593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d2d552ec3acf806493cbc8188ef33d424d62662","datavalue":{"value":{"entity-type":"item","numeric-id":4542238,"id":"Q4542238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385023$D7390A5A-377B-4223-A6A6-C0254AE315B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cd21ad2b3de9b7229918c441084c25ebdbf827a","datavalue":{"value":{"entity-type":"item","numeric-id":4738238,"id":"Q4738238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385023$C848DC96-5600-4DA0-BA1E-1D54B802B0FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a2d94941eaf23285edef7e20981bac0b05436fc","datavalue":{"value":{"entity-type":"item","numeric-id":3142281,"id":"Q3142281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385023$1740F399-0821-4D03-8C72-61DD7580A872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6d44e0d283ee4a6747f41419e53b399d833e2ad","datavalue":{"value":{"entity-type":"item","numeric-id":5897782,"id":"Q5897782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385023$00759218-CCC0-4C4C-8EF8-27A7774B99E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06a1669ea55c70484627fcb886923a0a7a7abbca","datavalue":{"value":{"entity-type":"item","numeric-id":5703798,"id":"Q5703798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385023$E4ABC2EE-647D-4998-A326-103A8DDC9346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb53b69a005134b7aae07b4949b21bc26d9d6bca","datavalue":{"value":{"entity-type":"item","numeric-id":4344149,"id":"Q4344149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385023$98CA3729-7B03-414E-B5B7-90028335EF02","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"144d800f827fbc6a2d8718764dc77088a93b8e2f","datavalue":{"value":"10.1016/J.TCS.2013.02.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385023$4EF3E3EB-60B1-4722-BF28-20F3DE0B45A2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d66dbba518af94cd16c8c3ea1560a0ab6b0ae13","datavalue":{"value":{"entity-type":"item","numeric-id":3600471,"id":"Q3600471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91eab6c271a9331b6130d89e45440f67da7f6282","datavalue":{"value":{"amount":"+0.9906555414199828","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":"Q385023$AA1E7F00-5A03-482C-B69D-24D7555F59B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b5a259d70a73af340682efdb2e31ac3ccb4e804","datavalue":{"value":{"entity-type":"item","numeric-id":937300,"id":"Q937300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9848c6c97564ac22b6f7cfb89b02ee753a35e08","datavalue":{"value":{"amount":"+0.7494618892669678","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":"Q385023$E804BAE1-9BCF-4B0E-883C-BAD44E0AB773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58765575dbae78dd96770aa99505a19544c4f1bb","datavalue":{"value":{"entity-type":"item","numeric-id":4020510,"id":"Q4020510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4d43b8549e248bd79943152a7a1fa2442286f4f","datavalue":{"value":{"amount":"+0.7130456566810608","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":"Q385023$7557D428-A58D-44C8-9D73-A8B1D6D0D1BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b6f1b6e5cd0336e7aa2e8607e5cba00c3b036e5","datavalue":{"value":{"entity-type":"item","numeric-id":3176375,"id":"Q3176375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5a1c3fd685f5c164104d2098cddc0a4c56b2c88","datavalue":{"value":{"amount":"+0.7037529349327087","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":"Q385023$3F9C91A1-D14D-46DC-B5F2-A56D94E90BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4745a00efc0fce5057f6e01db10644d5bf287ddc","datavalue":{"value":{"entity-type":"item","numeric-id":1186551,"id":"Q1186551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d561b088d24e25fa2f611a5df3a8212a9e66d96","datavalue":{"value":{"amount":"+0.6849204301834106","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":"Q385023$3E240052-78E8-4AB7-AD42-5D0EE1B2988D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reducing behavioural to structural properties of programs with procedures","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reducing_behavioural_to_structural_properties_of_programs_with_procedures"}}}}}