{"entities":{"Q3506320":{"pageid":5536224,"ns":120,"title":"Item:Q3506320","lastrevid":80592794,"modified":"2026-05-06T16:33:27Z","type":"item","id":"Q3506320","labels":{"en":{"language":"en","value":"Dialectica interpretation of well-founded induction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5288146"}},"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":"Q3506320$30EF0909-C885-4D5B-AEDA-8AE7C732F7CF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5c8e68730759b1be40a9190086d916ff3004ddb2","datavalue":{"value":{"text":"Dialectica interpretation of well-founded induction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3506320$7CBC9322-CB52-4E3B-B0EC-DD2703438AE2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6565c615bd888ef9eac5d9e2445e96db26a41c3c","datavalue":{"value":"1144.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3506320$46808CBA-BF6B-43A9-A2BF-1760F4AB3483","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d89967a655d20159aa875a5d9fe1d91c6683b97","datavalue":{"value":{"entity-type":"item","numeric-id":234585,"id":"Q234585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3506320$F4A8780E-7216-4FFB-A62E-5C65F552A239","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4a6458f05f6f6374b3dafda2fe141b0e0926b499","datavalue":{"value":{"entity-type":"item","numeric-id":3159398,"id":"Q3159398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3506320$74D68D17-F246-4869-BE3F-54E553ECB279","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a79b3218258c8b244863c2024bec8cb1e6ce3124","datavalue":{"value":{"time":"+2008-06-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3506320$BEE7B091-0E53-42C3-9751-0680EA6D4B95","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3506320$33A94768-BE70-4AAA-9368-1BD5684AA3B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3506320$A2D33166-CDA0-4119-8DFD-90461CC3ECF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3506320$630D92F1-C75B-4E39-85F0-C00810E0946D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"56d42a2074f1b7dcc80b7fb0b13d02632f999998","datavalue":{"value":"5288146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3506320$9C2736A0-7792-47A6-A845-D38D797220F4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"190a18e4334c7b2d8fa3ab86c83d1ef4d5c919a0","datavalue":{"value":"Dialectica interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3506320$713E2F10-2013-4E67-A04E-56BEEE5CA348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a5259c35e31d13fbcf20d89e94aea2df9d5424a","datavalue":{"value":"Euclid's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3506320$293F7DF8-F26D-4F03-A1ED-B29FA2164DCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36a96860261afab88486624af0939a44f9aa584f","datavalue":{"value":"program extraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3506320$F35F909B-F282-42DF-A93D-BDA0006FB8FD","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":"Q3506320$2A4B7630-3D70-4589-BB73-212216474F04","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8408bfe9a11059c597e7d92c0f0a2905e8139a7b","datavalue":{"value":"https://doi.org/10.1002/malq.200710045","type":"string"},"datatype":"url"},"type":"statement","id":"Q3506320$73AE5501-9B9F-49F6-AFE4-751C44C049CB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"218a4668eb65c344c49b14674c22285d2b88a0de","datavalue":{"value":"W2011158468","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3506320$FC186345-2BD1-4ED7-B8E0-C3F48FDD38A7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"20078d69304e2df97ca3f40332c8d92086a6b541","datavalue":{"value":{"entity-type":"item","numeric-id":4179016,"id":"Q4179016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3506320$FB6F467E-49E9-4C3C-B7A7-5DFD876A9E0A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8bcfa240905e1eaf48619d4535d2a3841d5f7b7c","datavalue":{"value":"10.1002/MALQ.200710045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3506320$ECE2806D-C326-4102-B216-57E9A92E33CF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d5ffd03910e43758538e0536546f5db73b516fb","datavalue":{"value":{"entity-type":"item","numeric-id":3576230,"id":"Q3576230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"274e340e9eed5d2f07c806ca70ff007bebe8e4c9","datavalue":{"value":{"amount":"+0.7477352023124695","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":"Q3506320$6AD3147B-164D-4AA8-AC32-8C5F7B9A7D6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8471ae1c6b614fe348790872da357b6b40fecc24","datavalue":{"value":{"entity-type":"item","numeric-id":4964700,"id":"Q4964700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbaccce62332d144611ca8d505f5c7935c145246","datavalue":{"value":{"amount":"+0.7378159761428833","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":"Q3506320$84F3DFD8-D324-4BD5-BE9E-E7FDFD4F1043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45f3daf49fa19a1cb25c709b6ad1875865b2b478","datavalue":{"value":{"entity-type":"item","numeric-id":2864211,"id":"Q2864211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daf54b5a2a9e8da9ee668a22bd9bd02c80994520","datavalue":{"value":{"amount":"+0.7330414652824402","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":"Q3506320$D97C5AC5-350D-45B9-986F-BEA1FACF3A6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84f00e0bc0fc6c7e1a655ab224b119d647bd93f2","datavalue":{"value":{"entity-type":"item","numeric-id":4986736,"id":"Q4986736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48946deeddb878175529ca99fb83e512a7543c51","datavalue":{"value":{"amount":"+0.7313591241836548","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":"Q3506320$44B661BC-EF09-41DE-B242-052B366B92FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"656e48ca1509c013c472738abf1c0271b0652514","datavalue":{"value":{"entity-type":"item","numeric-id":5394596,"id":"Q5394596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a216fc9d854ab51d9df148730c6dcb47f8dd58e3","datavalue":{"value":{"amount":"+0.7258257865905762","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":"Q3506320$88F3F2EE-4A17-4755-81A7-A300FE919E59","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Dialectica interpretation of well-founded induction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Dialectica_interpretation_of_well-founded_induction"}}}}}