{"entities":{"Q1006648":{"pageid":1008496,"ns":120,"title":"Item:Q1006648","lastrevid":42816360,"modified":"2025-07-14T09:40:02Z","type":"item","id":"Q1006648","labels":{"en":{"language":"en","value":"HasCasl: integrated higher-order specification and program development"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5532866"}},"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":"Q1006648$E0306FEE-C6E8-4E2C-A4FC-4B27DC3E8324","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"21e51a2c6b7a31942e6ac8a012464915c3415b61","datavalue":{"value":{"text":"HasCasl: integrated higher-order specification and program development","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1006648$29420687-FBD2-4D0D-9E41-C3F2341F1C44","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8964880b6eb116df0942c67edb47974005d0148f","datavalue":{"value":"1172.68040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006648$214AED8D-BCB9-44AE-B8A8-2FD3271D2A96","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1eeed33b2287d1ef7af5a3fd00bdb188f793ecc6","datavalue":{"value":{"entity-type":"item","numeric-id":234493,"id":"Q234493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006648$1D8733A6-7518-4066-A2EA-2D567D279ADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"431bf8683ea89426e31cb1e39f82476b555daaec","datavalue":{"value":{"entity-type":"item","numeric-id":420799,"id":"Q420799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006648$C88376CB-ABE3-463C-8018-6473CBA3E058","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":"Q1006648$1702FEEF-2E85-46A8-8DCA-BBD10CB3312A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f17d548f42efb27321ed2d9ca45a732b10fcb2c","datavalue":{"value":{"time":"+2009-03-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1006648$2AAE000B-AAD8-439A-AF99-3EF9981DF912","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006648$7AFA192B-505B-463F-9498-E13A801DEAF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006648$C1C3A11D-6E44-45A2-9471-6AC436AEC946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006648$40824F44-EFE3-4C8C-90D7-2C05BB71C249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006648$64300E6C-33BD-43E9-A6DA-B49222E47191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006648$767B8DEC-EE6A-4C91-88D0-4AEF62A4B1B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bb5fec36af5daec64ae70a52bf8139e349a901e2","datavalue":{"value":"5532866","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006648$6EC94B9C-024F-4148-9E05-AFBA052265B0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47aefda07ac5d6e74103bdf2455b1df41b0e324b","datavalue":{"value":"algebraic specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006648$796E117C-4857-48FA-B3BA-581297B6F588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006648$DC573A23-79BC-42A3-AAE4-752DDB6DB391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff33796796e98480bd831c12f8abdaa6ed1568ba","datavalue":{"value":"type classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006648$C65B7E9E-2638-4FDF-80B6-D4B813B7B18D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c47bd69800ec9a3c8fdb3c483630a46ac282cb0d","datavalue":{"value":"polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006648$CB77631F-EF0B-42A0-BEC3-B300C60CB5F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa26151fa3ecf38aac5df67c7cebe0e2b3bf032b","datavalue":{"value":"Casl","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006648$78FF171D-C6F0-44A2-82BD-6DFD7C84D2EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a236a4a9881a761a93f593b6fc0a0e9903a99925","datavalue":{"value":"monads","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006648$88FDF34C-5B3E-44E8-8F5A-F4EC293D7CAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006648$EB79E3A3-1EA0-421C-AEA0-5B1D7B22D1C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006648$A2905E79-33A8-44DF-B713-DC492A76A72F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cba2f313ea2959f110ac642e1b84e6e89a9f1c6b","datavalue":{"value":{"entity-type":"item","numeric-id":14779,"id":"Q14779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006648$2FCFEE52-6E1A-4F8D-A719-79E0F30AEDD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9cc08f1ee64c2fc0d984a8fe54c7c857eeb0cc4","datavalue":{"value":{"entity-type":"item","numeric-id":18366,"id":"Q18366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006648$96B2A66D-F359-40D4-ABDD-C94F7894CFE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"80ad234dc0924dda60983aa70fc106cb35f3b96e","datavalue":{"value":{"entity-type":"item","numeric-id":19080,"id":"Q19080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006648$B43DEDD2-D213-4E1C-B867-0A9A7FC7B3BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006648$086235E1-8916-4827-95FF-96F78A893614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006648$91B5421B-FD0C-450D-BCE3-24F5A8EE9CE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006648$DC1528A3-F99B-46D5-A558-FAD15AAB9041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"56183f18c1b7292025f517695163436751950f86","datavalue":{"value":{"entity-type":"item","numeric-id":22253,"id":"Q22253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006648$4FBD815B-5134-415C-9A8E-540D28741FF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8867cc230123c9cdf6c24d64516128716c50086d","datavalue":{"value":{"entity-type":"item","numeric-id":14336,"id":"Q14336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006648$19AF1A15-F0F1-486E-9BCC-4B14CA889E0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"91328e3ac5dfce9b45d01b607b8d8c272a5b6733","datavalue":{"value":{"entity-type":"item","numeric-id":14670,"id":"Q14670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006648$2B710F05-547B-4A64-9AEA-543EE5F502B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006648$83E3458B-7896-448C-8576-6F723570FAD5","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":"Q1006648$AD64B1F1-9297-4B73-ADBD-9893851FB354","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9d7aecb90a16265e8a591e88bcde79f76b03a058","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2008.11.020","type":"string"},"datatype":"url"},"type":"statement","id":"Q1006648$F6774E17-0434-4D94-B357-C7ED0808B155","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ab7213569aad2f23e846cb92555ebd6cb6b8c213","datavalue":{"value":"W1989984154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006648$D51DBF73-CE03-4F7D-8E79-A13BAA41311C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e8e358264bd4fafb5ae8fe354ce3b216cca1b18","datavalue":{"value":{"entity-type":"item","numeric-id":5311256,"id":"Q5311256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006648$DBDCA64C-46CE-4F9A-84A7-486EBED11127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"605cd54b5666989f05001b3d36d606561ce4ef39","datavalue":{"value":{"entity-type":"item","numeric-id":4693062,"id":"Q4693062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006648$3A98379F-9421-47E3-B3BF-2C9BFAF830AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38a7c4cebd825b53d75168e9481667aaf60a484d","datavalue":{"value":{"entity-type":"item","numeric-id":673184,"id":"Q673184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006648$08557EB6-D3D6-48A4-86C2-BA60871272D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cd705a1c4c13e7602f282c4e64be62fd689b41c","datavalue":{"value":{"entity-type":"item","numeric-id":3219093,"id":"Q3219093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006648$04579695-7CD9-4571-86EC-C73EBFF9D338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20edcd59bc17da043a934bc071def38938532f97","datavalue":{"value":{"entity-type":"item","numeric-id":4945200,"id":"Q4945200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006648$E1ADFBE2-8945-4CDD-954D-5D50C4531788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"672d742f9083697d3e0cc58dbf60b9bab3721515","datavalue":{"value":{"entity-type":"item","numeric-id":1422256,"id":"Q1422256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006648$9E07B931-7DA8-4E81-80F0-732ACD8D83CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7a84670e1043abc01048ef4420e31272ab86a57","datavalue":{"value":{"entity-type":"item","numeric-id":5697712,"id":"Q5697712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006648$12CE3741-7E5A-40C5-9614-C7803CAF020A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9ea6bceb7438f91c141dbd98a2ad103e44ba224","datavalue":{"value":{"entity-type":"item","numeric-id":1391728,"id":"Q1391728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006648$75C227D4-FC11-4F1F-BD51-72D928E4954E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69bd394a77de6a66e7c3ead14354e268bd49cc00","datavalue":{"value":{"entity-type":"item","numeric-id":997833,"id":"Q997833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006648$E122B523-24BF-46A9-909A-E57C6D2AFD5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"685b6f2241ca731964008614149743ea5d098bf5","datavalue":{"value":{"entity-type":"item","numeric-id":2715825,"id":"Q2715825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006648$D18305A5-8FD1-48AC-A2D0-3C891357FAEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"226149966044b48001c0682076573b6d91099455","datavalue":{"value":{"entity-type":"item","numeric-id":4773988,"id":"Q4773988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006648$9CF8109E-00F4-4332-803A-4D894D335BCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f7e552624c7482f44c8f176f8e4a3c6ebea718c","datavalue":{"value":{"entity-type":"item","numeric-id":4944851,"id":"Q4944851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006648$673D7636-928A-4A17-AA87-1E85A7603CA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37e9e74444c8d384de071d7896bd036140e8ba38","datavalue":{"value":{"entity-type":"item","numeric-id":4738223,"id":"Q4738223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006648$000F97EC-A411-4EC4-9A59-575EE07A678F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882e318ac9b6bbd79e82dcc1ce3fe340042f5778","datavalue":{"value":{"entity-type":"item","numeric-id":699761,"id":"Q699761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006648$42025942-1B65-4338-8624-6172CBBDBF38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10823bf5be5278cbff1c98afd96bfe396ccae834","datavalue":{"value":{"entity-type":"item","numeric-id":4845499,"id":"Q4845499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006648$451212C4-A8E5-42CC-83FB-739A5FE3BC0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b293ae9b2f27e3d3eb442629a606172136571336","datavalue":{"value":{"entity-type":"item","numeric-id":699929,"id":"Q699929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006648$CB9EAD67-16F4-4EB0-873D-B27A5D2E899E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"443ade8344e996017f9036639debfb0f18f67baf","datavalue":{"value":{"entity-type":"item","numeric-id":4302820,"id":"Q4302820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006648$9E444AFF-2D1A-4446-BE58-12CAC0374F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4004b60fb50028115f47aebcb22c76a21e13ae4","datavalue":{"value":{"entity-type":"item","numeric-id":5756704,"id":"Q5756704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006648$186705A9-F5CF-4380-B7EF-4750A70468B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"093682f82b55047546d767040082e61c8c07c786","datavalue":{"value":{"entity-type":"item","numeric-id":4282672,"id":"Q4282672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006648$FA6EF99A-88EE-4ACE-B2DD-8C2A9906EFC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b5d01408d1d1c287e244523e2c4a5a0a8b8e3aa","datavalue":{"value":{"entity-type":"item","numeric-id":5708288,"id":"Q5708288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006648$63E83E33-0887-4635-9CA8-2E0AFD9776CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80a80deb0cfb397883fb743c9d595c86bd3fc1b4","datavalue":{"value":{"entity-type":"item","numeric-id":1391097,"id":"Q1391097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006648$B76228E4-0D50-456A-AF2B-0731F2737168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1152b2ce16ac8a812229c1865a9ec7fcf5a1c9c4","datavalue":{"value":{"entity-type":"item","numeric-id":5791200,"id":"Q5791200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006648$A5D63216-33D2-488D-93C4-788F77504773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dadfa1b08fed9e6b9334a3506da6e784f2cd4d7","datavalue":{"value":{"entity-type":"item","numeric-id":3976461,"id":"Q3976461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006648$20D18C70-CC50-46C0-9F5E-5B95648224E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a98e1d68003b0040c15c163e66f3fd9578fb9386","datavalue":{"value":{"entity-type":"item","numeric-id":3997074,"id":"Q3997074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006648$B7F56F79-C6B7-4D91-8D4B-C200AF8E916C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72b6d9441aac6897b5d45a7a0f662fb26bdc2630","datavalue":{"value":{"entity-type":"item","numeric-id":1391731,"id":"Q1391731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006648$0E121A67-F6B2-4A1A-A364-3223FF446DFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006648$08C3C779-9C7A-4A67-A05E-28EEAA2FA4F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4683cdb4f5cf0be2e8416cb6ebf86720cc1c88b6","datavalue":{"value":{"entity-type":"item","numeric-id":5687911,"id":"Q5687911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006648$771A2A68-78C5-44D1-AA19-31CFF7245CF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006648$05973E93-F08B-4E19-A61F-40A5DCDC2169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f69e4e3c6e6db6273645f322c23116e1ad1c80","datavalue":{"value":{"entity-type":"item","numeric-id":3343983,"id":"Q3343983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006648$B16ACC8B-6705-4D52-97E0-653DDB85745E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc0c53b37a566572d86f01f7ce274b955eda8d24","datavalue":{"value":{"entity-type":"item","numeric-id":3032225,"id":"Q3032225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006648$70D0213B-68EB-4362-BDF6-5AB51F458603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05d235b13b6189b04afc72d8494188fd02e92ea7","datavalue":{"value":{"entity-type":"item","numeric-id":2703802,"id":"Q2703802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006648$CF255C9B-7B82-4D80-8C24-C95DCB378799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b0c6d6d042c46abf1963fa55483f5344d41b204","datavalue":{"value":{"entity-type":"item","numeric-id":3827990,"id":"Q3827990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006648$E5A7A8CE-BDF6-46C2-A5DD-449AABC86AEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bde19d283d42edf106d6209c4d5562a85b28e299","datavalue":{"value":{"entity-type":"item","numeric-id":3764126,"id":"Q3764126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006648$599620A3-06DC-43FF-B185-286836C6F3FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c97beec64225e48f32a96d21447b86e8b4764e8c","datavalue":{"value":{"entity-type":"item","numeric-id":1109126,"id":"Q1109126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006648$B80F57B9-A50D-4AC7-89E4-6322C37B52B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006648$8AE4A685-5D6F-4F1C-A0C7-B98CD7993599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bce42d0e1b28625faf6385be733adf88021aaed2","datavalue":{"value":{"entity-type":"item","numeric-id":4327833,"id":"Q4327833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006648$9725666A-B941-4C6B-B1D3-359B8A6B5B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a7cf5769e870adc90a6df2446c81bab9afe3a19","datavalue":{"value":{"entity-type":"item","numeric-id":5703987,"id":"Q5703987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006648$55A7C494-A7A3-4BBB-B851-605BF5B00C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eedd2defa322689670ffba56a5755fdfcf124e7c","datavalue":{"value":{"entity-type":"item","numeric-id":1853458,"id":"Q1853458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006648$80A2CF0A-CA1C-4E63-91DD-3C918ECE3182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce9eb6c941375c753f19057467c47613aaec27a9","datavalue":{"value":{"entity-type":"item","numeric-id":1881752,"id":"Q1881752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006648$B47AE267-D5F0-49DE-B9F5-2A5AFF0D6A17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006648$38A1C0EA-6E8C-4D43-BC1D-16C7F01A4345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2eb6fb1b854349290bdff4acf3c17af629dc6f56","datavalue":{"value":{"entity-type":"item","numeric-id":700972,"id":"Q700972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006648$C28A4834-5C1F-4474-8FBB-6F3E88D9A49E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa74c271834bf537f060d2b0b575f3bcd6edf97c","datavalue":{"value":{"entity-type":"item","numeric-id":4340418,"id":"Q4340418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006648$955BC841-6581-4BFC-8EBD-FFBDB1806552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"234a72454df53d61ac16bbd43d99bc7ef1ed77f2","datavalue":{"value":{"entity-type":"item","numeric-id":3419812,"id":"Q3419812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006648$9D4B47A3-7F09-4042-A3A4-FEC50BC09C1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f08d6a93b5519fe40946b3c81233b0a486a55307","datavalue":{"value":{"entity-type":"item","numeric-id":4414308,"id":"Q4414308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006648$B556E201-8457-4BC8-9268-C4003E7470A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e32e6c895a421389f04c5499d388fc13d53e99f","datavalue":{"value":{"entity-type":"item","numeric-id":2778806,"id":"Q2778806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006648$56DCFC71-67CB-440A-A3E0-3C5A19B87252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff195701c0a951481f573bb7459fc69fbbed7fe9","datavalue":{"value":{"entity-type":"item","numeric-id":3786612,"id":"Q3786612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006648$2BFAA813-60FE-4825-A0BD-EFB748A11E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"960fd40f59fc58f3b7c8f870aba6cbbfd12894f3","datavalue":{"value":{"entity-type":"item","numeric-id":3024884,"id":"Q3024884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006648$015768A0-ED74-47C0-A2B6-469C6320F4B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dc3b0702e7319691e861c2b9c33f64a0c62f0e1","datavalue":{"value":{"entity-type":"item","numeric-id":4499141,"id":"Q4499141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006648$B91169EC-5555-45CC-8F91-21F65C84101B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58fb92aa97215cd52dfc07da2e9bd2fd28ab427e","datavalue":{"value":{"entity-type":"item","numeric-id":1090100,"id":"Q1090100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006648$A8D814C8-71D9-48B0-864E-92E450D4CFB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc466fb54893c2a18b4a7999f168ba54c05d3970","datavalue":{"value":{"entity-type":"item","numeric-id":5703991,"id":"Q5703991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006648$790AAF99-1D4A-4644-87D0-4F52638D34AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c37063650745518c5945c29872f16933639ea9e6","datavalue":{"value":{"entity-type":"item","numeric-id":2764130,"id":"Q2764130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006648$4D4DEC70-46A7-48EB-8D03-EEBBCC9ED71B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b6ff8758dfd2a41fd9a6fe5b9dec1ea9bc0bab3","datavalue":{"value":{"entity-type":"item","numeric-id":2996141,"id":"Q2996141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006648$FA7FBF36-A737-400F-9B7F-3B6CE960F4D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db532ef17174155fee4f63724874e0cbb10079e8","datavalue":{"value":{"entity-type":"item","numeric-id":4417837,"id":"Q4417837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006648$F20DB3E1-4551-4303-8BFA-098D7F93255C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7279c5ed1e6f357c01cf7eea3028d17aee56f843","datavalue":{"value":{"entity-type":"item","numeric-id":4823808,"id":"Q4823808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006648$4E3680D4-9D77-4EE0-A000-B64FB229DEBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6c0af40949beda3edcafee0d25dbe83f781cf11","datavalue":{"value":{"entity-type":"item","numeric-id":5311271,"id":"Q5311271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006648$5DDADE66-6221-45E5-BA99-27FAFB8F2868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb099ab94b8435f6385f6ef6fcdecd000a60d11d","datavalue":{"value":{"entity-type":"item","numeric-id":2368980,"id":"Q2368980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006648$C95A58A2-B2D6-49D0-8C9B-CBE116B34C29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ae492af3058b147a8de6c27e504c03695a0557f","datavalue":{"value":{"entity-type":"item","numeric-id":3612506,"id":"Q3612506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006648$9D4D81C7-5D00-40CB-A2AA-CADB9892A5CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a2c73ea523922ddf10917d5a60c3c9e9df84e94","datavalue":{"value":{"entity-type":"item","numeric-id":3995087,"id":"Q3995087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006648$EA95A007-9AA5-4252-A6D2-F2E68ACD49DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5823ba7ed65b2023ef4dc205c86be60dbe4d0cf4","datavalue":{"value":{"entity-type":"item","numeric-id":3998741,"id":"Q3998741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006648$ED53A7B3-AC3F-44F8-BC8D-2571444083C3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f2aeedb093af7e37c0a088d8465de6d729fdeea7","datavalue":{"value":"10.1016/J.TCS.2008.11.020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006648$5E4D2583-9111-4557-BF9C-4403E9A304BE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"748dea9e531ce47b7d5aaebbb9541902424fa528","datavalue":{"value":{"entity-type":"item","numeric-id":2996141,"id":"Q2996141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7ecd26679d54fed9393ed22087a59dd073412a6","datavalue":{"value":{"amount":"+0.9372374","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":"Q1006648$7A429E99-C3CF-4ABD-982E-8A3546B2C6D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"139ec918f6b4972880665f4c6ce4534e328919e2","datavalue":{"value":{"entity-type":"item","numeric-id":4680193,"id":"Q4680193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"652fe3738f9fb7ab0b67f1c77ec24b4efeba245d","datavalue":{"value":{"amount":"+0.8487638","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":"Q1006648$5E0981BF-0F76-4EB3-AEE1-03BF7D272E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dbe7c634ceb73cf27a8198a2e1e9d4429917653","datavalue":{"value":{"entity-type":"item","numeric-id":2848480,"id":"Q2848480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbb35e0520aac9a3020e92dd054a69d9a85f989d","datavalue":{"value":{"amount":"+0.8458223","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":"Q1006648$68DE7581-C9AA-482D-8313-9E1197673DF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c3c62d1d77021ab3323a10003b2514c64594faa","datavalue":{"value":{"entity-type":"item","numeric-id":2729074,"id":"Q2729074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a34f2d506256ed423ade87979bc3677ae2e6c3b1","datavalue":{"value":{"amount":"+0.8456264","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":"Q1006648$F13FC1E7-3837-4203-80E7-EA8F78344F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad97cca0639be0a48818f2cbb5e0b996e3ed0700","datavalue":{"value":{"entity-type":"item","numeric-id":5410689,"id":"Q5410689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b5a0eb0e33b910941a8fd42cc7dfc80c95503f5","datavalue":{"value":{"amount":"+0.8379588","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":"Q1006648$92AD4F9B-5ADA-41A6-9D80-B7FBAD4593EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bdbdecad85a5bd4cda8188da9fb7c5fee474bce","datavalue":{"value":{"entity-type":"item","numeric-id":3753930,"id":"Q3753930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38f2398d0d5350ed4f6020169ae7243336b99683","datavalue":{"value":{"amount":"+0.8372712","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":"Q1006648$1D8B55C5-6317-4796-B545-D4D50A938D3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2997bbb8d74b222e50d323148ef6e9da5f20e7d7","datavalue":{"value":{"entity-type":"item","numeric-id":4035654,"id":"Q4035654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b8e06dc07e288aeb11c71154a955aed7eddc87b","datavalue":{"value":{"amount":"+0.8343046","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":"Q1006648$804903EC-B101-41A8-935B-1D069CD7EC2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c581e669ae9408182aff3af608d0ce1c9f3579f4","datavalue":{"value":{"entity-type":"item","numeric-id":5747671,"id":"Q5747671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41ae287e5de65741e077a5dcfda347efd146cde5","datavalue":{"value":{"amount":"+0.83258456","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":"Q1006648$AC657A30-D8B3-40DD-B7DA-387588C860EF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1006648","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1006648"}}}}}