{"entities":{"Q3000600":{"pageid":3011324,"ns":120,"title":"Item:Q3000600","lastrevid":58095345,"modified":"2026-04-03T19:04:00Z","type":"item","id":"Q3000600","labels":{"en":{"language":"en","value":"When Is a Type Refinement an Inductive Type?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5897363"}},"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":"Q3000600$C996A4D3-836B-488F-BDDA-7B493787CF4E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7ffc98ed596f294fc07f3ee46e089046b38d7566","datavalue":{"value":{"text":"When Is a Type Refinement an Inductive Type?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3000600$CFFF9E40-E7D8-4794-9E0A-E9AE0CEBC5F9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"93fbc0c476bcdde2f55e3c19665df335450f5695","datavalue":{"value":"1326.68066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000600$6DBE581D-F37E-4175-9ABD-97386FC6C639","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0d7448cdd087e3d1a4878a6e791210fc300d5bcd","datavalue":{"value":"10.1007/978-3-642-19805-2_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000600$D6D2CCE2-A07B-4C2C-8FCF-BB3CFC9E6375","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"35a671bc31964954daa066cb3b32015fe8ce6632","datavalue":{"value":{"entity-type":"item","numeric-id":2888472,"id":"Q2888472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000600$D68E4135-549E-4026-8457-3E76007971FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"429bcf00dd5802aaa66006839bf4f8c2320a00f8","datavalue":{"value":{"entity-type":"item","numeric-id":673970,"id":"Q673970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000600$715B274B-631E-410D-9FF1-66C94A6DB0AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b927429827013666616d8874f179818e1bf5b042","datavalue":{"value":{"entity-type":"item","numeric-id":724934,"id":"Q724934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000600$C8C2C80B-6079-4F62-82BD-D21F7C7B5DA7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"24804f4b3014a48e696dd6005da1c061736a75ea","datavalue":{"value":{"entity-type":"item","numeric-id":2892754,"id":"Q2892754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000600$956C1EB6-E197-4B68-A3CD-6C27D57D13AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"07154ee076353c2b0adec8e531d763756f4412f7","datavalue":{"value":{"time":"+2011-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3000600$B22FCF4D-1987-4A60-9DF7-56CD8688F8B7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3b1874616ee5c00123af4c65bb4bd9488a2193a2","datavalue":{"value":"https://arxiv.org/abs/1205.2492","type":"string"},"datatype":"url"},"type":"statement","id":"Q3000600$CD120D11-5782-4067-AA50-39A16F245441","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000600$2F863CE0-6CEE-43F8-894D-3B17A0EF606D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000600$F58FBE64-A265-4112-8F46-67ACF86FDA8B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"505a31f95c25c1256010c330c4a3ec0e1d9eaf70","datavalue":{"value":"5897363","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000600$178D1F95-D2BD-4452-9F20-5CF5010722D4","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":"Q3000600$5723D8A8-AA1E-4397-9F66-429CBD9A7023","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"32eaaf65dfe13bd489bfe654153cc7d547626648","datavalue":{"value":"W1594164162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000600$3ABE5B71-B8C8-41AB-8836-ED1FD3FDCA80","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bde91441ac9e10a466a7ee95aae27d587fcf5a64","datavalue":{"value":{"entity-type":"item","numeric-id":2890506,"id":"Q2890506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c473251777a95bf2e9f70eede4b3ab7bc97ded6","datavalue":{"value":{"amount":"+0.83951014","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":"Q3000600$C09F0ADF-AABC-4D54-B8B7-628CF7B302E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8521e873a9ede93d7d82c0b6f388184c11eee487","datavalue":{"value":{"entity-type":"item","numeric-id":5753923,"id":"Q5753923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"279540a5212371966434f40bf738cbbdcdd8db5b","datavalue":{"value":{"amount":"+0.7916071","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":"Q3000600$1392402D-0877-43D8-A9CB-9050AE530A12","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":"8143f4ad72adecf9a421078ff668c33e91729bf7","datavalue":{"value":{"amount":"+0.7683904","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":"Q3000600$FB279E61-A2D9-4769-B7A3-3246DAA17030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22c58fbceaca79f3a9c207feec1bc23bcd1a11b3","datavalue":{"value":{"entity-type":"item","numeric-id":4470492,"id":"Q4470492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06543df5546442a75007d2e038e305614c15f381","datavalue":{"value":{"amount":"+0.7626393","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":"Q3000600$9AAF8538-BEFA-4175-BECD-069C4587875F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"667de67404f22ec11cd1e9b6028841a513a25d06","datavalue":{"value":{"entity-type":"item","numeric-id":3142164,"id":"Q3142164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad62624e9c0434ac563872a792c72a89da12dc0a","datavalue":{"value":{"amount":"+0.7613083","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":"Q3000600$A1EBFACC-BFA4-4EC8-BCB2-DBCAF7A08A0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf00f5c73a14d206e0dbdd2b0ce7ffafc7926df9","datavalue":{"value":{"entity-type":"item","numeric-id":2817688,"id":"Q2817688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7de13961065278da801b1a000dfa08110bb64e04","datavalue":{"value":{"amount":"+0.7599313","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":"Q3000600$BC9FE992-677B-4AB2-BB5B-1E152D9FAEDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2d1031b2557ae4046f68205947d253b3fdcb49a","datavalue":{"value":{"entity-type":"item","numeric-id":725041,"id":"Q725041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"246a1f35267021001b5c820a381547c05a44607b","datavalue":{"value":{"amount":"+0.7593639","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":"Q3000600$281703B7-1B4D-458B-BA7D-EF1C1C9429E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4deb763bb9e2272c5fe5eefdcbd4dcace37459f","datavalue":{"value":{"entity-type":"item","numeric-id":3434680,"id":"Q3434680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0631e1b99e450f35347c1a2291e11ec24e78a11","datavalue":{"value":{"amount":"+0.75688094","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":"Q3000600$D3AFA106-8707-4484-8CE6-A14558A53118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc3add3fd27834f90d60520da4b18c791992cdb1","datavalue":{"value":{"entity-type":"item","numeric-id":5389088,"id":"Q5389088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"983770301060497cc0f6b378a7126dba05b19930","datavalue":{"value":{"amount":"+0.75580585","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":"Q3000600$AB779EF3-8087-4A6A-9936-87D0A190B433","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3000600","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3000600"}}}}}