{"entities":{"Q3558334":{"pageid":5588238,"ns":120,"title":"Item:Q3558334","lastrevid":50972531,"modified":"2026-01-16T00:56:25Z","type":"item","id":"Q3558334","labels":{"en":{"language":"en","value":"Standardization and B\u00f6hm trees for \\(\\Lambda \\mu \\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5703515"}},"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":"Q3558334$9AE2DE4A-9006-4BB3-8515-04978EA80443","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f896a853116e5856c84e132fc217e438394ee925","datavalue":{"value":{"text":"Standardization and B\u00f6hm Trees for \u039b\u03bc-Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3558334$AE01838C-FDD8-42CC-B691-5D843D063EF3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"65bcf471737de0a49580635a1427db84d9170edc","datavalue":{"value":"1284.68137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558334$C5688DC0-56B8-4335-A92B-06FE104DE12B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cd43123af27369b03b95a3203ba5a8cf0aa5955d","datavalue":{"value":"10.1007/978-3-642-12251-4_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558334$51BE22EC-6A7E-40D9-A777-1A7537385A46","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"41f2839c89d1345755f9d23745ecb4716429d131","datavalue":{"value":{"entity-type":"item","numeric-id":428893,"id":"Q428893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558334$EC2F56A3-4F0E-43E1-810F-0D25A0C4B1DE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a2a09b5cba4f9e4657809ce2fd194ee37ff6e885","datavalue":{"value":{"entity-type":"item","numeric-id":2798252,"id":"Q2798252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558334$B7F85850-15E7-4BBE-9AA0-E3FF2272AEA2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b0d489a41f5ce9c5a7b74a3f4e524032b8d5d571","datavalue":{"value":{"time":"+2010-05-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3558334$E413B13F-483A-480C-9199-DFCA8363D819","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558334$CE517E21-1C94-470A-A37D-2B8C7CD672D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558334$3DF1F32A-B36F-4801-ABF5-1133B27DF78B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c52dc14e723cb02e7aa066b55443baa6da44056a","datavalue":{"value":"5703515","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558334$8EBCE5CB-27F5-4F83-BB77-FC35333BFD8D","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":"Q3558334$F7FA8D7F-217D-4B40-8814-20A63DEEA45B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"512415e887f27d4988e3ca798a76c094ab40cdad","datavalue":{"value":"https://doi.org/10.1007/978-3-642-12251-4_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q3558334$68D85F5E-91B0-4BEB-BA6F-7076700F45C2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4692b187d225870a6c9994255a5021f7864b5537","datavalue":{"value":"W2622005638","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558334$19BA7A86-1742-489D-8231-CEAB51D4CCB8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdd4b62f5232d7b00f9e6dcf99cee3f622b6409c","datavalue":{"value":{"entity-type":"item","numeric-id":428894,"id":"Q428894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"133c43824e6525b09fc6f8bc559208c19f3ddc52","datavalue":{"value":{"amount":"+0.8910531997680664","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":"Q3558334$74EECF0F-85DD-4CE2-BD2C-1D8771CE48F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d95e7bd79db6ca56521ad6b79f2aa2e7a405332","datavalue":{"value":{"entity-type":"item","numeric-id":2946616,"id":"Q2946616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"222de6957ae80601191d8ab5ae02d803e31cfe75","datavalue":{"value":{"amount":"+0.8262966275215149","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":"Q3558334$AB3BB385-33C8-4568-BF27-6DA0FFEE2F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aec592ef1b4f40e9024fc14a0160cd15e30434ea","datavalue":{"value":{"entity-type":"item","numeric-id":2732290,"id":"Q2732290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"025b1f787a0e7762c2f3b8df6937dbe67428b222","datavalue":{"value":{"amount":"+0.8049514889717102","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":"Q3558334$2BF3AFDE-5FD5-4F61-AD23-33B9B002ACF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1af1ac89803161c951e5bd389a782119d7c1d9f1","datavalue":{"value":{"entity-type":"item","numeric-id":5170828,"id":"Q5170828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"738f658060affbb2e2cde3e33e57da651dc803a1","datavalue":{"value":{"amount":"+0.7983852028846741","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":"Q3558334$EAC97B47-31D5-4464-87E5-1962CFA2A0B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a4470dbea6a40b40b3daed6ea4692ae8fc057fd","datavalue":{"value":{"entity-type":"item","numeric-id":3540177,"id":"Q3540177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23c65da125be5861d0b526d889d8c22279de6ae2","datavalue":{"value":{"amount":"+0.7736608982086182","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":"Q3558334$1F4402D1-8FA3-485A-8D74-BB5B554D620A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3558334","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3558334"}}}}}