{"entities":{"Q6162097":{"pageid":13296978,"ns":120,"title":"Item:Q6162097","lastrevid":98838527,"modified":"2026-06-05T18:36:37Z","type":"item","id":"Q6162097","labels":{"en":{"language":"en","value":"Algebraic interpretation of lambda calculus with resources"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7703604"}},"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":"Q6162097$9401269D-4B19-4F00-9723-0E15D65DC662","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5169b23794c018d57fe186c6f8a178421cc77e96","datavalue":{"value":{"text":"Algebraic interpretation of lambda calculus with resources","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6162097$2B773F49-17E9-47A4-92FF-42ADC4EF98EB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f48ab79bd132440b0e24b5448433257ee79300b2","datavalue":{"value":"1515.68095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6162097$CA5BAD12-C873-4090-911F-8C966A2EC5A2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"170f944497f9e160851be41dbf284b2d55171757","datavalue":{"value":"10.1007/3-540-61604-7_68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6162097$43498A54-EA5B-4992-B33B-8D512FE025DB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"68451847f9ae09f6214e1bf417d7e5aede766367","datavalue":{"value":{"entity-type":"item","numeric-id":4247264,"id":"Q4247264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162097$44ED19AF-A122-42F0-8EED-14415DA60B22","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"40e977a827c62303d6a73bc259ccdb9bde4f6877","datavalue":{"value":{"entity-type":"item","numeric-id":6104361,"id":"Q6104361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162097$C7E273E0-BEF7-49B3-BEBE-FF5DD0BD15A3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9b878ec3713c817dca00288e268c11822e517167","datavalue":{"value":{"time":"+2023-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6162097$6E52D506-AE4D-4178-B883-DD9032F08D3D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6162097$08716D91-C01A-4C33-B9EF-91B158CFCDBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6162097$FFC271D2-AAD8-4A83-886E-6B34ED843B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6162097$49D0DC62-6727-45BB-8015-02C6296F445F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"66da0dd6ae0cf3fb4f1a4ee3cfd5ab59e181b363","datavalue":{"value":"7703604","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6162097$851CBFEE-34E1-4920-A777-5F5679F5DF27","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":"Q6162097$E28B3D51-2C40-4DEF-9046-2F550BC16276","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5249c80fcd11fa0612fb7dd29644b8dc29907a14","datavalue":{"value":{"entity-type":"item","numeric-id":4939690,"id":"Q4939690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162097$416B7AE5-834C-4705-8593-24AD3291B007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faaa5594e2abc159e6f86d7e94e792da18998f6a","datavalue":{"value":{"entity-type":"item","numeric-id":1261291,"id":"Q1261291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162097$3EA2062E-7F5A-45A9-87B4-1E619359CCCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53659cbe4374fba43669a41966294053efdea479","datavalue":{"value":{"entity-type":"item","numeric-id":3728878,"id":"Q3728878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162097$16D7BBAA-960B-4A39-A19E-7A70AEA43C0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afa831f2062bd418316f0ddf8d55a39363b94c1f","datavalue":{"value":{"entity-type":"item","numeric-id":1314269,"id":"Q1314269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162097$FBC1483F-7E8E-4645-B8B1-BABE2CDBF2F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8dc2d6c2954cf41135437c0472b396d37414d7c","datavalue":{"value":{"entity-type":"item","numeric-id":1917097,"id":"Q1917097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162097$A118BC92-A6F6-4773-939D-7B8FE073773E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3773b085994287299f357581a1f1dbdbe2a33ad","datavalue":{"value":{"entity-type":"item","numeric-id":4222749,"id":"Q4222749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162097$B944C31F-E5B0-48AE-AA38-988000A1F445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0870db58ef29af09183f5109755585782995618c","datavalue":{"value":{"entity-type":"item","numeric-id":5878917,"id":"Q5878917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162097$389BA8B8-FB60-4B56-830D-42FBFD0695CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4004164fb76db92bcdf23fd385dc006c288396ae","datavalue":{"value":{"entity-type":"item","numeric-id":4371674,"id":"Q4371674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162097$4BC40465-5334-46AF-87CF-A739E7EE3FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5c401e46239dabb51683570f5525fdcd2a90e5d","datavalue":{"value":{"entity-type":"item","numeric-id":4094853,"id":"Q4094853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162097$8820248E-8E99-4F89-8BD7-0BE1B14CECCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb49d5ba8660e6f6ecb70d742d62a3c8fa7128ba","datavalue":{"value":{"entity-type":"item","numeric-id":1050334,"id":"Q1050334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162097$9F46FB7C-67C0-43A4-8D33-1AE4EDE17FA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668d4f42d16e3c68cea406be368e7edeb30ca51e","datavalue":{"value":{"entity-type":"item","numeric-id":1198548,"id":"Q1198548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162097$5026D04E-7C14-473D-BB88-738C1768BF50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28ae43f93fd7654342456e10d2e58a80da316a09","datavalue":{"value":{"entity-type":"item","numeric-id":4193435,"id":"Q4193435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6162097$695B133A-B818-4874-AC1E-483AAF56A6F9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb1d837a84776abb8838b2159d529d454dd0767e","datavalue":{"value":{"entity-type":"item","numeric-id":4704764,"id":"Q4704764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43c38fe6fc29bfed051c70d6599f8cb157739243","datavalue":{"value":{"amount":"+0.8290266394615173","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":"Q6162097$179A31C4-DF57-41C9-A90C-F8652619FFBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2fc2fafac6b3258186d6ef228a45122bc0dc76f","datavalue":{"value":{"entity-type":"item","numeric-id":3586087,"id":"Q3586087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2be13ce65f1076ce33225a2ca0acb5ea936e8ec9","datavalue":{"value":{"amount":"+0.8005229830741882","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":"Q6162097$E2AEBAD3-5E56-4DD7-B430-19994F99A8B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f45a22afc5a7a77f2420be3307cf556f18dfbc2e","datavalue":{"value":{"entity-type":"item","numeric-id":5878917,"id":"Q5878917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d37c9f7447352a60572f58720ddefb2dfd09526","datavalue":{"value":{"amount":"+0.7843886017799377","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":"Q6162097$D81DD816-85DD-4B89-8513-5E70A9B212A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b81af62a24e73d8d7edb9e733b55b5395da9d203","datavalue":{"value":{"entity-type":"item","numeric-id":3643363,"id":"Q3643363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03cc57d7c9be192670d885aa62c720c143b52f64","datavalue":{"value":{"amount":"+0.7714065313339233","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":"Q6162097$3CEA843B-F9BF-4480-AFD7-F3DB4F1A4692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02e08705f424a61127723ac10045096fba5f9f8a","datavalue":{"value":{"entity-type":"item","numeric-id":5015215,"id":"Q5015215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5f1c70b5a59b051f5ad8f90641b9e0bc6ba8763","datavalue":{"value":{"amount":"+0.77083820104599","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":"Q6162097$0C4D33E3-C75C-436D-A769-8A7B464C7BAD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algebraic interpretation of lambda calculus with resources","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algebraic_interpretation_of_lambda_calculus_with_resources"}}}}}