{"entities":{"Q4511267":{"pageid":6540860,"ns":120,"title":"Item:Q4511267","lastrevid":47521951,"modified":"2026-01-01T23:33:24Z","type":"item","id":"Q4511267","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1522992"}},"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":"Q4511267$0C960C44-3957-4C9B-91E1-FDB205C4EECF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0b6e11e6c71a946d884750c42fa04739469c8a7f","datavalue":{"value":"0956.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4511267$AD9B6600-48F4-48DE-B05B-20A20DC9CEE1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"813cbcd07cc85185a006be56944eed3aabcf5f7b","datavalue":{"value":{"time":"+2000-10-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4511267$3F688774-6142-479D-99FC-A015CD335334","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4511267$D871094A-1790-4DFA-8969-459331F7891D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4511267$5917A095-BE49-4F9F-89BE-EE3838A81E6B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e21ba3819179faf2fe5609d094e742f3931405ef","datavalue":{"value":"1522992","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4511267$3C1587C3-2C0E-441F-A525-DFFEF379BB79","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ebaf0c80580a28deb6d3d8753b65d9134fdad03","datavalue":{"value":"linear time self-interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4511267$DA6DA1EC-35AA-4A96-A689-377DFD308891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2514fd713fcf4856766c79a711f5d3e6685f8b58","datavalue":{"value":"pure untyped lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4511267$47557C33-CECD-44D6-B14D-5BC7DF3637E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8673270f9dbd2ca93d0d35b6ed0c13434154600","datavalue":{"value":"weak head normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q4511267$E6D1FAC7-D502-4613-B393-D0CC9F6A6127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4511267$B95535FE-8E5D-4056-BFE1-93B63D9AC2A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"613238b90ca4e2ffc9ca39559f6fe5c77d399791","datavalue":{"value":"cost-measures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4511267$0056EDAD-726B-4781-9A0C-36FB04D75DF8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5739c0b7089a36f22ae77f5d3b0014f6bba71712","datavalue":{"value":{"entity-type":"item","numeric-id":1702405,"id":"Q1702405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4511267$F9AB4F47-FF10-4960-91AB-8C7C5AF352F7","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":"Q4511267$76A50377-FEE8-4766-9392-FE14D4CAAF67","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ee08d48bbc67f129f32ddb340ced6cde9007450","datavalue":{"value":{"entity-type":"item","numeric-id":5926074,"id":"Q5926074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e30a55127fadec3e65b7ac78237a7702fcb438eb","datavalue":{"value":{"amount":"+0.9928560853004456","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":"Q4511267$64393481-B80B-4773-9B3C-7F63F47BBEFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9cb4078fd2ca4380d1999e6c7395ad56b13cf09","datavalue":{"value":{"entity-type":"item","numeric-id":2794671,"id":"Q2794671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e30a55127fadec3e65b7ac78237a7702fcb438eb","datavalue":{"value":{"amount":"+0.9928560853004456","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":"Q4511267$80F30C4C-C1B3-4A5F-89C3-912A571FC4A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb5f7ae112aea78562134222f9a19bd2a85e3aa7","datavalue":{"value":{"entity-type":"item","numeric-id":4764616,"id":"Q4764616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f5f30a7c4de338d132a80dceafc07a74401c289","datavalue":{"value":{"amount":"+0.8571991324424744","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":"Q4511267$2EB329B3-E03D-4ACC-98C3-DBB4CF6A298F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cca48d0e440db16032230a87f8cae57570a5856a","datavalue":{"value":{"entity-type":"item","numeric-id":5703851,"id":"Q5703851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2229c7b99bcc7ae9b87a508bdfbfd376a00cc11f","datavalue":{"value":{"amount":"+0.8557767868041992","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":"Q4511267$2BF94AFF-FEA9-453E-B9C4-581358953DE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44920ad5b17d661f9772e46846b0d45e66e1518a","datavalue":{"value":{"entity-type":"item","numeric-id":4358458,"id":"Q4358458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cadc99c00e6f764bda0083dfac718c6d9dc3059","datavalue":{"value":{"amount":"+0.7590892910957336","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":"Q4511267$CBD4709D-0EF2-405D-B215-6AB5C6627BB3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4511267","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4511267"}}}}}