{"entities":{"Q4218110":{"pageid":6247711,"ns":120,"title":"Item:Q4218110","lastrevid":46656165,"modified":"2025-12-25T08:34:18Z","type":"item","id":"Q4218110","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1222572"}},"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":"Q4218110$6D36E0FD-1774-487E-AC5C-5794BF8B6BB2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce94c60882b4da779917eb1e4a670f20b4bb401f","datavalue":{"value":"0914.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4218110$B807C70B-9445-4BE3-9A9B-C06B3FEB7E61","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"266d48a9c2e37ea24b4a5e4d6235b0f28f65402c","datavalue":{"value":{"entity-type":"item","numeric-id":276261,"id":"Q276261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4218110$BEE81664-AAD4-47FC-A015-8BB2728EB334","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"874b84f4e4c3d1120a3f15a09b668720ffcef7e9","datavalue":{"value":{"time":"+1998-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4218110$B9CEF4E6-9861-4B00-BD72-558B421BFED7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4218110$5AC3F503-BFC6-42E8-92EF-F1D31ABBD29C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4218110$81B27308-0138-43F7-ACE6-7F8D0ABECE45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4218110$12511F16-7D8D-4183-8BD8-82BE23FD94ED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"78c6b73a13d21a208c39a3fe53d30d47c38eb0b9","datavalue":{"value":"1222572","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4218110$94717187-051B-4DE9-AC48-311790A8899B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dc51a8c0fe8cac11b1273088b53cd1374f8d2a6","datavalue":{"value":"polymorphic subtyping","type":"string"},"datatype":"string"},"type":"statement","id":"Q4218110$63C897BD-747C-424A-A954-BDCD76B9DAD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c47bd69800ec9a3c8fdb3c483630a46ac282cb0d","datavalue":{"value":"polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4218110$79FEC9E4-6D00-49B5-A0CD-4602BC0AF42C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"787b2c3358d99284ade1e5b42ad21ec4a75bdc0f","datavalue":{"value":"polymorphic second-order \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4218110$79CD51BE-5964-4BDA-B9D9-F248D4541A5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"efe1669a7e1b16aad3d3a4304c7ea9e102405670","datavalue":{"value":"distributivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4218110$F3575434-C8EE-4CF4-A478-C3AA4E73481B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4218110$744A5299-27EC-4A5E-8EA2-9E430AE93992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b7606adba97b79deff62f5f698385376d50fe16","datavalue":{"value":"equational axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4218110$7CD3D5B7-AEA1-4D40-900A-17417FDFD43B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd7884f20c8f87422bbc52076fab6a08675c0a24","datavalue":{"value":"equivalence relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4218110$AF3B756B-78A0-46A7-A735-80468E14E430","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":"Q4218110$4FCA3F5C-F6F5-4CCE-9314-7CDEB1D058BD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcaaf9b9a706a03db27bbbbe132deaf3aedd0d50","datavalue":{"value":{"entity-type":"item","numeric-id":1400717,"id":"Q1400717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b488d0ee13228caded007f0297454aaabbc87a47","datavalue":{"value":{"amount":"+0.8586762547492981","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":"Q4218110$419C1607-F5FC-4494-9183-E6867D09573C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2b884a2808af6016251c395ab044a85303d4e63","datavalue":{"value":{"entity-type":"item","numeric-id":3146272,"id":"Q3146272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f510f39b38f422606875e305c0141bdf4033ab9d","datavalue":{"value":{"amount":"+0.8034343123435974","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":"Q4218110$ACB60F24-FF7C-4AEA-962E-75FFF8D86B4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da613220951a6ff0da516ba157f14995da7c95cc","datavalue":{"value":{"entity-type":"item","numeric-id":4855344,"id":"Q4855344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"202198221902426eb1461583b179ffa38017a554","datavalue":{"value":{"amount":"+0.7957910299301147","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":"Q4218110$90C41948-17C9-4712-8B27-83FEF1DA2587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9edc535a49624d795add1c1d71a3ac0b8f178f67","datavalue":{"value":{"entity-type":"item","numeric-id":1327694,"id":"Q1327694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72c0435d6e8358efb5d90605e0b1a3615c6d6439","datavalue":{"value":{"amount":"+0.7952536940574646","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":"Q4218110$03A40719-313B-4A79-BD68-116D0AE0135E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4218110","badges":[]}}}}}