{"entities":{"Q1854464":{"pageid":1865206,"ns":120,"title":"Item:Q1854464","lastrevid":69361653,"modified":"2026-04-13T06:29:41Z","type":"item","id":"Q1854464","labels":{"en":{"language":"en","value":"Simplifying subtyping constraints: a theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1853208"}},"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":"Q1854464$FA09AF79-6BEF-49BF-8B6D-D87BC22C9D0C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"94c5b6f1d8be4d50768bf18c7b1e59f53479dbeb","datavalue":{"value":{"text":"Simplifying subtyping constraints: a theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1854464$AEC039C5-45C0-4121-87AC-E8AB0887C2CD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"372a89d9664f69cdab3b089e2bb84f775df9049a","datavalue":{"value":"1005.68038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854464$B1812687-43DB-4AF4-82F4-88394970DBC5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e100a9ec349c9a09af054c90a9680f202a82f59","datavalue":{"value":{"entity-type":"item","numeric-id":670698,"id":"Q670698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854464$789EE677-3A38-4E10-9DD5-4A79D3D9E56B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854464$E5FEB5C1-9E70-4805-9653-F5CFD5015D45","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6a7e8d599a17c373ba2d71fc88b3043673b9f45a","datavalue":{"value":{"time":"+2003-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1854464$BA464696-CB5D-4636-B10C-468933F3D360","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854464$EB198F0C-4AA5-4E38-92AA-A3B780355D3C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"efb77ecea099beb21a7876a5cc075f5240337bce","datavalue":{"value":"1853208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854464$5D51B507-C5CC-432F-8552-E5ABB865E33C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854464$50EF872A-67BC-42A2-AA5D-2470D7BFB04C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"213ebb200667b220d16992ef44db56c3ef5afaed","datavalue":{"value":{"entity-type":"item","numeric-id":42643,"id":"Q42643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854464$885716F3-2F03-45F6-8E85-675C3A06395A","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":"Q1854464$6CD0CAAF-2F6D-4F78-8CF3-7FDECDE7E67C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c85ebbf226f26e46a61e0386ca0166ccee2e9d5c","datavalue":{"value":"https://doi.org/10.1006/inco.2001.2963","type":"string"},"datatype":"url"},"type":"statement","id":"Q1854464$5A0519D6-8B84-421D-8257-47733A8A0524","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cf020daee9d254fde8989c19d2bcf0a9ff890fc8","datavalue":{"value":"W2093036100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854464$64BB9AE2-E695-40EA-B28D-88CAA16CC532","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8794348f4654e36388d043f7a19e6470c0ded07e","datavalue":{"value":{"entity-type":"item","numeric-id":4490733,"id":"Q4490733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854464$7021C47C-A1D3-4D67-994B-011B7F0ECE7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f5b9c5e3ee83baa8ce1b1b800896d5d6b34c8da","datavalue":{"value":{"entity-type":"item","numeric-id":1900313,"id":"Q1900313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854464$DECFAD72-22D0-48DF-BD0C-42BD6F412017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1a1d4b32d7ff7775973a19e6fd57a6d4bf6baa7","datavalue":{"value":{"entity-type":"item","numeric-id":1818009,"id":"Q1818009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854464$A0BF8B38-D41F-414B-BF93-7624702DF104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee7f876fb42c53e997157b1419d079fb01f54d06","datavalue":{"value":{"entity-type":"item","numeric-id":1106652,"id":"Q1106652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854464$BD739E4D-F9E0-425D-8F38-925CEB668BC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb7b8847a36d076106e01f43c31a170940dd0b60","datavalue":{"value":{"entity-type":"item","numeric-id":1055184,"id":"Q1055184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854464$070B12CE-3D39-40B4-A8ED-4DD8CBCED846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44800c5798875844175881ea0eb7030d0077512a","datavalue":{"value":{"entity-type":"item","numeric-id":4222755,"id":"Q4222755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854464$4AC174E6-497C-42EA-B5D7-5CE7251FB2D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"436d4ddccf9258c9f31fa193f202f774ffec18b8","datavalue":{"value":{"entity-type":"item","numeric-id":1250704,"id":"Q1250704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854464$87587A42-F1B9-43AD-B698-E9ACA9297775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46885738eb9c25c83e271ce0dd92e7e9f6b8d283","datavalue":{"value":{"entity-type":"item","numeric-id":3776602,"id":"Q3776602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854464$58BD7EBB-03E6-429D-8F69-AAA2478F33EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f89ec8fc478a72190e1804d99d764bc6f7c43e8f","datavalue":{"value":{"entity-type":"item","numeric-id":1583350,"id":"Q1583350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854464$734E41A4-8A3E-40C5-A1C1-A7674A0044BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f775e9947bbe4b61b221fd6f44ae15109fcb77","datavalue":{"value":{"entity-type":"item","numeric-id":5714449,"id":"Q5714449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854464$440DABD9-4036-4573-9563-563CE6E3A3D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c03271e83fc25f696f2b6c92c3896191e0b33e68","datavalue":{"value":{"entity-type":"item","numeric-id":1908346,"id":"Q1908346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854464$61109250-CBB0-4899-9015-0F05140D2238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fa6134c7970e1b3c5a78c5580580268782fd98e","datavalue":{"value":{"entity-type":"item","numeric-id":2817691,"id":"Q2817691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854464$D2C5F2C2-0652-44C0-97F8-5090BDE2DFE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cec8627b58ce0ddf1babc17382872c678cc9547a","datavalue":{"value":{"entity-type":"item","numeric-id":5348899,"id":"Q5348899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854464$01BFA555-2B7C-485C-942B-A0F5CE65FFDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a460ecb3cff9acf942dfb52367dc56412678927f","datavalue":{"value":{"entity-type":"item","numeric-id":2729058,"id":"Q2729058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854464$46549554-309B-47C1-B697-D9AD27C7D34C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5601ae1681bfc6d08e313326eb1dde01b995d970","datavalue":{"value":{"entity-type":"item","numeric-id":5030204,"id":"Q5030204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854464$2B1A3379-5BB8-490B-980B-04BCBA39A808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b5d59f3624f21c2d43731419df26dd8d547233","datavalue":{"value":{"entity-type":"item","numeric-id":3787979,"id":"Q3787979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854464$5A51AD31-A132-4988-A591-466BCD85647F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c12348318bb0034657f0087241923049dae37144","datavalue":{"value":"10.1006/INCO.2001.2963","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854464$908B64E8-9859-4A08-B2F1-E3352BE78836","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fe03a50b28996a747ae7d9a7403f566bb6986ea","datavalue":{"value":{"entity-type":"item","numeric-id":2817691,"id":"Q2817691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"993b4fb6649d2caa0753984c7405d4e588716f10","datavalue":{"value":{"amount":"+0.9616997","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1854464$F919EAA5-C2DC-4CE6-85A4-BEF49F1F140D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21b7ee4fc64b8db1f89b15c8698f79e2355a8206","datavalue":{"value":{"entity-type":"item","numeric-id":5178907,"id":"Q5178907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b928eb8d5f40ee7a1be775efb82e7f276054668","datavalue":{"value":{"amount":"+0.91663903","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1854464$66D0F358-CDF0-4A6D-A6AA-7371409A3AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da9be64ecfa2a4b5cef2777ee5549282bab3ebfa","datavalue":{"value":{"entity-type":"item","numeric-id":5030204,"id":"Q5030204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e13c33af5f78c449e2fde40f118bddf231a3b4a3","datavalue":{"value":{"amount":"+0.89386034","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1854464$7BD70165-777B-4755-BFC4-60D9AE3973A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"356139808c2309546ffdce508796fac4d40527f0","datavalue":{"value":{"entity-type":"item","numeric-id":2151281,"id":"Q2151281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"084c6019d46eb55650fa4aa70bd20e38541eb0b4","datavalue":{"value":{"amount":"+0.885887","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1854464$2D12D7ED-C0BF-476B-8CA2-1EF4B155BC4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62c38bd5c74666039c8e82b4468253344fb0e949","datavalue":{"value":{"entity-type":"item","numeric-id":2906947,"id":"Q2906947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f04c5656147a42188b21925a21563f75d56d4efa","datavalue":{"value":{"amount":"+0.8829751","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1854464$DC23DC9D-C634-465F-B398-1FE9D121AB2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a922f804e6a2c5e02e1578cb1df900c569e0ac9","datavalue":{"value":{"entity-type":"item","numeric-id":5170715,"id":"Q5170715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6e74bf091e798574fed53c04b78d4c03f855a64","datavalue":{"value":{"amount":"+0.8797084","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1854464$D2AB98B8-C18B-4DB8-925A-01624E3EAD10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91a35255bbbd29ac1a7b25906f45796484c472af","datavalue":{"value":{"entity-type":"item","numeric-id":1758661,"id":"Q1758661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ffcdce5f58de373388bf0a479e6c0f9f7201ef1","datavalue":{"value":{"amount":"+0.87783015","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1854464$BD12533C-4662-460D-A847-1C418D9021D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"596698a57b1d7112ea7f48ecdf167fbeebc24e66","datavalue":{"value":{"entity-type":"item","numeric-id":4730749,"id":"Q4730749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6434f13f7c1eedcb9f95d6ebb4070fc910a0677","datavalue":{"value":{"amount":"+0.8772313","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1854464$A4BA6A01-1B16-436D-9AAC-A771C8C6BF43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2922175192276575ddf98b1d681f3ce7cc96da11","datavalue":{"value":{"entity-type":"item","numeric-id":4390744,"id":"Q4390744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67208aa318c0b0d09015f9e4b9fe5ca1b8646c70","datavalue":{"value":{"amount":"+0.87499267","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1854464$05B9AACA-E8C9-49F0-A1D2-C0A821D113B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Simplifying subtyping constraints: a theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Simplifying_subtyping_constraints:_a_theory"}}}}}