{"entities":{"Q4297437":{"pageid":6327038,"ns":120,"title":"Item:Q4297437","lastrevid":47256574,"modified":"2026-01-01T03:48:29Z","type":"item","id":"Q4297437","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 599171"}},"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":"Q4297437$EC1C8DEE-E764-4F99-A80C-B21B6081AB82","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a0db0ade2c63ca3e719b5b3fe50c5338de5356e7","datavalue":{"value":"0798.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4297437$3EFEBA84-811A-43F0-8384-8849B8B7D458","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":"Q4297437$D3A76280-EF3D-4F87-8270-C4E7D8B3FF23","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"726a99a9e2d555a41ba62bc8bbfd737b811b3dd8","datavalue":{"value":{"time":"+1994-11-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4297437$C5199CA4-834E-46D3-80BF-D13FD9EEE879","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4297437$D56743C9-C21C-45CF-A122-3802FEC1B2B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4297437$46287ABF-7308-46E2-9892-2390C18082E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4297437$633CF3F5-F015-44AC-9C9E-FCCACD26DE13","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"766ebf102927ed4e46de74b47b914a7e92463595","datavalue":{"value":"599171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4297437$88B48237-CCF5-4DD1-9C7F-4C3A999A1790","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ced5665202ad838a2b26e5c07283bb70811d2155","datavalue":{"value":"models of lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4297437$54F076B7-30E6-4EC0-B1E1-F894EA42AE4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4297437$0D913AA7-B705-4703-9DF5-55AE1CB8B40A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17b4b7de6ddca1f63656304a90040ed48a773165","datavalue":{"value":"first-order formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q4297437$81228EA7-7E7F-4458-ABA0-4DEDB5F626B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff0e004ef5d9100b30c5abebcec9ed563723a2ad","datavalue":{"value":"ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q4297437$6910715A-7F8F-484E-8630-486F38A70D04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a5b1d353bb80c1a525f03c109f6312c14ee4a9b","datavalue":{"value":"reflexive Scott domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q4297437$ECD25261-4B12-47A7-8E54-707FE552A9E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02d6672ced600b71514cfb5e0cf481e11cd6c38a","datavalue":{"value":"reflexive dI-domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q4297437$63435FF8-12AF-4496-B316-5616239A0669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f428e4978c7f1d479c209658fcc971d9731b28b5","datavalue":{"value":"stable functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4297437$886CB4E7-8C3A-479A-8F41-F2D9064DDF59","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":"Q4297437$4547A90D-22A2-4016-A7E1-777F47CA3706","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"270f270b52ad0318449c518f5d0eab685d01e3ee","datavalue":{"value":{"entity-type":"item","numeric-id":4370836,"id":"Q4370836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d506559ed22f773f69fc0fa17e10fb55640230b","datavalue":{"value":{"amount":"+0.7355925440788269","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":"Q4297437$06D832A2-B534-4883-B627-DCDDAC9E342F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3bdaee05ef9ef61d57a2efb6ea6605b51bfcc7d","datavalue":{"value":{"entity-type":"item","numeric-id":1813971,"id":"Q1813971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d506559ed22f773f69fc0fa17e10fb55640230b","datavalue":{"value":{"amount":"+0.7355925440788269","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":"Q4297437$0315F1BD-7CB8-4F18-A340-51E4EF676F17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69b973c5630a7c3cb51834c9c7190512141ae4c9","datavalue":{"value":{"entity-type":"item","numeric-id":1314355,"id":"Q1314355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c46b98c7437c0d64f5d5e859a56a50acb7a7c208","datavalue":{"value":{"amount":"+0.6958698034286499","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":"Q4297437$04356479-DBB0-4B75-A20E-CE8DDD4BE6CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08738c0dfd18c69a1c483efc4ebb0f31e3d44dd2","datavalue":{"value":{"entity-type":"item","numeric-id":4325268,"id":"Q4325268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cb049682b6f59fa6834d63cf5c524917908ae5f","datavalue":{"value":{"amount":"+0.6953375339508057","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":"Q4297437$D7BF27E3-1950-438F-A000-712D895AD1EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c94d72a66c7395c4899523a6413f998a34ee8de5","datavalue":{"value":{"entity-type":"item","numeric-id":1177156,"id":"Q1177156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df1608cd1cbf41312e1f7a8914e2500bb3d8fee2","datavalue":{"value":{"amount":"+0.691628634929657","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":"Q4297437$C7D66945-6203-4CAA-8865-996C46568497","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4297437","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4297437"}}}}}