{"entities":{"Q3575268":{"pageid":5605172,"ns":120,"title":"Item:Q3575268","lastrevid":51046157,"modified":"2026-01-16T09:17:04Z","type":"item","id":"Q3575268","labels":{"en":{"language":"en","value":"Subtyping, declaratively. An exercise in mixed induction and coinduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5761622"}},"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":"Q3575268$A44CF3F1-362D-45F8-9363-AED69779158E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"877f7774f81bb0c24c9d9a2738eb8ff064e45ea9","datavalue":{"value":{"text":"Subtyping, Declaratively","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3575268$E3F24C5B-1EB5-47F8-98A1-8E15D69D64C9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9fd981d110c360b16e28c59e2e2377d7eb4202d5","datavalue":{"value":"1286.68074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3575268$718F01CB-33A9-42DF-90BB-DF6B03784242","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2488f44bc50ed8b54017f3f38e7cdecc68767f76","datavalue":{"value":"10.1007/978-3-642-13321-3_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3575268$2F5FC715-4F89-4E5D-B682-1F755DB2FC37","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e09a288b38762987ec2f9071aad3887de809e0b6","datavalue":{"value":{"entity-type":"item","numeric-id":740486,"id":"Q740486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3575268$31D2EF29-F49A-4645-96F5-885E5659A601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6801a503eb1bea2102d1e59832005afa5cab1cee","datavalue":{"value":{"entity-type":"item","numeric-id":1652991,"id":"Q1652991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3575268$73E85112-0971-4726-B4A1-DA0BF83EF4C7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3575268$8B6AC4D7-BD6D-43E6-843E-7E7135AA36A5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51a2685e131198f653c90b66922043417f7b2e3d","datavalue":{"value":{"time":"+2010-07-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3575268$B57947DA-50FB-4207-835C-F3689FE58F35","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3575268$35E59444-9AB0-4809-979A-A2168A55D2A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"831111538360986d1d05fdb9b589c814937e6541","datavalue":{"value":"5761622","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3575268$7113374B-9AC4-4AFC-AA82-F8969AF65CAE","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"038f9dca2822228b7654e23fcdaac8d93f659f9e","datavalue":{"value":"Q61583812","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3575268$A6E0ED50-96B8-421F-B3B8-92930A73B2FA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a8b6b13bef47cb19f4e2508b5917af235a65eb0","datavalue":{"value":{"entity-type":"item","numeric-id":21668,"id":"Q21668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3575268$068D7371-84C8-4EA0-8FE4-AED9F3C81765","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":"Q3575268$2EE6EBC4-2A4C-4516-8603-00235D937344","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ec9ceae3517e31bae661dd1f25d484da8b0ba49f","datavalue":{"value":"https://doi.org/10.1007/978-3-642-13321-3_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q3575268$57EB4F53-E544-4E2A-A40E-76D5142AE1CF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e6cac2ba54a8f148b91d85103df0e8c1d4bd43f5","datavalue":{"value":"W4254626787","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3575268$DF2DEB07-C07C-4610-8AE3-7D8C310E9BD4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a022293e98fb5f60bd0f397b7317e3c04813b57","datavalue":{"value":{"entity-type":"item","numeric-id":3837984,"id":"Q3837984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3f4d162fba37629ce834d7d4cb21d0c8c48be89","datavalue":{"value":{"amount":"+0.7653046250343323","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":"Q3575268$EDAAC07F-CCC7-4AD3-90DC-76AED2D36EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3f5cd59a78c7606aa8dcab55a2a93692a8a6818","datavalue":{"value":{"entity-type":"item","numeric-id":5854733,"id":"Q5854733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3f4d162fba37629ce834d7d4cb21d0c8c48be89","datavalue":{"value":{"amount":"+0.7653046250343323","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":"Q3575268$77CE6F05-5373-467E-A36A-61DE1FCF6910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a3a7c6a959c5a472ec28196942b5d8779631b1f","datavalue":{"value":{"entity-type":"item","numeric-id":3024900,"id":"Q3024900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46027c98ff360808f10a7585517d041b04ec79ac","datavalue":{"value":{"amount":"+0.7626575231552124","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":"Q3575268$05CA6887-C07B-430D-8F69-FF335E7CD3DB","rank":"normal"},{"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":"b89d8f5acd24e26b54e84e68bfe14beb4077ed85","datavalue":{"value":{"amount":"+0.754364550113678","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":"Q3575268$2B934850-B654-4F82-B63E-C698FE10A48A","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":"ba0e449a3ad8cc476e14d2cb69e7aed4b2014cc1","datavalue":{"value":{"amount":"+0.7501770853996277","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":"Q3575268$DC754400-6192-42E7-B589-2424415E6D2D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3575268","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3575268"}}}}}