{"entities":{"Q1791209":{"pageid":1801951,"ns":120,"title":"Item:Q1791209","lastrevid":72966795,"modified":"2026-04-14T09:04:41Z","type":"item","id":"Q1791209","labels":{"en":{"language":"en","value":"Formalization of a polymorphic subtyping algorithm"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6947005"}},"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":"Q1791209$67FD911F-BF3A-410C-A4FA-EBF21022B1F9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"95284a5b8104f9cae1496412f347ffb1bff444e8","datavalue":{"value":{"text":"Formalization of a polymorphic subtyping algorithm","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1791209$8BEF99E7-C509-4C95-8A7C-DC70BABEC023","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3ef7604fcc53f130a187fc3c99fbf430c6c6dfb2","datavalue":{"value":"10.1007/978-3-319-94821-8_36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791209$9CA00DDA-E87E-4672-8020-F05B65466D30","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e0f18c72b1ae92e20b8ee09225c07df6e149adc9","datavalue":{"value":{"entity-type":"item","numeric-id":1791207,"id":"Q1791207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791209$F50C4985-26A4-4EAA-B005-56C8A61D9B6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8d4a9643935796d9a1f172819199c42865b008f","datavalue":{"value":{"entity-type":"item","numeric-id":1791208,"id":"Q1791208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791209$D70CE0C1-5B02-4308-AD7E-C7ACDB485521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9310327fb280e8510025a221163e66f379344f4","datavalue":{"value":{"entity-type":"item","numeric-id":487656,"id":"Q487656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791209$EA4481E5-1E7C-4FF4-9D67-D88A1071394D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ff3c7136492fcf13c84b92efb7ac37b3eed57322","datavalue":{"value":{"time":"+2018-10-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1791209$9BD945E7-0537-468C-8BDB-571F99C68930","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"990d7f9562ad167e7b0650ddb6b324f385e95505","datavalue":{"value":"https://lirias.kuleuven.be/handle/123456789/626049","type":"string"},"datatype":"url"},"type":"statement","id":"Q1791209$8114A844-43DF-4497-8113-5CD558DC0A5D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791209$15965BDB-55E8-4331-8DA1-19CC3F93BA3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791209$F10E294B-7780-4300-9BFD-F75E266BAA12","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"87b5112653dd7b0c94bc9330ea6ea20b2de0d643","datavalue":{"value":"6947005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791209$EA1FA51D-5663-4402-B73A-4EB834E36CE7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a8e56b54ce67b3f3451fae93e0a157bd7197fba1","datavalue":{"value":{"entity-type":"item","numeric-id":21444,"id":"Q21444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791209$987DA6AF-A23F-4257-B754-2F2AF5F3DC12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8be5ee5254d2a781e0ec7bc0b35265c3f1813a9a","datavalue":{"value":{"entity-type":"item","numeric-id":22078,"id":"Q22078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791209$5A6BD464-91E0-4F92-9299-3F9D54563EC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"922acf41fe9e639b483482b17920389710771a75","datavalue":{"value":{"entity-type":"item","numeric-id":38250,"id":"Q38250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791209$5F5AA9F6-D5A4-4E34-A1A7-E650C2A6337E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791209$476A4A8B-D55C-42B4-AE61-66C2EBD74138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791209$772156EB-8900-4D50-BADD-913C48F43A54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791209$8937B0F1-6AC4-45C9-8C42-479C5901F78D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4feaea7961d9cfdcd7e2968b41cc11ecb0c87f44","datavalue":{"value":{"entity-type":"item","numeric-id":21716,"id":"Q21716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791209$2EE9CD34-8091-4549-B7BC-E16DE40CA8C2","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":"Q1791209$E2528634-464F-45E8-AD90-0F9057E59E0C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a867cec826314c143738c778acd48a12173a61dd","datavalue":{"value":"W2811069900","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791209$8425584C-06F6-45F7-94DC-013DF47F8116","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae1e45f130ca02dd12a6eb6dc136b8e146dde135","datavalue":{"value":{"entity-type":"item","numeric-id":5044772,"id":"Q5044772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abfb980753eae3745c956448f77d69f6ebe287fb","datavalue":{"value":{"amount":"+0.7854344248771667","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":"Q1791209$0DB0BAA2-6287-44A0-AFF7-829F2C72463E","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":"1aa35ec045e354a3e038a86a60b45b46ae2ec90a","datavalue":{"value":{"amount":"+0.7833163142204285","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":"Q1791209$45473DD9-52E5-40D6-A066-0B89E863F2FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd2eb347944524b8aa00e5a342d6ec1648ed430f","datavalue":{"value":{"entity-type":"item","numeric-id":5370846,"id":"Q5370846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a05d540bb03bd0aef8940d34a7ae461ed3d1dcd","datavalue":{"value":{"amount":"+0.7825435400009155","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":"Q1791209$0F8CAC87-50A1-4DA2-94D5-28C05F2DEEF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa085ac5ba0c4b8a88a3f802d2741d0b756a39cd","datavalue":{"value":{"entity-type":"item","numeric-id":1961917,"id":"Q1961917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ee5fce3d2c20985754fcf48fe066bbf40f0c896","datavalue":{"value":{"amount":"+0.7690463662147522","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":"Q1791209$405D1DF5-391E-46C5-8608-0F847FCDF3D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5bec8eb9c72a133e62b4ca9464ec935dd19de4c","datavalue":{"value":{"entity-type":"item","numeric-id":5234269,"id":"Q5234269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cebb78fc2439f608bffb1788e683be4f6f635acb","datavalue":{"value":{"amount":"+0.7682875394821167","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":"Q1791209$C45558D4-CC10-4BF8-A29E-4B4F24C5AE3D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formalization of a polymorphic subtyping algorithm","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formalization_of_a_polymorphic_subtyping_algorithm"}}}}}