{"entities":{"Q1580649":{"pageid":1591389,"ns":120,"title":"Item:Q1580649","lastrevid":72243780,"modified":"2026-04-14T03:35:49Z","type":"item","id":"Q1580649","labels":{"en":{"language":"en","value":"Isomorphism and equational equivalence of continuous \\(\\lambda\\)-models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1512000"}},"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":"Q1580649$B944701F-39C9-4776-966E-7D0D72C90E15","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a91fa2adabc639229d487ef8534168a413e0b6e9","datavalue":{"value":{"text":"Isomorphism and equational equivalence of continuous \\(\\lambda\\)-models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1580649$7FB8805E-0DDD-493B-98A1-8FA627A340EB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b3d62c4ade661fa14f524f0cc60542b664bdc9d0","datavalue":{"value":"0964.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1580649$35725308-7589-4A89-B015-B0E243EE333E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6445f5d912a8938d15c2ad403ad78770fda42754","datavalue":{"value":"10.1023/A:1005018121791","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1580649$6CF2A949-1E66-409F-A1B4-268F544D3EA0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"201ddb3ef9ba2b1e09d8c8b0d7f7d7a4deb45f0a","datavalue":{"value":{"entity-type":"item","numeric-id":236443,"id":"Q236443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1580649$1C19A69F-707F-448D-BD99-69354E60D10E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1580649$AC25AC07-6802-4407-87A2-8F3E92F9B607","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0c1d27f90c5efc0baf8dad41a96c8a8197323785","datavalue":{"value":{"time":"+2001-07-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1580649$D81731AD-A712-4C31-8616-3814616CA9F9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1580649$7A833FBA-55E6-4BCB-8912-B39C040D232A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d6ae78c1c6d32a7e6108d5acbc356f5037805fd2","datavalue":{"value":"1512000","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1580649$90189166-9F76-4476-BD25-239A733ED36A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e46c2aff2a2cee787c599683da238de494ec026","datavalue":{"value":"continuous models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1580649$FBE4F3B7-B5CB-4973-BB1D-2EDB3A1551EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1580649$44803C6F-2827-4190-9BCA-EE504A2571B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34fcb20407e5aee7b9f13cfbd3373f68d968dfab","datavalue":{"value":"graph models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1580649$CB2C77EF-5B32-4F6E-A8A3-BEA5A1EEC855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9a8911ffac52a59302bdd527348f9f620145181","datavalue":{"value":"extensional models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1580649$63088DB5-0B3F-403D-AF34-41AE7371A239","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":"Q1580649$72C1EE68-4866-48EC-A293-A0DDD3E942B7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f578a1911c171ed88013402739343665af97e53","datavalue":{"value":{"entity-type":"item","numeric-id":3360838,"id":"Q3360838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92e59c4d96128b4fada20d42a44373076c03e1a8","datavalue":{"value":{"amount":"+0.8161854147911072","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":"Q1580649$995BB3F7-2169-46B5-BB7A-A2A870053EF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c057d661ba9856ce84efb0797f8701fd246bb98","datavalue":{"value":{"entity-type":"item","numeric-id":4297417,"id":"Q4297417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08a68392b528b6afa62c42e54dd35631c41eece0","datavalue":{"value":{"amount":"+0.8081899881362915","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":"Q1580649$5F635ECA-83C3-4D4C-BC24-C7C464A38EA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"837c101879c06ee5f4db437492106dab84b2e0dc","datavalue":{"value":{"entity-type":"item","numeric-id":3707990,"id":"Q3707990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7eae318ee46a00b12bc1171d239476a27f24262d","datavalue":{"value":{"amount":"+0.806807816028595","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":"Q1580649$BA0EE4DE-4CE1-411C-929B-CFC3997CA660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eaed0248b48e96a7568a92b16305333806719d7","datavalue":{"value":{"entity-type":"item","numeric-id":3535680,"id":"Q3535680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8dc8a386ef15c24969dd0b1ad296e23f18524562","datavalue":{"value":{"amount":"+0.8011794090270996","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":"Q1580649$4191DCD8-7E5B-4935-83AF-D337A404E634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79b5d98a0070952352fa1eabaa4a0bfc6b0acb11","datavalue":{"value":{"entity-type":"item","numeric-id":5431316,"id":"Q5431316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1923e00f89559c3a94e7cae2abc3817f65b1fe98","datavalue":{"value":{"amount":"+0.7881355881690979","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":"Q1580649$0F35F273-1A56-4959-957C-847373C74B10","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Isomorphism and equational equivalence of continuous \\(\\lambda\\)-models","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Isomorphism_and_equational_equivalence_of_continuous_%5C(%5Clambda%5C)-models"}}}}}