{"entities":{"Q2871871":{"pageid":2882591,"ns":120,"title":"Item:Q2871871","lastrevid":79530158,"modified":"2026-05-06T14:07:48Z","type":"item","id":"Q2871871","labels":{"en":{"language":"en","value":"Coercive subtyping via mappings of reduction behaviour"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6244446"}},"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":"Q2871871$912B0C35-6FD4-42E4-A884-A380A9F894E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5361aa8deff41bf3e474f4ab7041a41563f7d1e9","datavalue":{"value":"1278.03057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871871$6F5C7016-BC95-4BA5-8113-27079EDBC0D6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"455bae95859b37c76b307ba0c2ccbe1537e6ac0a","datavalue":{"value":{"entity-type":"item","numeric-id":220708,"id":"Q220708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871871$0E4D2CA3-3562-4149-996E-EF3AE795621F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c704b287c68a3d4d8361a025642d6eba13574eb","datavalue":{"value":{"time":"+2014-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2871871$41888685-3A82-45B5-A08B-C16932DE66C7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e1cb070b9818376cf30b978f680caf2676009894","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066108000376?np=y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2871871$EFABA9A7-DE7A-4E75-A3C6-1039AE9BE1F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871871$1686313E-C0FB-4940-890C-4A5BE1AB64DC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f42f086ba38a56289234d1f4f73090a023f95ef6","datavalue":{"value":"6244446","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871871$0801B9BC-2967-40A8-9366-EEA3EDE2DFC1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7165fec9115f05c93be2e6750db8f2bb02167cc","datavalue":{"value":"coercive subtyping","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871871$09E9C26E-91B9-48EB-812A-5D6948A1A94B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871871$828903A9-6309-4EBF-8175-B5A8AEE3BD60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3de23e37e993e4e77cc8e5af007153ce87796eb","datavalue":{"value":"inductive families","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871871$26FE09FF-2E5E-457F-B27A-AD03A58E8619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef359d59e74cb9142903f0e8e9f4e9a6db893b78","datavalue":{"value":"implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871871$05E56B9D-9CAE-4AC6-8899-E3B5F25109B0","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":"Q2871871$8B3F2662-6C74-42E3-AEF9-6318698F93DF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c32009b84bba86693caaf08f1ded566c289eb4e9","datavalue":{"value":{"text":"Coercive subtyping via mappings of reduction behaviour","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2871871$0E188268-25A9-470A-86A4-665564CC0E54","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b715475a5e4b33503e21e86d37cb680ba74d1b5d","datavalue":{"value":{"entity-type":"item","numeric-id":4238487,"id":"Q4238487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3fbe33efc191c37ca09d387c03d669de4fb616d","datavalue":{"value":{"amount":"+0.852041482925415","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":"Q2871871$921C0369-4BA7-4D9F-A277-6A98E34DF89C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66debf8c513c428c59edcbf061dbfc4c87ba8625","datavalue":{"value":{"entity-type":"item","numeric-id":4362923,"id":"Q4362923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c46b11dfbc3871087c6ef8cde02d6ff6e631b499","datavalue":{"value":{"amount":"+0.8517187833786011","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":"Q2871871$12ED2301-3B4D-47DC-A808-73BEF5C079FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a319817cdc01b0fdbffe163195fd93063e66f2de","datavalue":{"value":{"entity-type":"item","numeric-id":1776403,"id":"Q1776403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c46b11dfbc3871087c6ef8cde02d6ff6e631b499","datavalue":{"value":{"amount":"+0.8517187833786011","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":"Q2871871$51C4CF9A-2502-4086-B9F3-837A7F2393B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"648908b5d41c6c11916370c6ee58e60f77eb1f1f","datavalue":{"value":{"entity-type":"item","numeric-id":1951591,"id":"Q1951591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1605d31a510f42e11a1ab7fe4b68a264839aea60","datavalue":{"value":{"amount":"+0.8402772545814514","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":"Q2871871$5217F012-78EB-47BD-9E62-AB1C19A30F12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f29371f29340ab7599f22a7c91c5319d3120fea","datavalue":{"value":{"entity-type":"item","numeric-id":2996166,"id":"Q2996166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05eccb228b3e24583d028824e0c5af28471d6b1d","datavalue":{"value":{"amount":"+0.8361998796463013","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":"Q2871871$55013584-6831-4DC9-B230-5C56B5639BAE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Coercive subtyping via mappings of reduction behaviour","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Coercive_subtyping_via_mappings_of_reduction_behaviour"}}}}}