{"entities":{"Q2765372":{"pageid":2776111,"ns":120,"title":"Item:Q2765372","lastrevid":47728348,"modified":"2026-01-02T13:24:36Z","type":"item","id":"Q2765372","labels":{"en":{"language":"en","value":"On equation systems in monotonic models of typed \\(\\lambda\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1694679"}},"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":"Q2765372$2683A1EE-BB00-40A4-88D3-C2D9765BAC53","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"21215b041442acc6def74420d0896cd7251cd5de","datavalue":{"value":"0992.68024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2765372$C1B77D5A-0302-426C-855E-73517DF3FDB2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"05a436125d0e10c65fac4ea95c85019e447fad3f","datavalue":{"value":{"entity-type":"item","numeric-id":174224,"id":"Q174224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2765372$E8649E04-6476-4DBE-83B1-C07D71732241","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2232089a0cb04ebc831da3c963d53c1502b802cf","datavalue":{"value":{"time":"+2002-01-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":"Q2765372$B7A885AC-E22B-4440-B57D-4A88511AE669","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2765372$94570B87-CBD5-4F6A-914B-00D72F4FC443","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a73f6efb3aa88ba98825c4675c42af5434649c92","datavalue":{"value":"1694679","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2765372$DD795414-50D9-4DE2-815F-073FC4CBC92B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f95a114e2035cf1cd6a70f13233dd4930d5ba888","datavalue":{"value":"Scott-Strachy approach","type":"string"},"datatype":"string"},"type":"statement","id":"Q2765372$757C5F71-7425-42F2-9453-C043DC7C9503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f14e2f3db707b6a727613ed85f9a51af4c8df69b","datavalue":{"value":"untyped \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2765372$9FA98C1E-E6E3-4E70-AD9C-2AA87FDC9D1C","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":"Q2765372$32CC2F51-09D9-4ABE-8188-C341941B11B7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"380087186d352727ec8401134426135a464ec752","datavalue":{"value":{"text":"On equation systems in monotonic models of typed \\(\\lambda\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2765372$06580524-A293-4916-95A0-770F81C1AD76","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"077d3ea8115d7a2f9c76c14459033c377228ddce","datavalue":{"value":{"entity-type":"item","numeric-id":4556181,"id":"Q4556181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40a464a7a7da307c9385d5ad8f7541973cc8b615","datavalue":{"value":{"amount":"+0.7692154049873352","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":"Q2765372$F656506E-80B1-49C7-8B2E-524C48B5E94E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15973f74a9f413bdbfe35cc919db6b4454e8d290","datavalue":{"value":{"entity-type":"item","numeric-id":4602236,"id":"Q4602236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d05d44bdac03bb30c3304946922d3e1974d9b37","datavalue":{"value":{"amount":"+0.747612476348877","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":"Q2765372$CDA54124-CD0D-4A1E-9424-A43CA30B8FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bff0e0b7baa00370f741a5a5451d01abdff6b933","datavalue":{"value":{"entity-type":"item","numeric-id":840095,"id":"Q840095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b192b9b7ec27c9233d3083502a4ebb78807bec23","datavalue":{"value":{"amount":"+0.7475506067276001","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":"Q2765372$A78E3A97-7FD8-4FC0-BCAC-572E95B9E3EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44f5a58a3f4a64995639dc67a07532619769267a","datavalue":{"value":{"entity-type":"item","numeric-id":1314363,"id":"Q1314363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a95a8662fddb01282de426092c62ce8a076ab008","datavalue":{"value":{"amount":"+0.7412622570991516","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":"Q2765372$05944148-AC0E-4C66-A26D-7FD48851B062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89d7908f7cf8e9df9b08b8ceb17b68df2a197db4","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76b7f768a1478cd8a7bd3a8fc08f6b515f98e50e","datavalue":{"value":{"amount":"+0.7408814430236816","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":"Q2765372$A8084CFE-6A7D-4A8C-B80E-EE9430E7AAF7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2765372","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2765372"}}}}}