{"entities":{"Q556819":{"pageid":558586,"ns":120,"title":"Item:Q556819","lastrevid":62723943,"modified":"2026-04-11T08:01:35Z","type":"item","id":"Q556819","labels":{"en":{"language":"en","value":"Inductive types and exact completion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2181950"}},"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":"Q556819$E80F75F2-6F58-4872-BB35-51E5D55C6B47","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9d7a0e0852c8383f209b77deef38a683dbcc0a31","datavalue":{"value":{"text":"Inductive types and exact completion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q556819$8CF72E36-84BE-4E61-BF71-C0137E64A239","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c29c99762de9b7b53f206b86005efe8bfdcd2ba7","datavalue":{"value":"1064.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q556819$73A1AD18-EDE2-4783-915E-F195201D96EE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9d5b6d9c706120e3546cda282e0bf75898c459f","datavalue":{"value":{"entity-type":"item","numeric-id":448332,"id":"Q448332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556819$26A6D12E-A0CC-402D-AEF3-2A2988F0073B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556819$BAFC0F78-91EE-4C10-92B2-1F4DAF3183B3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"248c1efd530ae2f9901b8ca831703cab8c4ba528","datavalue":{"value":{"time":"+2005-06-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q556819$2BD97B72-C27B-4ADF-ACF1-2BDB9467643E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q556819$B7514EBB-4CA7-4895-B8DC-8A21FC421D4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q556819$6521C686-6E2C-4C18-B981-6F136B236CE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q556819$27585950-EA15-4344-B599-3A17D1DD9757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q556819$D1F6CFEF-5BD8-4057-8D33-6D3AC6F8BD7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q556819$4C36B9C6-B6AE-4AF7-89BA-E5E7FCE2F56C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"01d9a2a28d26f93228198b5792d4b9f1dab51059","datavalue":{"value":"2181950","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q556819$8055181A-D2F7-4F1A-8146-3CA3E081651B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6aa33fe16f6c4494ed7e3a8e3ba5c70944d65cd0","datavalue":{"value":"Exact completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q556819$A0B1622D-9D2A-489B-B445-80931477D807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e990e83434e27825322f46a6a51d139adeebe285","datavalue":{"value":"Realizability toposes","type":"string"},"datatype":"string"},"type":"statement","id":"Q556819$D9849717-979F-4EA2-9EF1-C167FF5AA170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d897c82a3e7ff8f0c03c0980b789cfa72b48245c","datavalue":{"value":"Martin-L\u00f6f Type Theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q556819$0DE65A5A-12A6-4593-8954-A228ABB0BAA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"774ec3063bef9c8be9bfcd6c83c247e2a866f4eb","datavalue":{"value":"Initial algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q556819$0FBB1B0E-BBB6-480E-BDC6-5E0715783117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c80f133a369ccc7aab03ae32ac33f91cdec21832","datavalue":{"value":"Pretoposes","type":"string"},"datatype":"string"},"type":"statement","id":"Q556819$E52AFC1F-3B57-43BE-9308-7E1E833B625F","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":"Q556819$6366D913-1417-4FDE-93C9-0269B09C29A6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ebc94d9c1d2ca60688dc394dd37946b533fa1d4c","datavalue":{"value":"https://doi.org/10.1016/j.apal.2004.09.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q556819$016FF70B-CF75-48A1-A9B5-BF0588518583","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6f0eb29d63596751af7961e608f1c99f5d7cefeb","datavalue":{"value":"W2068946935","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q556819$BAC338EA-14C7-4F09-B68B-F25263D42929","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d8f68f9e78bb6a5d59f21b1f2cddad1744eb2f2","datavalue":{"value":{"entity-type":"item","numeric-id":3659782,"id":"Q3659782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556819$17172D2D-3A57-47F6-8EA4-DDB2F3E6B9F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5474f583bfb838bb3bece0d3f05ed8f7931227a6","datavalue":{"value":{"entity-type":"item","numeric-id":4936141,"id":"Q4936141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556819$BCB403C8-48DE-4AEB-9FE4-24C301A32AC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c474289dd9e25ee23fc3092151775a30e7a4f9c3","datavalue":{"value":{"entity-type":"item","numeric-id":1903677,"id":"Q1903677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556819$37CF697C-75F8-4331-B200-9EBC6EEECC53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c86e2ca1645fdbf3a509964f1e2fcc8b3828f94","datavalue":{"value":{"entity-type":"item","numeric-id":4740070,"id":"Q4740070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556819$471F741C-BEDF-4EBF-8EE3-1E645526713A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9429d2707bb89c502ce71f9ef5f3f820284fd138","datavalue":{"value":{"entity-type":"item","numeric-id":1588066,"id":"Q1588066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556819$270FBFDF-352D-4C36-8410-8B3645416DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac0aa68a3f3a3df04e56587d59306f225ccb34bd","datavalue":{"value":{"entity-type":"item","numeric-id":678845,"id":"Q678845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556819$3AF89E62-7CFD-4536-B611-539300AEAA1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65c8c8ed706a86d97db05d5b778c49fb79be8a30","datavalue":{"value":{"entity-type":"item","numeric-id":1144013,"id":"Q1144013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556819$41A31856-56ED-4035-92B6-7FC60B32EE1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3f0a9885188da958c0124762509ca39d0da6b2e","datavalue":{"value":{"entity-type":"item","numeric-id":886236,"id":"Q886236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556819$C6B2CF12-D98D-4FF9-872D-07AB700FD50B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75fbf88ad4b38bd2537051ad7d167bb814dd65eb","datavalue":{"value":{"entity-type":"item","numeric-id":1577483,"id":"Q1577483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556819$D1A71705-C089-468B-AA1C-A79C016633A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c32137845c073e84e544eba4c17c52212773e889","datavalue":{"value":{"entity-type":"item","numeric-id":5957856,"id":"Q5957856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556819$FD85AA7C-4D72-409D-889C-B4D62572EDEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a0e2b7c6550f0775db656d6dd7762622a65b1a1","datavalue":{"value":{"entity-type":"item","numeric-id":1193601,"id":"Q1193601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q556819$6EFE5975-2291-4EE1-8F0E-C4988AAFF3D5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dd3afe4ee52ecd23e83ea7dcf936b2802d8e2603","datavalue":{"value":"10.1016/J.APAL.2004.09.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q556819$BE59D839-3516-449B-B53A-BC28C63150DC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43999ffd57b30b38ed56de1ae3879b146bb128b1","datavalue":{"value":{"entity-type":"item","numeric-id":5148098,"id":"Q5148098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3281aced5871f1f1f245e590de3cdfcb1ddcedce","datavalue":{"value":{"amount":"+0.7976539731025696","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":"Q556819$4CBC8FE5-BB21-48BD-A081-87C373528657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05bfee325e91f298337d8811e53f0e47fcab7290","datavalue":{"value":{"entity-type":"item","numeric-id":958492,"id":"Q958492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c358bc219068942335ecc6ce8ccb5c5572757f8","datavalue":{"value":{"amount":"+0.791771650314331","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":"Q556819$A2B86627-15CE-450C-A794-5DED1AB5AA33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5882c742186c44e767e75b590b882b1a818a7efc","datavalue":{"value":{"entity-type":"item","numeric-id":534701,"id":"Q534701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3f6a7bb16414ab0cb6e65eaf23865cbea9c86a7","datavalue":{"value":{"amount":"+0.7848480939865112","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":"Q556819$252DFE76-1D43-4358-AEA3-26E091FEBF1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ea27bdfec2ba133868d47d02bd5dc4fb070c1fe","datavalue":{"value":{"entity-type":"item","numeric-id":5752573,"id":"Q5752573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"555c6969f88a683d386bbb53c52f81d9b8474db6","datavalue":{"value":{"amount":"+0.75666344165802","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":"Q556819$4ECB814F-0610-417B-AC27-2B9FE22F1E36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74c33c405f9fffcd4f4a17da99e4d2242ac5842b","datavalue":{"value":{"entity-type":"item","numeric-id":5957856,"id":"Q5957856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d471d1a39d2a6c66abd8bd3bac757d88b9b721c","datavalue":{"value":{"amount":"+0.7549876570701599","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":"Q556819$2DFCCF34-271D-466E-A75F-69C239C93637","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Inductive types and exact completion","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Inductive_types_and_exact_completion"}}}}}