{"entities":{"Q2843994":{"pageid":2854714,"ns":120,"title":"Item:Q2843994","lastrevid":42258621,"modified":"2025-06-03T18:17:23Z","type":"item","id":"Q2843994","labels":{"en":{"language":"en","value":"First-order universality for real programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6201853"}},"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":"Q2843994$CDB8FA33-F452-4B23-AA69-3216D4E30E77","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"44a34d4732fe9fadd381db2712b2f63c66557381","datavalue":{"value":{"text":"First-order universality for real programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2843994$13E84695-3B9B-454E-BA9E-35CFC85B937C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3c1f88cf37de2d0af12bbd4e2d75e7c8fb24e0fd","datavalue":{"value":"1270.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843994$74D46ECF-D8EF-40D4-843A-4B1516D197DD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fe8f94e40fba74177f365163ad5d9d7d10ebc22","datavalue":{"value":{"entity-type":"item","numeric-id":2843993,"id":"Q2843993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843994$9E266A20-806B-4E3C-BBD7-6705CC9D6F65","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36b22ebf70a17ea6cf536baf5ab232586b47b37e","datavalue":{"value":{"time":"+2013-08-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":"Q2843994$0457E41C-B5AF-4618-9006-F4A7114D62B7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843994$6D019CAB-2BC0-492E-9202-E516ED09FD4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d21a69e3457646e46a9bbf0d57100c034be8348f","datavalue":{"value":"03D78","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843994$48D886A9-9B0B-4582-869C-F497C52F6E24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843994$94B8C94F-573C-4D08-A52F-E188D30854CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843994$0954FC75-1F29-449D-8E4F-6A48F5CB82A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843994$3A0EF89B-058F-4ABB-B4B9-88A7E5929199","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1dd52980afa45442d84306699a749db74e588321","datavalue":{"value":"6201853","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843994$8CD7CAA9-E348-4287-8137-4CDF96DCC8B3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4f2891ec95ee556b0ac2cc2dddee3d77811bd94","datavalue":{"value":"computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2843994$2B741FE3-5721-4492-ACF8-875E95C678FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8a043dc0bd89c785a45379faac952f0327f8f29","datavalue":{"value":"real number computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2843994$0A83BB1B-8B60-4C19-9ACF-F082515461D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86e893a4a7addf8e22f8e3fcc6df8ecc660c5c40","datavalue":{"value":"simply typed lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2843994$A1332CD3-504C-43AD-9A62-954EAF7CA562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2843994$2B65ACC0-2202-4F3E-92AE-1C67C4CFCF31","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":"Q2843994$47BA0ABB-D929-4BEE-8745-0A6BCCECCAFD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"687b4ab6e08f8ceeddc2270f62ced4e625e029b8","datavalue":{"value":"https://doi.org/10.1093/logcom/exr044","type":"string"},"datatype":"url"},"type":"statement","id":"Q2843994$487E7FDB-0980-49AD-835D-C1DC4BFF0D31","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a04065767acf835b4dec3f4be9ebb38b3654c88e","datavalue":{"value":"W1980902983","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843994$6021B715-0C6C-466B-B215-940C44A436D9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b5b38061c2e3b1afc767421a3f668225778d363a","datavalue":{"value":"10.1093/LOGCOM/EXR044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843994$9734C732-2287-4EE5-A883-A2C6ABC0411A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbead760ec7ec48b608fcd732f084fd1ffea3807","datavalue":{"value":{"entity-type":"item","numeric-id":3576032,"id":"Q3576032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dc46660a5f61a39fe23b79fcf9ec8497afbe488","datavalue":{"value":{"amount":"+0.99999976","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2843994$6B04B3C7-EFDA-44DD-80C2-FDA6D2343698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56158364ff7b5e9d5595744ec9e32f1bbeea8f8d","datavalue":{"value":{"entity-type":"item","numeric-id":5710883,"id":"Q5710883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cd3c10bf8bdfd23184718afb3db2f27381b6e51","datavalue":{"value":{"amount":"+0.8772037","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2843994$3B49A772-6A46-41BE-8B28-011620AD79FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af78cd63c14723f1c623d689703d45fe71767c15","datavalue":{"value":{"entity-type":"item","numeric-id":3460427,"id":"Q3460427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd146d99827693d1ec012bd8b375fab9304c26a5","datavalue":{"value":{"amount":"+0.8692082","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2843994$EB99CCF6-F6DA-4D27-B004-BE027DCDA78A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcf1c4d200f7fca39d304ed3bd0b473e6b55dc76","datavalue":{"value":{"entity-type":"item","numeric-id":4428887,"id":"Q4428887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff289a15b7b256ceee09fddd419862bee40c47e3","datavalue":{"value":{"amount":"+0.86796486","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2843994$594D1BB9-BAC5-43BC-87BA-455617721AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aec04d57a8f5448b98fbe1434029f7fbe0cadb15","datavalue":{"value":{"entity-type":"item","numeric-id":5184896,"id":"Q5184896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbf32c20d33b20be9d8e4bc97117eee03f06aaef","datavalue":{"value":{"amount":"+0.8565704","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2843994$FF394ED7-C189-42A7-9B31-A7C4D50B89A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0051cd941f76d7f8cee3df37846da1e4a55600a0","datavalue":{"value":{"entity-type":"item","numeric-id":543631,"id":"Q543631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7566d37b95982e84a5f04808c89f9373e9242fad","datavalue":{"value":{"amount":"+0.8562603","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2843994$8FD5EB5C-227B-47CF-8C41-5403E72AF003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70bddb2286f38aa8271fdeca845ce190269a3099","datavalue":{"value":{"entity-type":"item","numeric-id":801666,"id":"Q801666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb2e22481c56838daf29c62bf219c81fc533fb3c","datavalue":{"value":{"amount":"+0.85539895","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2843994$9B78E872-3926-4AB4-A650-6C3568B585C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf20cb48de8bc9507de68a6790a06ae9afe65983","datavalue":{"value":{"entity-type":"item","numeric-id":864513,"id":"Q864513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91d034e597eb5df1dbc96cc5aed551597bfe023d","datavalue":{"value":{"amount":"+0.85435545","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2843994$6926EF43-53F4-413E-AF26-844E6DE80F1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac666a3c1dba43b838cde5ecd4350c4b662deffb","datavalue":{"value":{"entity-type":"item","numeric-id":1183580,"id":"Q1183580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a4ff7521535deabae597480bfeaf648d17fe034","datavalue":{"value":{"amount":"+0.85427314","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2843994$20D49E29-E417-458E-A5CB-D429BCCDF59C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4e284497c1d95ed03031b32369f55bf404c9e002","datavalue":{"value":{"entity-type":"item","numeric-id":6768690,"id":"Q6768690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843994$BB61F8AF-D980-4376-93D0-5D35937FAE38","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2843994","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2843994"}}}}}