{"entities":{"Q801666":{"pageid":803514,"ns":120,"title":"Item:Q801666","lastrevid":64442370,"modified":"2026-04-11T19:53:45Z","type":"item","id":"Q801666","labels":{"en":{"language":"en","value":"Necessary and sufficient conditions for the universality of programming formalisms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3880076"}},"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":"Q801666$2F97B59A-6293-49DE-87E8-EDC661C117F8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5c171a6fc7d8e79e31a8c62402f2f67b6ee67aad","datavalue":{"value":{"text":"Necessary and sufficient conditions for the universality of programming formalisms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q801666$64E27C7D-2E55-4633-9FB6-89BFDAD9ADEF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"86363ea96f80824929b2e55359356c8ffeb4f9ae","datavalue":{"value":"0552.68008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801666$F1CAE60B-DF1B-4E18-8916-E45732A62745","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b2d9809fa39365ddd78bcff89d565bb55db285b6","datavalue":{"value":"10.1007/BF00288773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801666$3A52CE1A-3B79-432F-9705-0552932D2264","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"51d9747839bcddbd973b100af1b34777607177c4","datavalue":{"value":{"entity-type":"item","numeric-id":801664,"id":"Q801664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801666$6D7FCB57-32FB-44DE-B23A-6AEB28671B3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e27ee549e3862dd1e883829fc71d54217245973b","datavalue":{"value":{"entity-type":"item","numeric-id":332079,"id":"Q332079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801666$F0F47884-F497-4B2B-8C7C-D59C16FE6B4F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801666$B31F40BA-8612-47B4-B0F8-D116A3EA277B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q801666$05EA7143-3E1D-485F-8CEC-61D902E0E50B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d6b91d91785f86f61070f65846ac8508a928aacf","datavalue":{"value":"Over many familiar datatypes the notion of ''computable'' coincides with the notion of ''flowchartable''. For example, any partial recursive function is defined by a flowchart program over the datatype \\((\\omega,=,succ,0)\\) where succ is the successor operation on the set \\(\\omega\\) of natural numbers. It is also known that flowcharts are not a universal programming formalism over arbitrary datatypes, in the sense that the notion of ''computable'' is strictly more general than the notion of ''flowchartable''.    In this paper we consider various extensions and restrictions of the basic formalism of flowcharts, and then for every such formalism, we characterize the datatypes over which the computable functions are exactly the functions programmable in this formalism. We say that a function is computable over a datatype if it is effective relative to the primitive operations and relations of the datatype (which are assumed to be defined everywhere on the domain of the datatype).    Our results are expressed algebraically, putting simple restrictions on the primitive operations and relations of datatypes. For example, we prove that the notion of ''computable'' over an arbitrary (one-sorted) datatype A coincides with the notion of ''definable by a flowchart program over A with recursive calls'' if and only if: (\\(\\forall k)(\\exists \\ell)\\) (\\(\\forall\\) k-tuple a of elements in the domain of A) [If a generates more than \\(\\ell\\) elements then a generates infinitely many elements].    We also prove that the notion of ''computable'' over an arbitrary datatype A coincides with the notion of ''definable by a flowchart program over A with counters'' if and only if: (\\(\\forall k)(\\exists \\ell)\\) (\\(\\forall\\) k- tuple a of elements in the domain of A) [Every element at all generated by a can be generated using \\(\\ell\\) memory locations].    We prove several other similar results. In the last section of the paper, we examine programmability over familiar algebraic structures (groups, rings, and fields).","type":"string"},"datatype":"string"},"type":"statement","id":"Q801666$59812A87-C333-4EF2-A189-8111E3E6AA88","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801666$685200C7-439A-42BD-9AE5-B05F37F1785F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c09ea78484192dfb20180fed0b8ec0fbe50483f","datavalue":{"value":"03D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801666$3EB2D3D9-E9DA-40C8-A891-A813E79C7D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801666$AB4AEB04-CCE6-4B9A-B1F1-296F26C4A2EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801666$EDCC36DE-70D1-4E0A-BD71-1F06E76CCAA1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9551c9321e310d614be0ea5df9b787eb117d9ebe","datavalue":{"value":"3880076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801666$7DABCED2-486C-4895-BF94-72E59ED0BE84","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e26d42d8650e086e951e955a4dacfe9ac2642a0b","datavalue":{"value":"data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q801666$2690B82D-D281-4A3C-BADE-AF68538A6083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0765e65356fbe21988bb33a689b6f9824530b0fa","datavalue":{"value":"partial recursive function","type":"string"},"datatype":"string"},"type":"statement","id":"Q801666$DE0D379A-D9B8-45F8-BF46-2580AA1BA7FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebd1ea1a797aa53f3f3eb1f444676939b9dd53b0","datavalue":{"value":"flowchart","type":"string"},"datatype":"string"},"type":"statement","id":"Q801666$0999FFBF-948F-42D3-9FF1-596F5EE02D6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66565212894f617d9e135f451b753f6472725ee9","datavalue":{"value":"algebraic structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q801666$A6AE8EF9-86BB-484F-8FFE-B08A5D4F44BA","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":"Q801666$D92F6B1D-0EAA-4F4B-B32D-D7CDD544C6A6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f69a8c906670febd8974c0b5db220d983185caf2","datavalue":{"value":{"entity-type":"item","numeric-id":4144176,"id":"Q4144176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801666$22F17F3F-625C-4CA0-B442-AE7BED92BC0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1bca70b3c9945d3379ccc13b318f928585cb19e","datavalue":{"value":{"entity-type":"item","numeric-id":4404459,"id":"Q4404459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801666$7F6A5B5E-1B3E-42B5-A3B8-0E17D4E4F9D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a7aaf7722886d9f40935d9243b5bd9dc530813b","datavalue":{"value":{"entity-type":"item","numeric-id":5660503,"id":"Q5660503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801666$B91510AB-B34A-493B-A992-E0D2D7CA9597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"549885eda50e3bff072547e04ed4166b9103760e","datavalue":{"value":{"entity-type":"item","numeric-id":3347253,"id":"Q3347253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801666$B38C0A13-4A9E-46C2-BDB6-D6F8F3284625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d2dc7428a701302ee60a912ba787cecd46fa536","datavalue":{"value":{"entity-type":"item","numeric-id":5600863,"id":"Q5600863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801666$C83A23B0-0D92-4AFD-9327-C17FB53793D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a3b216bf5e27db67129e12d52b1e5af885e3914","datavalue":{"value":{"entity-type":"item","numeric-id":4074367,"id":"Q4074367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801666$B98538EB-FA45-4A4A-B228-3EE9DA57100A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7036378e40bee60f83b1badc877248b52a7387b","datavalue":{"value":{"entity-type":"item","numeric-id":1156188,"id":"Q1156188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801666$D14DE6B0-0AB1-454F-8CF0-17AB725FC3DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a94c7c840fc8738f2c7b6750420cda927283bf8","datavalue":{"value":{"entity-type":"item","numeric-id":5625129,"id":"Q5625129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801666$245F0E67-AFE5-49CB-A85B-9E1A62E656BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"163e69448d39ad531e4cc97f8ffafd03a99ce660","datavalue":{"value":{"entity-type":"item","numeric-id":1393937,"id":"Q1393937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801666$33516A0E-4DCE-45F4-A122-377460637016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5710cd0fb8b5907d40eeada6e14d4018e26669a5","datavalue":{"value":{"entity-type":"item","numeric-id":1255942,"id":"Q1255942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801666$DB304498-126F-4026-8509-0E70774D1F3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6eba3625f7fb6c2269d89bf3c0d54bda2759805b","datavalue":{"value":{"entity-type":"item","numeric-id":1844072,"id":"Q1844072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801666$8B8852AC-F70C-482F-A8F5-F5BC25DF931E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"322b6f1a81d5899d0a8b85dffae86812b3ca5836","datavalue":{"value":{"entity-type":"item","numeric-id":1171876,"id":"Q1171876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801666$48623427-412D-4119-AE1E-6A8B1A271F5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58d0eeeff3b72db6a55e76c665891e75fae029cc","datavalue":{"value":{"entity-type":"item","numeric-id":3709863,"id":"Q3709863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801666$F19AE19C-79EE-4F4B-96D2-EC304EBBDBED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e4c26eea16ff13b517f3af86403213700b657ab","datavalue":{"value":{"entity-type":"item","numeric-id":4139653,"id":"Q4139653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801666$2BD351F3-27A5-4433-9DD9-DD167E4AC213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5afde341e35903811a19e6223528d6898a49b5b4","datavalue":{"value":{"entity-type":"item","numeric-id":2543556,"id":"Q2543556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801666$6B78A017-5663-492A-AFDE-A0051B6D0A36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21f75da3bacd9ac00775278764ea7f958cad51be","datavalue":{"value":{"entity-type":"item","numeric-id":3860819,"id":"Q3860819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801666$0225F99B-D6B8-4510-9D66-E0CF8F4DB71D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0719e10a948a88197330ab281df2ab9f729cb739","datavalue":{"value":{"entity-type":"item","numeric-id":3923596,"id":"Q3923596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801666$8CE124BA-FB82-40FE-A289-9CD30520EEA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f748fd00b0db98771d085f7c976c3b27f2ef7470","datavalue":{"value":{"entity-type":"item","numeric-id":3928239,"id":"Q3928239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801666$F7DDAF58-7EAE-4AAE-B730-F6973AF8E815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b1d274c6ee4b9c24930fb83b43c12797e99121","datavalue":{"value":{"entity-type":"item","numeric-id":5590814,"id":"Q5590814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801666$BB7D0C80-0A3D-41FE-962E-130B7DD7C3B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c25e95fd75b91ec2b0f3f17b94e3863b372aef85","datavalue":{"value":{"entity-type":"item","numeric-id":3936170,"id":"Q3936170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801666$35BE86D5-E9E4-4B7E-917A-491CCF117F59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"043f27615ffb9dc31bd6a0cb75134d70590e425e","datavalue":{"value":{"entity-type":"item","numeric-id":3323258,"id":"Q3323258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801666$00AD6C20-0B49-4D1F-8B85-DF82EB32BBB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75b90cc3efc6ff30de2c7ce0a376179d4c3541ae","datavalue":{"value":{"entity-type":"item","numeric-id":1158140,"id":"Q1158140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801666$E441EAE0-4CAB-4530-9BBB-BA0F72EFBA0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7091303a5936a3d2add9212809debc0350ec7c45","datavalue":{"value":{"entity-type":"item","numeric-id":4185781,"id":"Q4185781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801666$18D5091B-338D-4ABA-BA24-DAD2E5B51E63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2c2c1150e7a046f9adf874163d07397f0c930d8","datavalue":{"value":{"entity-type":"item","numeric-id":4088800,"id":"Q4088800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801666$9692C312-846F-4372-B277-4CB15C98C318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89692dba07178fe2e983c52cf3a02f122001b723","datavalue":{"value":{"entity-type":"item","numeric-id":3952091,"id":"Q3952091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801666$4C766A44-19A1-440C-BB07-2F9602960DC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"805ea6a63799dd248ae86fc5edb50b5a99268249","datavalue":{"value":{"entity-type":"item","numeric-id":3332239,"id":"Q3332239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801666$E83FA385-6509-412B-87A1-AE2936650B54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff9950227632bd830b29761462a937251e71d7f1","datavalue":{"value":{"entity-type":"item","numeric-id":3345746,"id":"Q3345746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801666$023A5658-8BE2-4594-8785-652E5D1A3619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8280cd991363a9ece25e99d026c93edbfbd33b26","datavalue":{"value":{"entity-type":"item","numeric-id":3326828,"id":"Q3326828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801666$4F1C2EAD-5BC8-492D-9208-630916BF369E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dca388dcc7832a6d94d60792fb3d16ea19385c76","datavalue":{"value":{"entity-type":"item","numeric-id":1051428,"id":"Q1051428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801666$DF84F60C-8473-48F1-8F39-2A02AF479F32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f5027c6c8071dfd859febf6e8a4a2e412410a51","datavalue":{"value":{"entity-type":"item","numeric-id":1149971,"id":"Q1149971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801666$5011A3B7-36D5-4838-A037-5C81D73C42C7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6c8f348af49dfb89d69e1d258e8c0f16904a56f0","datavalue":{"value":"https://doi.org/10.1007/bf00288773","type":"string"},"datatype":"url"},"type":"statement","id":"Q801666$6CC75192-6F11-4C4F-B53E-BB0C70D277A4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6add216b2de694ab651bae92b94b89814768f502","datavalue":{"value":"W1977367505","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801666$9993CF94-D5B7-42E6-9120-7499C25C87B8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae9e31c0757dc61d9c95fc6068328c38c10f43cf","datavalue":{"value":{"entity-type":"item","numeric-id":5753938,"id":"Q5753938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9672824a271f5061fd532a8e5ca807ddad537c2e","datavalue":{"value":{"amount":"+0.7796818614006042","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":"Q801666$EB0AB5DE-09DA-4AFB-8E29-4E97EF67919F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4c7748898e826501bb35947aa4d10456e57bee8","datavalue":{"value":{"entity-type":"item","numeric-id":3345746,"id":"Q3345746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e49fe9bfbe2e2eb55e3f33e131c0891df1a1ef96","datavalue":{"value":{"amount":"+0.7748448252677917","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":"Q801666$17015DE3-424A-45F2-928B-D6FE40FBAC90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a0289297bd9c6c48a0ab706afe8d2160436f35e","datavalue":{"value":{"entity-type":"item","numeric-id":5753510,"id":"Q5753510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1691857a46e0c442b6ca4f490282e90994404b4f","datavalue":{"value":{"amount":"+0.7591650485992432","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":"Q801666$2D7E6857-3A0A-4714-BE2D-F6878823D0E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f356b8aded3ef62609b538f5ec3b774952622e64","datavalue":{"value":{"entity-type":"item","numeric-id":3518432,"id":"Q3518432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e7bf34803b7ee9982e9b136d206fa026d442f01","datavalue":{"value":{"amount":"+0.7425515651702881","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":"Q801666$1FAC0200-4B0D-42F1-B5DB-87FD750E2098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29cd39436b6b31d2c75febdc2cdce161e0bc4294","datavalue":{"value":{"entity-type":"item","numeric-id":789162,"id":"Q789162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf7e6c9ccadd3f6902a67feafa16f3845dd6d787","datavalue":{"value":{"amount":"+0.7392356991767883","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":"Q801666$D295187F-88D1-4EA4-8635-8A1C4BBF1BCC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Necessary and sufficient conditions for the universality of programming formalisms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Necessary_and_sufficient_conditions_for_the_universality_of_programming_formalisms"}}}}}