{"entities":{"Q5178034":{"pageid":7207606,"ns":120,"title":"Item:Q5178034","lastrevid":41875530,"modified":"2025-05-09T07:42:14Z","type":"item","id":"Q5178034","labels":{"en":{"language":"en","value":"From process logic to program logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6413045"}},"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":"Q5178034$F6B2EC8F-20D0-4B20-B9E2-9CA8CA59843D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5619aad1bc275818eafd3819a8cc7fbd26ad66c9","datavalue":{"value":{"text":"From process logic to program logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5178034$48A476E9-0EEE-446C-968A-958D1C5B5CCB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b1d5a8fa2b20110256ff2379bee9678ccb5af8ba","datavalue":{"value":"1323.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178034$553E2B0D-5185-42F5-8681-6036CEB4C5C3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b7d67ef047b5cbfe07cfc9b5db38713f7acb16fe","datavalue":{"value":"10.1145/1016850.1016874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178034$D36DD045-BBB2-40B2-91C1-8258583FF146","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea26bd9363516a1e83177046ce0c28b82e974bb6","datavalue":{"value":{"entity-type":"item","numeric-id":387992,"id":"Q387992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178034$0A984556-1B67-4E2C-8507-11D50BC7DCC9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f33a483a1a2d9de990034c7d88e54d11356b8521","datavalue":{"value":{"entity-type":"item","numeric-id":5178016,"id":"Q5178016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178034$45FCC5CD-0184-4F24-8E9D-B710BECA044E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19529df7d3312773fdd8684f0485c293d53ec310","datavalue":{"value":{"time":"+2015-03-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5178034$703BA060-0E75-43D9-B4A7-B028D239B340","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178034$91435388-F128-4D18-9E26-185AE184BACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178034$87B255D7-9F24-4593-9C1F-A8C564A14181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178034$E93A5CE7-7FE6-409F-8075-419E55764B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178034$693DC015-D727-4659-83D5-23F5FAA014B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c568b854aaa5b5cff19d826f689cd13971f3da59","datavalue":{"value":"6413045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178034$E9750E6A-BFF0-4993-8F9B-34B9845D5FAD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"655cd682a4adbd6541d5cee97296a1d75bee9632","datavalue":{"value":"\\(\\pi\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178034$B4BCE12E-448B-4A9F-9573-2FBAD19702C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1ecf978a28e5d1baefdbd10dbc4f102a6158a13","datavalue":{"value":"duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178034$ADD4A944-913F-4209-8E86-363ED2FE4EDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3dc896052e56d420496bcd412a3e3ef4322f80c","datavalue":{"value":"higher-order functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178034$C89457C8-43A0-4F8B-8360-E3253159493F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178034$EFA4DBCF-9D94-4C19-8EC5-D4A45914F7E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f19b6ded09dbe72613987543c6e01033c3baf4b","datavalue":{"value":"mobile processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178034$BA6A5090-86F8-483D-BC7B-D9FB58A6BA36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"485447b25ea9ae3ba0e28b66b16f57c15b7c1fe1","datavalue":{"value":"types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178034$95FF3AC3-503D-4CDB-93D8-3ACB6235B4FF","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":"Q5178034$A6926713-2431-4950-B7B9-11AAA6FD3B2A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e16af7567e6df4bae51a5bccd0195a56820bca61","datavalue":{"value":"https://doi.org/10.1145/1016850.1016874","type":"string"},"datatype":"url"},"type":"statement","id":"Q5178034$254E7AB5-D575-45C6-9DBC-DA7B38EE992A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b8ad557377c49454f3c7275c6653bc18c9ead60f","datavalue":{"value":"W4210377277","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178034$A116D7A9-CBA4-4981-B6DE-89F2185C6A1F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9e08d09a8dddc19f806341388a51042b5c8f4b7d","datavalue":{"value":"Q130884306","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178034$977D65CE-7B98-4BED-AC77-ECCDAAF7FD21","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bd1e2ee16f04d124652968ecad4a9656f649659","datavalue":{"value":{"entity-type":"item","numeric-id":4318616,"id":"Q4318616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"867a97728cee7bd28266df195ceabda2d351b77e","datavalue":{"value":{"amount":"+0.92336273","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":"Q5178034$FFB0AB62-DDB3-4461-B227-6D1BE977E731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70c81a0762ea02fe180ae28bbea5717823f5defa","datavalue":{"value":{"entity-type":"item","numeric-id":3343422,"id":"Q3343422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"087ed74acc14cf889109ae82c98e89394503e819","datavalue":{"value":{"amount":"+0.9060525","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":"Q5178034$95B5ADF3-EA29-4F50-96C8-504D21298BE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6e92dd7c17c8b45b7031edd800ef7e1de5bd67c","datavalue":{"value":{"entity-type":"item","numeric-id":3355243,"id":"Q3355243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"040e544d1d9d4513cd6c7b2ed064071db1080369","datavalue":{"value":{"amount":"+0.90304726","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":"Q5178034$7329AF1B-7284-4393-9706-D848B1250D00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20aa3eb6d08f759e49b3caea72e55fc53284fba9","datavalue":{"value":{"entity-type":"item","numeric-id":5038460,"id":"Q5038460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e1c82c8e8426d62116c399aa2529dd9956944ad","datavalue":{"value":{"amount":"+0.89847434","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":"Q5178034$C99165EC-C241-4743-9739-677B2CA2BEAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34a8b12c0eba262e728b60605fe82645358baf0f","datavalue":{"value":{"entity-type":"item","numeric-id":4940938,"id":"Q4940938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b6230439c2f4918f22e72de237880a64c8b6ca3","datavalue":{"value":{"amount":"+0.88417053","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":"Q5178034$38CAEF2C-15DF-4954-8135-188734E1BEF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2aa8b0a991a2bb3c04631b00cd71b83de85fc43","datavalue":{"value":{"entity-type":"item","numeric-id":3832050,"id":"Q3832050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af8b572dd647a1e7b9bd63649203010c97dd30fb","datavalue":{"value":{"amount":"+0.88319165","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":"Q5178034$E19854EB-ED6A-4582-8E74-3A117B32BC90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73deb6edc1747f5fb84f12770917470a23283ad8","datavalue":{"value":{"entity-type":"item","numeric-id":3790632,"id":"Q3790632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df4b31513f7a696c871d0e13f3bbba3f187d046f","datavalue":{"value":{"amount":"+0.8779913","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":"Q5178034$B0D90CDE-3ED6-40ED-A235-77DD2C2057CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"150ec41cca31534b83a2031a23ff46f22a466d9e","datavalue":{"value":{"entity-type":"item","numeric-id":2945730,"id":"Q2945730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5b9222585d9d982c90aafd5eda21b44bf0cb295","datavalue":{"value":{"amount":"+0.87756455","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":"Q5178034$F0B83142-F37F-4722-8E9A-EF730FE8B940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3acc5cbfb852d3e22f378115498add9ca02cdaa8","datavalue":{"value":{"entity-type":"item","numeric-id":4529487,"id":"Q4529487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"841e4460ac2b7ef4d9d54cc926afad43ba02ec6f","datavalue":{"value":{"amount":"+0.87712795","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":"Q5178034$889AAB47-CB3A-4E2A-87DF-749C703C03A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e662f513c1fe02d885b44f5224b251af20d9f189","datavalue":{"value":{"entity-type":"item","numeric-id":2842601,"id":"Q2842601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b167cbe6efd361cd6d1c14336b468deac410d7a","datavalue":{"value":{"amount":"+0.8758224","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":"Q5178034$68007A7C-E7A5-440D-9C5E-D62CD3614CB0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5178034","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5178034"}}}}}