{"entities":{"Q5224488":{"pageid":7254057,"ns":120,"title":"Item:Q5224488","lastrevid":36511488,"modified":"2024-07-19T22:19:31Z","type":"item","id":"Q5224488","labels":{"en":{"language":"en","value":"Automata, Logic and Games for the $$\\lambda $$ -Calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7084727"}},"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":"Q5224488$66BACD16-41C5-4D02-89BB-063DB393E0E4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d9c78fe608c8fdd8ef815f5a19d9fb08c0d0efca","datavalue":{"value":{"text":"Automata, Logic and Games for the $$\\lambda $$ -Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5224488$AA43CD72-D0FB-472F-8485-CA7D67EF4C96","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b3c18b795b1507c4216104ce3fc097409d4be08c","datavalue":{"value":"1480.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224488$2491D384-D1D1-4E57-8900-8B26F10B4B68","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fea1383d9906167c310fa019e4ab454d6f6bb8d8","datavalue":{"value":"10.1007/978-3-662-54069-5_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224488$9FEC6F1C-9F36-48BB-BE76-1E36F7AEB179","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8b4386c0d5d83f8302e271c05e50f8370fd57881","datavalue":{"value":{"entity-type":"item","numeric-id":2936224,"id":"Q2936224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224488$EEA64B66-4741-493A-A62D-447F92757527","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b15b47a077f77642632b896f7ca72a0919fa276","datavalue":{"value":{"time":"+2019-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5224488$C2E08BD4-4FCF-469F-9452-766ED01FB6D2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224488$9EEAF6E5-9853-4469-9088-389BE0CC39CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224488$60E932E1-665D-4062-98DC-3014A68C9E87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224488$05FDB52E-CCDD-4115-9150-C952F4E1472B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224488$6AB2A084-35CF-4BAF-B03C-2DA25A4ABA6E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"273790d686d493e891f8df35541c71afe3273868","datavalue":{"value":"7084727","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224488$623CAF54-D613-4CB3-A927-21633B7D131B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c48993fbd85f379ae45effaa429a7f913736c21f","datavalue":{"value":{"entity-type":"item","numeric-id":33285,"id":"Q33285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224488$2F9F0ECB-A242-4CD6-8D07-EDDB9846629E","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":"Q5224488$67D5D11F-18A6-4E9D-9B98-3BEB9C626D88","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9c9d8dc453cb179132d2bf7fb192f5d343a00767","datavalue":{"value":"https://doi.org/10.1007/978-3-662-54069-5_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q5224488$A26CD91D-8C2F-4CBD-8DBE-77E0FAA55A8E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1052a74660730003ba5116880d24b1022eeb375b","datavalue":{"value":"W2557959769","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224488$F8673401-3647-4651-9BD0-DBEF6D5C0A1C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"889056687b91f2d1b9937cc8b254cb64cdca7b5a","datavalue":{"value":{"entity-type":"item","numeric-id":2963900,"id":"Q2963900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224488$BA007D45-47AE-470C-9C50-6E37E07D4E86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a346b0d1d8d58eca29ba3d568dd9754ed71fd2e5","datavalue":{"value":{"entity-type":"item","numeric-id":1866725,"id":"Q1866725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224488$272743C8-F591-4BEE-8D1E-57FE027171C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51d1aa905e95be265c244d30c11bb90a000f72c9","datavalue":{"value":{"entity-type":"item","numeric-id":4738227,"id":"Q4738227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224488$3C493F42-24FE-4033-BD9B-D24DC415ECF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7036b55470ecafa335a5dc20bc350fe1a5716a3","datavalue":{"value":{"entity-type":"item","numeric-id":5395718,"id":"Q5395718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224488$B950EAAC-1B2F-4F8F-9516-E02D81FBB6BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d0b3d39649082ff6de9169c6e51eb8e1d8d7a0b","datavalue":{"value":{"entity-type":"item","numeric-id":5385339,"id":"Q5385339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224488$2DD8B943-7CAC-49D1-A26B-2F98B6B575D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"308f96b618d77a0bec731b2273df8f7efc0dae2f","datavalue":{"value":{"entity-type":"item","numeric-id":4635787,"id":"Q4635787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224488$F0C583F4-07C6-47C3-8B54-272465D9146A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90fa2d23ab889941428910dce1c5f472bc9edd6d","datavalue":{"value":{"entity-type":"item","numeric-id":5408579,"id":"Q5408579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224488$B5D9ABA2-9486-4483-9B8E-8A6779084649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6dc5730c6956a442fe56abd4ce427894b06e399","datavalue":{"value":{"entity-type":"item","numeric-id":5408403,"id":"Q5408403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224488$17EA5F38-3300-49D9-9388-6128246D3A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5043892a0e511359188ed62fdaa6bd089f0b3629","datavalue":{"value":{"entity-type":"item","numeric-id":1314363,"id":"Q1314363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224488$FB172C10-10A7-46C9-8E10-CC1A67639142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"470ed121b01b75ed77eee90056b5a3a2e200f488","datavalue":{"value":{"entity-type":"item","numeric-id":3617723,"id":"Q3617723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224488$C7C18460-380F-465B-80B9-D413033106DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6adb1e48aa7d82b462397e04de8ae48c530c0de9","datavalue":{"value":{"entity-type":"item","numeric-id":1119630,"id":"Q1119630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224488$1190AB8B-F502-4DA6-83CB-67238F9B9956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"948e36bd4b64276c17bac9cfb434a91478bea826","datavalue":{"value":{"entity-type":"item","numeric-id":4635663,"id":"Q4635663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224488$B51B8CE1-FA20-492D-B1E7-D217D3EB9C2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a032d33673d5ba9c1e698848960782495104c1b","datavalue":{"value":{"entity-type":"item","numeric-id":1854405,"id":"Q1854405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224488$B189D751-62D4-4D4F-87A0-407A63CF2085","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5224488","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5224488"}}}}}