{"entities":{"Q5178907":{"pageid":7208479,"ns":120,"title":"Item:Q5178907","lastrevid":91474610,"modified":"2026-06-04T23:15:46Z","type":"item","id":"Q5178907","labels":{"en":{"language":"en","value":"The first-order theory of subtyping constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6416269"}},"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":"Q5178907$D30F8162-9269-46C5-BC77-768D05E5CC5A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3f5d16bf5d0d3dc7e5d4283065793a524c3a365c","datavalue":{"value":{"text":"The first-order theory of subtyping constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5178907$0F74EC5B-5EE6-4B65-A66A-7FB19023F056","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f919a389f70ec6404aa3d2b2cbb41d6d78d72922","datavalue":{"value":"1323.68164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178907$F6F1D046-4624-4773-9235-7B0463C7943B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"11c7eb65feb28845f8f95501f38f5dac0d27670c","datavalue":{"value":"10.1145/503272.503292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178907$2905F669-651B-40D3-AEE9-8C45783EFAB4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a9af173e51909c5e47c780d5fd70c24f29d2272","datavalue":{"value":{"entity-type":"item","numeric-id":1856155,"id":"Q1856155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178907$A12AF72B-507D-47FC-8ECB-79EE942459F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1c0d40e17e8d402208a82971198674b488ccb73","datavalue":{"value":{"entity-type":"item","numeric-id":914353,"id":"Q914353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178907$326A3A9D-1939-415D-93D1-3536AE73E6B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d778d8975d333bedd66ddf13d7dd6389095a118d","datavalue":{"value":{"entity-type":"item","numeric-id":174813,"id":"Q174813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178907$A28D8CAD-BA3B-45F1-94B0-27DCC4821CDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc7840e8745a77fe300e9efdb49b7510093a3898","datavalue":{"value":{"entity-type":"item","numeric-id":1887156,"id":"Q1887156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178907$26954733-CAD6-42CF-AC48-6E2519BA94EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa707505e4dc35c303a48188dedbdb1698ec813a","datavalue":{"value":{"entity-type":"item","numeric-id":437025,"id":"Q437025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178907$6B3C8BC3-E3AC-4A8B-8FB1-8EBC87292357","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19d34c79dcb21ff5f6ae9d83e7c1b224cf605fc5","datavalue":{"value":{"time":"+2015-03-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5178907$18D77B1B-C6ED-42E5-B403-7C24CB51898C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2b70c3a85f6adf48d5a052c058a7603f8df5b432","datavalue":{"value":"https://hal.inria.fr/inria-00536828/file/fot02.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5178907$3DAFA1A1-5FEC-434D-90CE-54D6A19D618A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178907$070BE513-4098-4D81-8222-1A4BF870FC58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178907$7D79AD10-94FF-48E7-ABDD-D0C7D53E9DEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178907$634D467B-EC40-4B35-9ACF-5EFF74517B1C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"70fc8aaf3b3dc43c4f7965e7f018d01b1fdf35c7","datavalue":{"value":"6416269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178907$96AADD09-4DC1-4BD1-9547-2A6AD8CE24DE","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":"Q5178907$916ED4A3-AA0A-47D3-BE36-E350512670EB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"19182e1add27c62cb767999f281c23147c259e24","datavalue":{"value":"W2141843850","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178907$C7395603-DC76-4208-8890-BB5587255778","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8d9ca57d4fc9ba55a27a8df00198d7399d2b5a04","datavalue":{"value":{"entity-type":"item","numeric-id":5747527,"id":"Q5747527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178907$FE0AC459-31C3-4632-A1BD-5946D102C838","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a878452ec4c13d1cf07ce421511ad8723964d3b","datavalue":{"value":{"entity-type":"item","numeric-id":5191512,"id":"Q5191512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2d0e8ab3c9d14f30e817734b1a8fa54aaa4fead","datavalue":{"value":{"amount":"+0.7920902967453003","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":"Q5178907$D847F077-C7E7-4783-B7A6-D356E101B2A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a22fb853c621a732b25010de01068ea08af6567","datavalue":{"value":{"entity-type":"item","numeric-id":4501588,"id":"Q4501588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"195f3b38e40a669d1a7425e7514cf839ed0fe370","datavalue":{"value":{"amount":"+0.7805867791175842","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":"Q5178907$237C1971-EAF8-4158-ABCC-5FF25FBFC58C","rank":"normal"},{"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":"e4fc9c5a9d2dec33b0567e0f16dc5ff3bb00ccb0","datavalue":{"value":{"amount":"+0.7695163488388062","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":"Q5178907$A6CC419C-FF39-423D-84EC-3D0B27212D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc97107d7859c1af940ee776cb2f2935308577f4","datavalue":{"value":{"entity-type":"item","numeric-id":1887157,"id":"Q1887157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1f73f9607c78d121494649ed1926a300759385f","datavalue":{"value":{"amount":"+0.7682400345802307","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":"Q5178907$8351D8A6-AC10-4A20-A987-6D6607F5A4BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cb5d3093618257c031d00ee73d6d23c3c34229c","datavalue":{"value":{"entity-type":"item","numeric-id":5714449,"id":"Q5714449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1564fbcdca424663d3bd544574cc96e5afc3b60a","datavalue":{"value":{"amount":"+0.7606648802757263","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":"Q5178907$3E83AB2D-0C45-47F7-9A7A-431A5A54D026","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The first-order theory of subtyping constraints","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_first-order_theory_of_subtyping_constraints"}}}}}