{"entities":{"Q3535679":{"pageid":5565583,"ns":120,"title":"Item:Q3535679","lastrevid":49341925,"modified":"2026-01-07T00:07:54Z","type":"item","id":"Q3535679","labels":{"en":{"language":"en","value":"Structural subtyping for inductive types with functorial equality rules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5365917"}},"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":"Q3535679$9D38A38B-0A25-433F-AE4F-E0F44F144329","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3e359596be497b7824462307aa651df3ab4d423f","datavalue":{"value":{"text":"Structural subtyping for inductive types with functorial equality rules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3535679$0DED69B2-1E9E-4F8F-911F-5BDEFA25693B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"42dc69ccdfbd1c509ce4c304f07b699a8102c594","datavalue":{"value":"1156.68017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535679$735AE67B-D7BF-400A-B58F-E52A9D0C2980","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a79e763c2566d9e8a3769a5dc2a5d587b7fb2d31","datavalue":{"value":"10.1017/S0960129508006956","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535679$A2907F60-2514-4222-A6B4-0DD4E1DD609A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5113b34e3bbf27434e01e2c75e261e7834776faf","datavalue":{"value":{"entity-type":"item","numeric-id":220709,"id":"Q220709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535679$886E172F-D2B9-4637-A625-1161D3AFF61A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1cec371990f9003fbdabf64bcaf7487ca13372cd","datavalue":{"value":{"entity-type":"item","numeric-id":636366,"id":"Q636366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535679$ADF22A95-6EE1-4509-BE84-1121F7882EDA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535679$6FADB334-75F2-4F6F-B2C5-766C9DDE6C8B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"27f25e9d3b3894d698b7ec67f164a27a3aba1f7c","datavalue":{"value":{"time":"+2008-11-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3535679$1AADE73B-33E1-4049-955D-FE972D9FB5C9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535679$7AA9CEAA-F45D-443C-8F99-936733057413","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aceab0e093b8f50b7f57a87536479894052e5386","datavalue":{"value":"5365917","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535679$88FDFD04-AC61-4797-9BE0-68C4A8F1D91B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7165fec9115f05c93be2e6750db8f2bb02167cc","datavalue":{"value":"coercive subtyping","type":"string"},"datatype":"string"},"type":"statement","id":"Q3535679$62039F66-8D7F-492B-ACE7-E18018ED831A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"55d1796d289926821ff098bc5ea53615142e836d","datavalue":{"value":{"entity-type":"item","numeric-id":21664,"id":"Q21664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535679$BF98ECF2-3FF6-441D-A73E-AE0C5ABAB6F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0043252eab773bb3d2cd954b74fc157019506249","datavalue":{"value":{"entity-type":"item","numeric-id":19435,"id":"Q19435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535679$386441D5-CE2E-4B9E-B14E-3267B02FD9C0","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":"Q3535679$3CEA2559-E3DB-41E9-9F9A-3FCBCA408C35","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cca108e06577dae44ac6d51cf5d326577fc6b756","datavalue":{"value":{"entity-type":"item","numeric-id":5957918,"id":"Q5957918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535679$0083C0A9-2DF6-4CC4-A784-31C219BABEE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37bc8dae1994f1675072ec162c7c6788e05d8d41","datavalue":{"value":{"entity-type":"item","numeric-id":4296744,"id":"Q4296744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535679$4178A955-D75A-41E8-B4A9-8FC6AA62E33F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d7b35f67f940445411fa45c1b02bcb40d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535679$BDE3FC8E-79C2-4E1C-B801-A05EB71658BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535679$3CE7E407-B36F-4858-867E-393F4BE9B6B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3247948db76f97fed8d70bdc01ad427c970bc38","datavalue":{"value":{"entity-type":"item","numeric-id":5951521,"id":"Q5951521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535679$63FDE8DA-BEA8-4176-82D9-F0FEF44C2B7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53e32b6627db2baaf9e164614e67ab180e4d4fcf","datavalue":{"value":{"entity-type":"item","numeric-id":5958760,"id":"Q5958760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535679$45D5DE82-D9F3-4A6C-855B-EE1853C08042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6d96cb74d35dcef0be34809322dc2ac71fba5dd","datavalue":{"value":{"entity-type":"item","numeric-id":1175335,"id":"Q1175335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535679$4A8220C7-2700-41FC-81E9-6302832F9AD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3893e24895c818d766b4ac601e2292c1956a8e2a","datavalue":{"value":{"entity-type":"item","numeric-id":4819653,"id":"Q4819653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535679$EA5156AC-C166-48E6-A637-787A836CD5BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5371379ff0e1d14c8d0ac444ae3a4db9e3b4d88","datavalue":{"value":{"entity-type":"item","numeric-id":1776403,"id":"Q1776403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535679$530A47CF-37A8-4E00-8795-F69174FF896A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3bbf5c4acba1e943106282227d496dff22117d6","datavalue":{"value":{"entity-type":"item","numeric-id":4238487,"id":"Q4238487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535679$246713BA-B305-4F43-870C-29AE280C3EEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9579a4ebc8fc362938d3ee4c1626b4dbb8862f2","datavalue":{"value":{"entity-type":"item","numeric-id":4281483,"id":"Q4281483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535679$5BE58D35-54F6-417C-906E-4B481045C324","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ab5b63926cf73f6f4ddef4f747308d36ddb43080","datavalue":{"value":"https://doi.org/10.1017/s0960129508006956","type":"string"},"datatype":"url"},"type":"statement","id":"Q3535679$6F58B0E6-4122-41DD-904A-490560BFF362","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"feb6ec6a5e3ea924a5e65b1c8ab9cb8070c9c86d","datavalue":{"value":"W2157934017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535679$B0B92FBD-6086-45DE-9647-156799107A1C","rank":"normal"}],"P1643":[{"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":"bc6269e2ad5a6e268893f2589581891e1b2174d0","datavalue":{"value":{"amount":"+0.9097162","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":"Q3535679$3F1CB235-13FF-4A8E-B6C4-F60388A045E4","rank":"normal"},{"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":"bc6269e2ad5a6e268893f2589581891e1b2174d0","datavalue":{"value":{"amount":"+0.9097162","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":"Q3535679$F2715574-6368-4293-B583-0D7A3EE04214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92f07f7fe720de0af242d1a7a0340b1388d2edc2","datavalue":{"value":{"entity-type":"item","numeric-id":2897945,"id":"Q2897945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"573b625c901bf97b0f01fdda1109b929b6f1bdec","datavalue":{"value":{"amount":"+0.90011525","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":"Q3535679$53E962CA-1CD5-43D0-897B-9D87BBD1CFF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76deb5535e00ebcb01402afbe64314fa9e23992c","datavalue":{"value":{"entity-type":"item","numeric-id":678762,"id":"Q678762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b62bcc8d9adf4da3b43bd1f49fb49f2fd31fc76e","datavalue":{"value":{"amount":"+0.89534235","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":"Q3535679$77AD3B8C-3886-43F9-B039-D44A37B69C11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f1b4a819318684bfd1d79b714d281a04f6fd871","datavalue":{"value":{"entity-type":"item","numeric-id":2481559,"id":"Q2481559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c91e1b958e2bdc42f93465b3832cbd76daaab0e","datavalue":{"value":{"amount":"+0.8950053","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":"Q3535679$D8BDF2AF-154A-4D8E-9AE0-9571338F80B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f70332f25f8b1ef60c0baa6e2083a28ef246c43e","datavalue":{"value":{"entity-type":"item","numeric-id":866215,"id":"Q866215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5d7797bafa450d4332ed0064ef26bf711aa25c9","datavalue":{"value":{"amount":"+0.8932556","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":"Q3535679$50A62E99-5B30-4ABE-8D27-171671AB75A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c49db44578b6fa9662d744ba332efb46799dc6c0","datavalue":{"value":{"entity-type":"item","numeric-id":1355750,"id":"Q1355750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"415151fbf5419f4351f5b4ee5f84e39aff303c5f","datavalue":{"value":{"amount":"+0.8900971","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":"Q3535679$66613576-F5AC-4521-AC36-D7206691E8D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e23ce1b74ce90f8266b0685417baeadd29ef9ed","datavalue":{"value":{"entity-type":"item","numeric-id":5168936,"id":"Q5168936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3c71140634101e867e9457fb2ac2171c385f1ea","datavalue":{"value":{"amount":"+0.88372594","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":"Q3535679$C72D1F68-1E8F-40F2-9060-F2D9A0A3132B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f4fa2b7f0678d45ad1d23f39cb74e0c27da62eb","datavalue":{"value":{"entity-type":"item","numeric-id":4375803,"id":"Q4375803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38435180dabbbefd955da277577ef6232a014537","datavalue":{"value":{"amount":"+0.88351434","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":"Q3535679$33863F5B-122A-47FF-B762-C72165F95061","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3535679","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3535679"}}}}}