{"entities":{"Q2643124":{"pageid":2653867,"ns":120,"title":"Item:Q2643124","lastrevid":50150729,"modified":"2026-01-13T06:57:50Z","type":"item","id":"Q2643124","labels":{"en":{"language":"en","value":"Code-carrying theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5182235"}},"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":"Q2643124$86AA1B73-A949-46E8-9523-A85669D004A0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ecb0d7b31049e1dfff346feaed5c3aa40ef034af","datavalue":{"value":{"text":"Code-carrying theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2643124$F51D894E-B046-433A-A685-9712BE898A84","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3154aee01c87fdadf61dfbc93909ffe99ceb04db","datavalue":{"value":"1121.68030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643124$CB594211-1968-4814-B30A-D6979CA4ADD4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a24a20456dfce72b4740899a4bd7c6aec9611b4","datavalue":{"value":{"entity-type":"item","numeric-id":225076,"id":"Q225076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643124$491F87A0-2B54-4844-8743-101C3FC05D80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"52c59604767b465b5a79ea3a73dd412e20d1df36","datavalue":{"value":{"entity-type":"item","numeric-id":617920,"id":"Q617920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643124$98DF9700-EABE-402A-888B-E85521B4E268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"369a10dc968e973cf9fcc96bf9cc9fadad1cc0a4","datavalue":{"value":{"entity-type":"item","numeric-id":2643123,"id":"Q2643123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643124$38E8FECF-2149-478D-8C22-382589EFA074","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643124$645FBF9A-694A-45F8-BCF3-7C120718ACC2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"226fad3e536b676c763bdce84a93ee9c766c4ae5","datavalue":{"value":{"time":"+2007-08-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2643124$098F1F19-1B76-4967-8B33-F25AF096A443","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643124$3BFDAF0C-4F65-4652-B6DC-BB63749276A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643124$8824B742-1D72-413E-85EF-D1DA7698FD79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643124$BF89B098-D373-42EB-AF0C-B8A92830496F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1c9c67e94e5eeaf9e09813901f82e2756c554ec6","datavalue":{"value":"5182235","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643124$BFC89164-D27D-4DBC-BF31-4336D540AA76","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3d3d0d2409011411be91984a4137a1c90ca04ff","datavalue":{"value":"PVS","type":"string"},"datatype":"string"},"type":"statement","id":"Q2643124$07806E4B-1C24-4331-850E-41735BDA9ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04abcad8a2f5530bf0474a5834a19bfef39227b0","datavalue":{"value":"Functional languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2643124$C7C87C81-4D19-4277-8929-77E9ECD04104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4647e8143743aa7055fff08e7abf3344dfe867e6","datavalue":{"value":"Proof assistants","type":"string"},"datatype":"string"},"type":"statement","id":"Q2643124$0DFBE674-9202-4928-92F2-7091D3DC0347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41122834175694808dc88de94f95fbfa018d71b1","datavalue":{"value":"Code generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2643124$35F23FDC-32D0-4330-A103-12A2670CAA06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf3af4f55700a7d0f245dbbc9c7f2a981f2e6267","datavalue":{"value":"Unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2643124$75FD59D9-67A0-4813-BDDF-51ED7C9C5E99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"262e180c9e8a352198140e6071c01e463b996c67","datavalue":{"value":"Compression","type":"string"},"datatype":"string"},"type":"statement","id":"Q2643124$76EF75C8-EA1A-4EE0-9E1C-AAC873CBF5BA","rank":"normal"}],"P1463":[{"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":"Q2643124$0C8BDBE6-6079-4173-AF6E-833C8FD4536F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643124$7A047883-F701-4EB7-829C-760AF569B573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"beb205139d0971fca32ffa61e5b55aaac31a7181","datavalue":{"value":{"entity-type":"item","numeric-id":16768,"id":"Q16768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643124$6FD42C11-0D1A-4436-8318-43FC05717726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"79364288bf55a5e9e75ae6ae19441509fb2c21e2","datavalue":{"value":{"entity-type":"item","numeric-id":24356,"id":"Q24356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643124$0E264D59-35B9-4CA1-B016-7A783213AF26","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":"Q2643124$49AD6F1E-C8AE-453A-90B2-F2CA9A200945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643124$45970537-8717-4CC4-AB4A-65F5D9AB7CBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"09d0e89c904b4336aa9c702b0f719264b030c9d8","datavalue":{"value":{"entity-type":"item","numeric-id":14086,"id":"Q14086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643124$D284E58D-6A19-4E7C-8935-AFD2B9906B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643124$7E94193C-14D5-404F-B3D5-CBEE03FBCC38","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":"Q2643124$3305604B-B4E6-402E-AA91-932F6F3E6C91","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8f678c973b06d6fcabe854e41cc55402426dc710","datavalue":{"value":"https://doi.org/10.1007/s00165-006-0013-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2643124$F5F5A536-920B-46E3-BFB3-12557498E4CC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a4bfe0df3e89a60bd08ebed30eea97936fb7cf8c","datavalue":{"value":"W2158209653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643124$1382CF5F-41AA-4805-A991-C2E267A23437","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a351897245977aa0d098a2219b09f6d20cfa230","datavalue":{"value":{"entity-type":"item","numeric-id":2751360,"id":"Q2751360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643124$53BA180A-1353-4B32-AA06-B634BC017764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c60f93a1843fcd9c0656971efa4327b435decb9","datavalue":{"value":{"entity-type":"item","numeric-id":4736387,"id":"Q4736387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643124$20121C45-6DB0-42BB-9311-C3E78F2C9B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643124$CD709946-46B5-403F-8B7D-D77CD1381CCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a0a3e87dbfe98220068bf03769e2c5ebc2390bd","datavalue":{"value":{"entity-type":"item","numeric-id":3559767,"id":"Q3559767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643124$683F08CA-CDE6-4C7C-BB6A-BBED23C509E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2f77790f3de0e7a5198a8f1c64a8023dd2bee09","datavalue":{"value":{"entity-type":"item","numeric-id":5348912,"id":"Q5348912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643124$332E2722-B155-422D-867D-8865789535CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b913550218aa589bd609f48dfab72a983f8bbf4","datavalue":{"value":{"entity-type":"item","numeric-id":1961917,"id":"Q1961917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643124$A6AA3B9F-3BE3-46E6-A953-618582046A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82af13d5271451c4bb72d7b055064b56ff1b2fb5","datavalue":{"value":{"entity-type":"item","numeric-id":1322847,"id":"Q1322847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643124$4CDCC7CA-6461-4E6F-B51B-A02071F0F77A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643124$D5B8865B-BA1F-431E-8811-48FF2B399033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88d206d4cbc8d8e320cb9ec4bf8947ea28927767","datavalue":{"value":{"entity-type":"item","numeric-id":4158937,"id":"Q4158937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643124$E1E2B3F3-F617-42EF-ACEC-73964333C054","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9d98d88f95bb069f33206fa5e72da87c99990f1c","datavalue":{"value":"10.1007/S00165-006-0013-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643124$1DA08CE7-161D-4773-98E3-E0678DBABE5F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a13c8355df2c2ee6cf641c41615ae6ecc5f0661b","datavalue":{"value":{"entity-type":"item","numeric-id":5394420,"id":"Q5394420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aabeaf3a2cdddb11b06ebe5f14762a85a8d96cef","datavalue":{"value":{"amount":"+0.7215389013290405","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":"Q2643124$2BEE6B25-4B9A-4C0A-9A5B-D613266F158E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5add08a5d004f50146f4311c1ba27d67f8ad1f8e","datavalue":{"value":{"entity-type":"item","numeric-id":3477935,"id":"Q3477935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ce5fef0b56256b6bc5e4f80243c734da405fb46","datavalue":{"value":{"amount":"+0.7202403545379639","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":"Q2643124$B7515291-5CF6-4E3C-932B-043BF26E3179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aeee7517960514572b927e448ead5bd817bcf1b2","datavalue":{"value":{"entity-type":"item","numeric-id":3083675,"id":"Q3083675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e490fcbc30a9a5f01196884929ba5a7bcd3bece","datavalue":{"value":{"amount":"+0.7167137861251831","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":"Q2643124$462B0BF1-02EB-4B5B-9033-61896C7E1BCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81235c4d3f4c66b6911717e8cbf43cd34a5bdfea","datavalue":{"value":{"entity-type":"item","numeric-id":912594,"id":"Q912594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48b5e47b3203091c20bb3d447112ef40fa7f83d7","datavalue":{"value":{"amount":"+0.7158918976783752","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":"Q2643124$63EBA038-A903-491F-8380-04395511C557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"453af8c03d498c8d21ec56b964e9b31f940ab75c","datavalue":{"value":{"entity-type":"item","numeric-id":5751976,"id":"Q5751976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56cf3ef643bf1853cf45192e16fc2e9956143f6d","datavalue":{"value":{"amount":"+0.7124767303466797","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":"Q2643124$316E2B00-3157-4B34-9EA6-082BBADEAA85","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2643124","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2643124"}}}}}