{"entities":{"Q2981997":{"pageid":2992722,"ns":120,"title":"Item:Q2981997","lastrevid":52799384,"modified":"2026-01-23T13:01:40Z","type":"item","id":"Q2981997","labels":{"en":{"language":"en","value":"Farms, pipes, streams and reforestation: reasoning about structured parallel processes using types and hylomorphisms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6713890"}},"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":"Q2981997$D902AAE8-79EA-41BC-A1BA-FD6C7D9743B7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"200a1146ba1a5b6e2333a7a37fd19e20b0468e7c","datavalue":{"value":{"text":"Farms, pipes, streams and reforestation: reasoning about structured parallel processes using types and hylomorphisms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2981997$3BE4B225-93A5-4DFF-A842-8042EBDCDC5B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9556967777c105d9e24fa0a3f477311457ab1ee6","datavalue":{"value":"1361.68061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2981997$33AD8530-35FF-4334-A819-AA9051DCE0AD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2122d5707b57c50b65329abfcb98f6d3739bbfa5","datavalue":{"value":"10.1145/2951913.2951920","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2981997$A68740E8-3C5B-431E-863B-543BEC1505A8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"be03abfa5f1a8d5adc1a8efc52729d4ccfc9f207","datavalue":{"value":{"entity-type":"item","numeric-id":2981995,"id":"Q2981995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2981997$5A878E9A-44C3-493A-A196-34F41D63326B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9cbab8cb9619eb1f53de501c60c49def4220f6e","datavalue":{"value":{"entity-type":"item","numeric-id":604858,"id":"Q604858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2981997$9565D6CF-E4DF-46A2-87BA-BC50BD82CE4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"150a6b0b2b8289ee781f8cda58bd776255ac6b3f","datavalue":{"value":{"entity-type":"item","numeric-id":453522,"id":"Q453522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2981997$EB10E0DF-DBD0-4CDD-A491-B40531E51BFB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"423c52aacdf5e1820397bb95b30ee85c088ba9ab","datavalue":{"value":{"entity-type":"item","numeric-id":2981996,"id":"Q2981996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2981997$6536D83A-08AB-46FC-B192-F8C363334FF7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"81927d6a17a89da4e5bba03bf491f09d50a9b6e5","datavalue":{"value":{"time":"+2017-05-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2981997$9FD670CE-6D66-48DF-B9B3-0A13CFE6F1FA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"358183d85e77355dfc9ea5e350a386279bfa7377","datavalue":{"value":"http://hdl.handle.net/10023/9810","type":"string"},"datatype":"url"},"type":"statement","id":"Q2981997$F1F3A79E-FB5B-4136-A416-0F93C6A153C8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2981997$81AD1058-7A46-46A4-BF4F-94AE45AA8B7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2981997$E71702EC-A783-418B-A07A-35A9E41FDC95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2981997$AF1D9945-9103-4091-9C4B-E7F341B2449D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2981997$F61F2E5B-38FB-4F85-8608-A1AD07591076","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"533227478ab2298553bf89e893bc2286f7fdc6f1","datavalue":{"value":"6713890","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2981997$78C9A496-82C0-45AC-AA39-4AF36E04A48F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5363a43478db45b4fe7ca9bf2ddd9319c05c5363","datavalue":{"value":"parallelism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2981997$1DE9B182-4154-4B22-BB4F-113B40AAE8C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b452b0f39ae35e8a5d399395cd6db8de94fc83b","datavalue":{"value":"hylomorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2981997$AA5B0C04-7FB4-41D8-BEFA-48AC32FC52BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58acf4952d5f9adc27bc95a2037859c88d48f9a6","datavalue":{"value":"term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2981997$DD0E77EA-13F4-4ACB-B8F8-0769C128499A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaba8710741c3625f74acb34aa4edd5eb82e000b","datavalue":{"value":"type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2981997$789F2E0A-30F2-4A77-B458-CB6971D2EAAA","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":"Q2981997$9080D43A-5763-468D-A44B-B8F80282461D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"80971f79e0eb1159b5f0581a4ce081094abd594b","datavalue":{"value":"W2507299602","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2981997$C6EA3D0B-BE9B-423A-847A-68EB406C214C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d582d63be8c0014b06cbe9befb02808a1e3e556","datavalue":{"value":{"entity-type":"item","numeric-id":3367669,"id":"Q3367669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c88bd795bd09b6e0ecfd0a4ecf0d82fc533be1e","datavalue":{"value":{"amount":"+0.7685347199440002","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":"Q2981997$11961E4B-6C80-4E1B-A8C4-15B75F37EFC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5674a2aeb6dc87052d7302978073e5f11a4dbcf2","datavalue":{"value":{"entity-type":"item","numeric-id":5311400,"id":"Q5311400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87f8b6fae0101262062d47e44642bf5169d993af","datavalue":{"value":{"amount":"+0.7664321064949036","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":"Q2981997$FD1DE114-ECE3-46CA-A2D2-4FF158F4B0BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4946571d81a926278c5e5c1881ba23765de49f9e","datavalue":{"value":{"entity-type":"item","numeric-id":2744176,"id":"Q2744176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bb473c7a2d059f119d134179105da2e15df36b4","datavalue":{"value":{"amount":"+0.7461740970611572","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":"Q2981997$8BFC223C-E6ED-4C18-A37B-9D72FE6E93D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4e93f22913263e3ff5cb45291d1b62f9bce661b","datavalue":{"value":{"entity-type":"item","numeric-id":676659,"id":"Q676659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"883f278899206cc1d925aa2a48745b3a3bccee5f","datavalue":{"value":{"amount":"+0.7461740374565125","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":"Q2981997$5EB5DD89-EB72-4221-9BCD-C3E01CA1244C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24eb7449a7128ea77e8b219af242ed35c920cf92","datavalue":{"value":{"entity-type":"item","numeric-id":4460213,"id":"Q4460213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d6645212ce37f12c201648db2ceec403954f640","datavalue":{"value":{"amount":"+0.7451759576797485","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":"Q2981997$919090DB-1A86-4A05-9AD4-CBF6B6F00E27","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2981997","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2981997"}}}}}