{"entities":{"Q4460690":{"pageid":6490289,"ns":120,"title":"Item:Q4460690","lastrevid":48264943,"modified":"2026-01-04T04:10:14Z","type":"item","id":"Q4460690","labels":{"en":{"language":"en","value":"On global induction mechanisms in\u00a0a<i>\u03bc</i>-calculus with explicit approximations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2063034"}},"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":"Q4460690$78F1C1E9-3E30-43F4-947F-EB1B3F43684E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e47cd215b33f8cb049ff11428a53eb7c62f38619","datavalue":{"value":{"text":"On global induction mechanisms in\u00a0a<i>\u03bc</i>-calculus with explicit approximations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4460690$453240F9-6F6F-4688-90F4-5EA80DD5CB4D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3d0d3ea6d060fba7e6b9ff4591df0e49b9019c7d","datavalue":{"value":"1111.68518","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4460690$8F4BE944-8803-4727-AF3D-55AA01CDCB25","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"42fd711c82655f9391f9c9ac0883e7ae53c27ad3","datavalue":{"value":{"entity-type":"item","numeric-id":937299,"id":"Q937299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4460690$1295C2AB-096F-4001-830E-0E6FF0D7D375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6786702c945efafa0740aa01768ef3c300be6d14","datavalue":{"value":{"entity-type":"item","numeric-id":931114,"id":"Q931114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4460690$37343B1C-8F8A-4150-9CE2-25D46FA71774","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb11a7d64aa2e2ac6f5f0a641dfeb8e0525b889d","datavalue":{"value":{"entity-type":"item","numeric-id":2720405,"id":"Q2720405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4460690$476FFCA1-B3BE-4A0E-A8FA-1930DF4BD7A5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e1cd9bf3779f6c23821bcce79ad403c8df2b71c8","datavalue":{"value":{"time":"+2004-03-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4460690$9486DEAF-5FF7-4FD9-A490-368D1751BAD8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"db72577ae9bce81388b8aeb03a746fb126820cab","datavalue":{"value":"http://www.numdam.org/item?id=ITA_2003__37_4_365_0","type":"string"},"datatype":"url"},"type":"statement","id":"Q4460690$1BA17877-F71E-438E-A892-439E86252B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"41a13a40ceb63b71834184335233c5f7adf5707a","datavalue":{"value":"https://eudml.org/doc/92728","type":"string"},"datatype":"url"},"type":"statement","id":"Q4460690$861F4A4C-3E61-4336-B44A-C0B8BD84C086","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4460690$E71C6A1E-E1B4-40A7-A812-A03B045C1F93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4460690$455446AD-B01B-4D67-887F-DFB1F8EA51C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4460690$E6805E69-A8D9-4A45-8D72-3DA00AE50595","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"01a6306f6657276e5123bd9e7726037c76f8a9e5","datavalue":{"value":"2063034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4460690$ADDC4DC6-729D-483D-A68C-E81CDF09322E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57f48fd328779d437a28c2f48d253d0ba8c1570d","datavalue":{"value":"inductive reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4460690$1E27D29C-72F4-4727-84B0-E2C1C653EE13","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":"Q4460690$0F1D4C53-E522-4B92-91B5-515D3AD74968","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"72d1046b407598d20cbe4b7e78b437e801ccf4a9","datavalue":{"value":"W2029129011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4460690$9233BEC3-04F1-45DB-9D6D-1E545749BB52","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c4d26544d22a30513dbdddd63598022e33eb3f4","datavalue":{"value":{"entity-type":"item","numeric-id":1190489,"id":"Q1190489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4460690$EB4A4953-A02A-4765-B359-7B18C5AE0415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3cbc199b41a95ddc768d4df5443baaff80552d3","datavalue":{"value":{"entity-type":"item","numeric-id":1383156,"id":"Q1383156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4460690$165D10DE-C658-4E7D-868D-E1336BD9C094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d2d552ec3acf806493cbc8188ef33d424d62662","datavalue":{"value":{"entity-type":"item","numeric-id":4542238,"id":"Q4542238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4460690$3DB5442C-508A-4A8B-8662-A5F7153D2EAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bed96517ad5ba1babe6b302ab098c89d0358319","datavalue":{"value":{"entity-type":"item","numeric-id":1820578,"id":"Q1820578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4460690$6ED01BFE-E66B-4961-92E1-9A893FB41EBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4460690$88EF8C8F-ECB5-4477-B3BC-44D4ABBFB56D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e6365fede23c4492f6d5ad9821046aea104cd3d","datavalue":{"value":{"entity-type":"item","numeric-id":671352,"id":"Q671352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4460690$BDD5952F-4F2C-4280-B8B8-94AFA4CA62B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85f8c72a9350326364dae4fb324c635b65cfcd95","datavalue":{"value":{"entity-type":"item","numeric-id":1236111,"id":"Q1236111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4460690$B5C813B8-E62C-4E7F-A9F6-3E506C374F74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cd21ad2b3de9b7229918c441084c25ebdbf827a","datavalue":{"value":{"entity-type":"item","numeric-id":4738238,"id":"Q4738238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4460690$5099DF01-E2B6-4F83-93EA-530772FED5CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f79af7c6c26413e6cf62b9d55caa06072ad927ad","datavalue":{"value":{"entity-type":"item","numeric-id":4417874,"id":"Q4417874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4460690$846575E8-2F4D-472E-A285-CC92FEB02AEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa4614c3d7786f0db16d6ca3adbca9b075e1b1ff","datavalue":{"value":{"entity-type":"item","numeric-id":1177939,"id":"Q1177939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4460690$8FB10FB9-834D-4EA2-9F32-1306EE18A07E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1d821bd2a1a38500df8bdaf1b0ad70b8c8ee08","datavalue":{"value":{"entity-type":"item","numeric-id":4385530,"id":"Q4385530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4460690$18FCE6EB-A577-4C01-BD53-93BDA859FD30","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f7dc83128fef2d4389b098a409f9373d133d4610","datavalue":{"value":"10.1051/ITA:2003024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4460690$8E5897DD-68DE-4B5E-AA78-8A171B43D0EF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6500daffc80e782d35723f48e683f63ac4af5513","datavalue":{"value":{"entity-type":"item","numeric-id":4417874,"id":"Q4417874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e24744486def32ce1effe5e4db288d92106e8064","datavalue":{"value":{"amount":"+0.8536091446876526","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":"Q4460690$F2F0229C-8958-4A6B-86E7-41C038411616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a67569a8d36820a4f5d562613552274ade326408","datavalue":{"value":{"entity-type":"item","numeric-id":5479270,"id":"Q5479270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ff3425ebd803395ecc76f73fdcc1f3597ff4c1f","datavalue":{"value":{"amount":"+0.7683947086334229","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":"Q4460690$B402E4D8-24AF-4957-958C-F9C0B99C1016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ab8cc3ba85a7bfbc723b79ca15f082559c7e3c6","datavalue":{"value":{"entity-type":"item","numeric-id":1005937,"id":"Q1005937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b668fce66cd7465b9cc02d113dfe3b79c8f9316","datavalue":{"value":{"amount":"+0.7430710196495056","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":"Q4460690$70104128-5F30-4F63-8877-A13BEE2E5414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abe3ee5dc0925b4983912e7dbf4b215e5d543fb6","datavalue":{"value":{"entity-type":"item","numeric-id":4542238,"id":"Q4542238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad43eda5dc8f67a9aff809ed7784539f9dcb099c","datavalue":{"value":{"amount":"+0.7402885556221008","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":"Q4460690$E47868D4-C7F2-4C7F-B5A9-F1EFE18C9A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cfb37f517f595e646c2fbe1feb393a78642bb95","datavalue":{"value":{"entity-type":"item","numeric-id":4938644,"id":"Q4938644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfa9987de7d919fa4f7e8f9047838be4bc991f13","datavalue":{"value":{"amount":"+0.7386223077774048","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":"Q4460690$543E293C-1FD6-4208-82D1-39D00E48F2AA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4460690","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4460690"}}}}}