{"entities":{"Q3003516":{"pageid":3014240,"ns":120,"title":"Item:Q3003516","lastrevid":45237754,"modified":"2025-12-03T15:27:35Z","type":"item","id":"Q3003516","labels":{"en":{"language":"en","value":"An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5900423"}},"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":"Q3003516$CDCC47E7-2B98-4076-B4BE-79B9E87AD3B1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b8269e6dd2ba7fb115122f92d4fc038a59c9682","datavalue":{"value":{"text":"An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3003516$9045E9DF-008D-46E2-B6DC-DDF823040D9F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"93e45008812dc6ab8da0a66aca848d148137944c","datavalue":{"value":"1327.68074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003516$7372FEF9-8E29-4F06-9634-0EDF79417AE3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dd715f0e4547707be08fec8f7c6e64bfb109e71b","datavalue":{"value":"10.1007/978-3-642-20775-4_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003516$83392133-951B-40D2-BB4A-26660327F0A9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bce4417657072dbf7df612ffb62d3f7f351401d3","datavalue":{"value":{"entity-type":"item","numeric-id":2535117,"id":"Q2535117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003516$FEA2EFB7-E7FF-4069-8C03-A3E20A5FBE68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1dcb75a741097e430ac6ac4bd36034314214b9de","datavalue":{"value":{"entity-type":"item","numeric-id":649011,"id":"Q649011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003516$8E093606-3636-4813-95A7-82AF0AA183B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"934fdffff0f9ddf6cf8affa63ec8f5198caf4ea3","datavalue":{"value":{"entity-type":"item","numeric-id":347390,"id":"Q347390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003516$91ACDEB5-4FB5-44EA-A1FA-5A16A15BE27E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2be33655de324dde0358c2fdcfaa54a9a81e5777","datavalue":{"value":{"entity-type":"item","numeric-id":3003510,"id":"Q3003510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003516$72BAE429-41E4-4EC9-8263-171D0C98A697","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3175b0056ab29270a0640c1aae102bae06142a3a","datavalue":{"value":{"time":"+2011-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3003516$CC834684-76C9-4A6A-84A8-143B5B4C95B4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003516$5B041901-8405-48A9-A5AC-4EC4A7376AA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003516$1FDC28A1-C30F-49B3-AB7A-4FAF405385C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003516$85EBA71A-21D4-4554-87DD-788BB91A212A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c671490421d25b0c74b4d75c8ed06b3873ab4d16","datavalue":{"value":"5900423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003516$94693520-10BA-4D04-B6CE-9C70BF747D49","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"adecf1248d62f0ca239433953e8240b0639cd8a1","datavalue":{"value":{"entity-type":"item","numeric-id":20976,"id":"Q20976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003516$FD979F37-F2D3-4D03-85A1-B891A4282240","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":"Q3003516$5245E598-BC6F-4F63-B13E-77B42B01682D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"44e31f874eb85170c5244172df0ad928e84a012c","datavalue":{"value":"https://doi.org/10.1007/978-3-642-20775-4_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q3003516$5056FB98-9ECC-4A0E-AF28-F0D2884997AB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"79380c71701420c89cd31172f3b217437fee32ac","datavalue":{"value":"W1827100046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003516$68D31339-8B27-4A67-9675-52C28C72AC99","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c6b5fa0cf67945c112778b5815fa23b445854a","datavalue":{"value":{"entity-type":"item","numeric-id":2456574,"id":"Q2456574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003516$62871808-1B1B-4461-B7AE-AADFB0574CD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66f9b3acca337d205bfad6afbeddd9a4d5b0e5b0","datavalue":{"value":{"entity-type":"item","numeric-id":3498436,"id":"Q3498436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003516$C1AC4C6C-E308-4A50-B821-66DB7A371E55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5aea1d60b768e9f61f3471b59df37a934246e2e","datavalue":{"value":{"entity-type":"item","numeric-id":3003513,"id":"Q3003513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003516$67A9E958-55DA-4C04-8114-4D270E3CF2AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d819e3f356dc6061667d4bead4b6eda57bb917cd","datavalue":{"value":{"entity-type":"item","numeric-id":4787832,"id":"Q4787832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003516$75782EA2-6870-478D-81AC-F8297F777418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7694d0d07129d4904b1fa011fa6e6152932392ea","datavalue":{"value":{"entity-type":"item","numeric-id":4700443,"id":"Q4700443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003516$6B449AB5-336C-43D3-B34D-1B02DBBAF155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ba1648070bef695f88e06d2cc85cb9a461a2242","datavalue":{"value":{"entity-type":"item","numeric-id":2867964,"id":"Q2867964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003516$D8FBCD49-BE2F-489B-9E82-00027AF1B6F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a55eef15b77636f470bd4a823f30fb75e0361df","datavalue":{"value":{"entity-type":"item","numeric-id":3636832,"id":"Q3636832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003516$172835A7-3DCF-42F2-A7DA-D184E0329CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e72c4147a9c2602ec48843f1ab9ce17de072b74","datavalue":{"value":{"entity-type":"item","numeric-id":4452602,"id":"Q4452602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003516$26011412-9BC0-4986-B7AC-F6A264AD4936","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3dbc234a6544637609fb6fa1a33c805d5f09de9","datavalue":{"value":{"entity-type":"item","numeric-id":5365491,"id":"Q5365491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"782995412f23c6ce4650f7707931923c85567fd1","datavalue":{"value":{"amount":"+0.86888313","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":"Q3003516$6B74A55C-D82F-4F9B-99E5-3433B98FBFC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9e9da2cc42ab667fa09cc70726f6e080545e501","datavalue":{"value":{"entity-type":"item","numeric-id":5094117,"id":"Q5094117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81bb531f7b7e7a99199a225e2d6452efca52a820","datavalue":{"value":{"amount":"+0.8563766","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":"Q3003516$E3ECB28A-8652-4C53-A3EB-A3E7C71BDF0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b65c4ba81c379fe634399ea73b4133445b95775","datavalue":{"value":{"entity-type":"item","numeric-id":5145661,"id":"Q5145661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81bb531f7b7e7a99199a225e2d6452efca52a820","datavalue":{"value":{"amount":"+0.8563766","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":"Q3003516$A3C0CB8C-C32C-42F9-A9B3-65AAEB237883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd8b0de688b010cc7ae07cdbb66e8553bdf54647","datavalue":{"value":{"entity-type":"item","numeric-id":2844053,"id":"Q2844053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e4716555f0bcaf324460a3a524a9c6837c7f502","datavalue":{"value":{"amount":"+0.8534143","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":"Q3003516$7DF2A78E-251F-4A6F-B195-DE673C5ACFF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"178bc87819fd267d8361ed460b2cc49c66665d06","datavalue":{"value":{"entity-type":"item","numeric-id":1349683,"id":"Q1349683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c2aa6b480e40a77fc7150fcd8e3b5c756e6932b","datavalue":{"value":{"amount":"+0.84946036","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":"Q3003516$1F1BE4B1-39AB-404B-AA16-C9A1C47B2211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc55ff89662a19ca44fc4e65a75d3087d84d21e8","datavalue":{"value":{"entity-type":"item","numeric-id":1329739,"id":"Q1329739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be8985249f882169eb46efd8a184b8714a63c79f","datavalue":{"value":{"amount":"+0.8481548","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":"Q3003516$8189B7AC-D49A-4329-933E-16652F0B7A9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"065f683fc679d0029af9b309407cfe9a5920954f","datavalue":{"value":{"entity-type":"item","numeric-id":1029816,"id":"Q1029816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c776aa053d8c2e4a96b23a8b9d29f3cd31780ff","datavalue":{"value":{"amount":"+0.8469867","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":"Q3003516$0C22F642-D12D-48DA-9286-5A606EA8AF1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"130a3e91c8cd85565ec20f964395c4ef32d010ad","datavalue":{"value":{"entity-type":"item","numeric-id":2981951,"id":"Q2981951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f0cc27ae535969c6c1e3d533c830a0442470094","datavalue":{"value":{"amount":"+0.8455467","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":"Q3003516$F4E02013-DFEC-426E-AF2A-E319348D4B42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e1baee8a926f4d767df91a2260606157ab2d101","datavalue":{"value":{"entity-type":"item","numeric-id":4484334,"id":"Q4484334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c7918c8bb01a4e4fd8cc7313f14d9260c197b66","datavalue":{"value":{"amount":"+0.8449052","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":"Q3003516$0A48ADB9-E090-4F96-A87B-3B3CE3BAB98B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6577df3ebb9387f7398fadc4d509e217c2c238e8","datavalue":{"value":{"entity-type":"item","numeric-id":3520148,"id":"Q3520148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfe6aa680ae549dfbdb9384862eb733b4124dfe4","datavalue":{"value":{"amount":"+0.8448472","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":"Q3003516$9D127420-2415-4BC3-BAA4-8894F43F8B6F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3003516","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3003516"}}}}}