{"entities":{"Q5268997":{"pageid":7298572,"ns":120,"title":"Item:Q5268997","lastrevid":52829702,"modified":"2026-01-23T14:35:14Z","type":"item","id":"Q5268997","labels":{"en":{"language":"en","value":"The approximation theorem for the \\(\\Lambda_{\\mu}\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6731035"}},"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":"Q5268997$54B54D55-193D-4236-8061-BD81BD446C91","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"94bc1c9330089c542e1463f418dce1411c0a32a7","datavalue":{"value":{"text":"The approximation theorem for the \u039b\u03bc-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5268997$13FAE5A5-262D-4494-9F35-9645304FB742","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b087ff42f88724884183563edaf54a7c2ee20d69","datavalue":{"value":"1423.03052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5268997$B924275B-A239-476C-861D-BDA0054F6700","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e4147a15e1f779c4ebde861257a191df6bcdce8","datavalue":{"value":"10.1017/S0960129515000286","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5268997$A97EFE28-9B04-4747-B22B-DE35960E6DB3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"71bd6d086c45e7565175127214e8d79bad475f0a","datavalue":{"value":{"entity-type":"item","numeric-id":315297,"id":"Q315297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268997$7B79DE68-9ABF-4588-909F-0F230D472E97","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268997$97C2496A-76E9-41AE-8D70-0EB09B84E3E6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7ddcf31b914fb89853eab25f40bb8eca88606da0","datavalue":{"value":{"time":"+2017-06-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5268997$1DA9EFB6-7A1E-4E5C-BD2A-AC11FE7C5C1A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5268997$EF956AA8-2D10-4BB7-A94D-EC27562EBF1C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"beee0864f8018c00f2967604967554c10bf5df12","datavalue":{"value":"6731035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5268997$0BC80509-3613-4B9B-8A2D-1DE78F9DD800","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":"Q5268997$2392F9EF-DF45-428E-9C40-B5E91B6EE5E2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b65e0aba9c9550d09b3aa23b24d834aac779a91","datavalue":{"value":{"entity-type":"item","numeric-id":1174593,"id":"Q1174593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268997$7BC433C0-6560-43E7-BA94-5BA4F0B1691E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268997$B2EFD34E-66B4-491D-98C4-F9E2C081AF1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c20bbe48a9c127069b4af4be488bed62a03e970e","datavalue":{"value":{"entity-type":"item","numeric-id":3335753,"id":"Q3335753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268997$557CC719-EB53-4A1D-90F5-2FED3E96265D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea1ed148ff66b406057a98235839d96140aebe76","datavalue":{"value":{"entity-type":"item","numeric-id":2732290,"id":"Q2732290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268997$19053D13-C378-49F2-A478-33CEF5A91031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73fe6ef182a4ff0319b239f7858e5d58b9649060","datavalue":{"value":{"entity-type":"item","numeric-id":2752528,"id":"Q2752528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268997$7B239B3E-9D8E-4189-B3CD-90A8109DB7F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"974d1f198a8d979a72c541959c750e0d0512ea5e","datavalue":{"value":{"entity-type":"item","numeric-id":4954443,"id":"Q4954443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268997$455F7F71-EA1B-4A89-A611-1F00728A2F57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"651f7da21513c3e54b493fca964adead13ded567","datavalue":{"value":{"entity-type":"item","numeric-id":3189857,"id":"Q3189857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268997$9FF799B1-6190-46C1-BC51-CBAF06DE928F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66257d76632b86525de5e8f5c47c6c6cf781ec1c","datavalue":{"value":{"entity-type":"item","numeric-id":4255509,"id":"Q4255509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268997$6A44ED84-E7FE-47FA-A2AD-E2FC674C9376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33664ee3ea0d3997e437fdd06eb4f41907efa8c9","datavalue":{"value":{"entity-type":"item","numeric-id":3540177,"id":"Q3540177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268997$3456EEB0-EA2A-46C9-863C-FFB2F34D0EA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76f3c17afa958f29207e47c52ca1f9f21683218d","datavalue":{"value":{"entity-type":"item","numeric-id":3558334,"id":"Q3558334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268997$C8ED8502-6F56-4AF6-A393-C0EF254D16DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9857dbd858d115214819c225a403f3f5e8efb794","datavalue":{"value":{"entity-type":"item","numeric-id":3557863,"id":"Q3557863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268997$E21ED038-6E4C-4DD8-B29B-CD57DC543AA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe9b14888d3874863453540ccf2b935b1e5e57e","datavalue":{"value":{"entity-type":"item","numeric-id":2946616,"id":"Q2946616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268997$9E788D72-B010-4DD4-A06A-DFE149C2BB06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c088dd7c5f4a8b4882ab0df2edfb3b190baae6c5","datavalue":{"value":{"entity-type":"item","numeric-id":428894,"id":"Q428894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268997$CA3407BB-A692-45DA-8C5F-E14AC8FDD4AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db7629881c3e7bd88e597d7e4f26d7cbdf6a97ce","datavalue":{"value":{"entity-type":"item","numeric-id":4240152,"id":"Q4240152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268997$19213426-2E22-4BC3-B5DC-098B21231A9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d5324b745c363f9d3611b2414636c6bba5dac42","datavalue":{"value":{"entity-type":"item","numeric-id":3007668,"id":"Q3007668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268997$CD4F0693-C449-4E01-8D90-6C238B8A1E51","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57c3a8a53bb7710efe782a2824ac22999194d1d7","datavalue":{"value":{"entity-type":"item","numeric-id":3007668,"id":"Q3007668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81bf15559c1ccb820b43409a9244bcdcaf45af80","datavalue":{"value":{"amount":"+0.8360018134117126","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":"Q5268997$FE57AD14-CD03-4CA8-8189-2F6017C700B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cba11e0582888a5b5e6f7f4fd17ae744c23c8e7","datavalue":{"value":{"entity-type":"item","numeric-id":2752528,"id":"Q2752528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ccf88a2dfadfe2f12c3e775e8c8c95c528ed13a","datavalue":{"value":{"amount":"+0.8144614696502686","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":"Q5268997$5E20039B-4767-4889-B92C-C8DBDDF7B505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39208f8c9e9f74c27f37ffded3604a402852b56a","datavalue":{"value":{"entity-type":"item","numeric-id":4600774,"id":"Q4600774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8a6c735f33b05fe366f4f17b6860b60be21db2e","datavalue":{"value":{"amount":"+0.7738347053527832","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":"Q5268997$932BB3F8-DBCD-4BAF-B77F-307A4EBEA5E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c819cb150c4d225104efe1d97603db6a7cd0f4a9","datavalue":{"value":{"entity-type":"item","numeric-id":4964690,"id":"Q4964690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aebde487fc2a4f324815697738a17ddd44cd690e","datavalue":{"value":{"amount":"+0.7703815698623657","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":"Q5268997$154CA268-4822-4EBE-AB66-1E225FD20FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c47c40ebe9954b1b074b265bc98d08c5c1240089","datavalue":{"value":{"entity-type":"item","numeric-id":3510443,"id":"Q3510443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdb4f43915efc5f71cb7dc919b8229e3819f480e","datavalue":{"value":{"amount":"+0.7550938129425049","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":"Q5268997$8BA5AB0F-A506-4840-901D-4F4F2AE8FEEA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5268997","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5268997"}}}}}