{"entities":{"Q5385992":{"pageid":7415566,"ns":120,"title":"Item:Q5385992","lastrevid":50339501,"modified":"2026-01-13T20:43:05Z","type":"item","id":"Q5385992","labels":{"en":{"language":"en","value":"A Proof System for the Linear Time \u03bc-Calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5265220"}},"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":"Q5385992$633D58BC-6D05-4681-AE41-F963F3178736","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"076bcbc7bcbe93da58046246681024a0cc1a0dcd","datavalue":{"value":{"text":"A Proof System for the Linear Time \u03bc-Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5385992$7040E066-5C8A-487C-81F6-FC84CA3CDB35","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3fbcd0e30c30708dc1cb3aa808de4251f3233095","datavalue":{"value":"1163.03308","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5385992$2A1CD9E4-BFE2-4D97-9299-1B5C9B07B349","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2f933fcd957094a0e42ae30402a45585f4173542","datavalue":{"value":"10.1007/11944836_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5385992$5BEE8451-A0D3-4A40-8167-03FC7E7E74D5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0eed81c4a062e3e32d4c336b2d79e33bf40324f2","datavalue":{"value":{"entity-type":"item","numeric-id":977175,"id":"Q977175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5385992$04958E46-B6A4-4348-8922-90921D0E9A4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"02af282ac48548b384bd92269300a29e2bca8e17","datavalue":{"value":{"entity-type":"item","numeric-id":534711,"id":"Q534711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5385992$E8307050-44CE-4727-A820-A01CC05C334C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e9395c4897e056d54eaef255c0b18eeb46bea27","datavalue":{"value":{"entity-type":"item","numeric-id":386036,"id":"Q386036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5385992$B4CBBB54-C096-4457-A7EA-022E0BFA2F55","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae04cf9c3ba96ac78b24ac326b03177d8c1486e9","datavalue":{"value":{"entity-type":"item","numeric-id":5385967,"id":"Q5385967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5385992$FB54498B-AA74-4E11-8D02-B120C8D28396","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b68fe80f656d7ba57a0d19d53515ac5e22b2d633","datavalue":{"value":{"time":"+2008-04-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5385992$6497E0D1-53CE-49D6-83F7-1831C9D4760B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5385992$963A0560-7FB5-43AA-BF6C-74606B81A44A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5385992$5A038E55-9E85-45B7-9894-351B8E560819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5385992$4A749E97-9997-4E78-9C7C-840F157A3074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5385992$29C60B73-3670-45A0-ABE7-2DC129062BDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5385992$27949F22-1B3F-412D-8C38-BDE1504235C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5385992$810EB8F4-4966-4387-BD0F-C07C230195C6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bc7e695a3a77657a87f38b865792edc2cd17f135","datavalue":{"value":"5265220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5385992$CC28328B-357B-4312-A03D-04CD9E4FDD5B","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":"Q5385992$82675F88-9D9D-43B1-A4CD-7260DB07FD75","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"78d876f00b78b8e12bcff07adacba010049a181d","datavalue":{"value":"https://doi.org/10.1007/11944836_26","type":"string"},"datatype":"url"},"type":"statement","id":"Q5385992$EEF69AA5-5003-4E13-B757-42853FF53916","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"185ce32fdc6f4ee1e41381bf30294b213d97209c","datavalue":{"value":"W1568149704","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5385992$67BCBA7E-4C86-4336-A385-6E41907E6CFC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79214af768596456d18635cc590eec2201e08a19","datavalue":{"value":{"entity-type":"item","numeric-id":5144621,"id":"Q5144621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f267ac3f9565e331be3d51e1b67ae88e0e7cd100","datavalue":{"value":{"amount":"+0.8260109424591064","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":"Q5385992$3551EADD-73B1-4038-A3CE-82A83380B528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9e8a2d94c894dc320f2d03a35ec3c28526ed1e8","datavalue":{"value":{"entity-type":"item","numeric-id":4818827,"id":"Q4818827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd799e051065da64b39e288385a97161cedd88c2","datavalue":{"value":{"amount":"+0.8247034549713135","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":"Q5385992$B34B80EA-B8BD-4734-8E05-97CA720AA742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb6b19e63f195733bce0defe24f92828ca2bf63f","datavalue":{"value":{"entity-type":"item","numeric-id":4635894,"id":"Q4635894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6448f61db484eabb6c2765c9742d8a382d538699","datavalue":{"value":{"amount":"+0.8224126696586609","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":"Q5385992$59929472-2DE8-48C6-B47C-8234631C71BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bb70238e49d9d5a6da648c8898a4bc070ad1ada","datavalue":{"value":{"entity-type":"item","numeric-id":5277722,"id":"Q5277722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a3bc5759e26a9020afecac067702265b0a8e323","datavalue":{"value":{"amount":"+0.8161182999610901","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":"Q5385992$09557D31-0C40-4919-884A-C5E799BF13C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6e11bcd41e83c5baa5f190dac5c64fb23793e23","datavalue":{"value":{"entity-type":"item","numeric-id":2817904,"id":"Q2817904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0edb88b6e8de9050f48af0abf43318473ee9f44a","datavalue":{"value":{"amount":"+0.7971698641777039","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":"Q5385992$A33B7E8F-13FF-4D9F-BE2D-67C55DFB6E9E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5385992","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5385992"}}}}}