{"entities":{"Q5111280":{"pageid":7140854,"ns":120,"title":"Item:Q5111280","lastrevid":94325441,"modified":"2026-06-05T06:31:25Z","type":"item","id":"Q5111280","labels":{"en":{"language":"en","value":"Variations on inductive-recursive definitions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7204397"}},"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":"Q5111280$6886943B-530B-41D9-B0DD-3529D2B142A2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9840f60d2d34b03217d0a4acf0969c59b0d34acd","datavalue":{"value":"1445.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111280$79080865-B133-4BF3-B978-E3B759D326EB","rank":"normal"}],"P16":[{"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":"Q5111280$69FA878C-175F-4C92-BA1A-58883CC6C2C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"76aea849f9d31d470a57d9a5c902b7b2098fef91","datavalue":{"value":{"entity-type":"item","numeric-id":2392479,"id":"Q2392479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111280$C937EEFA-184D-44D5-8A9E-0A9177850A2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"59bdf3d36e9ce42e8810d203cfcd2e72a91b62c0","datavalue":{"value":{"entity-type":"item","numeric-id":724936,"id":"Q724936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111280$C486FE73-BA88-42CB-A43A-616169B532AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c182b62155bf5e5a252202ab45ba06927728ccc9","datavalue":{"value":{"entity-type":"item","numeric-id":5111279,"id":"Q5111279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111280$2299FF02-0D72-4E62-8FF4-D57A06C6E448","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"600d3a19753cf6cba81b7e42b63413a76fa78ab3","datavalue":{"value":{"time":"+2020-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5111280$A4C96BFF-4059-4BD6-804A-B858D3B7C6DF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111280$402D07B4-763A-4B12-899C-F80AB5798EB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111280$1A3956A8-54BD-4AFB-BF9C-80EB1BE3EFB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111280$B75CECDE-6970-4550-AAC8-DB739587E973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111280$5EA5ED4B-387E-463B-B7DC-D209269E6FE1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"34bdc9481a2b5703f6126deebbfaa16fbdab3570","datavalue":{"value":"7204397","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111280$5E182134-3A22-416E-B778-B754C9594CD9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111280$0C2C4A76-0AF4-43F5-BB14-F6C0A99FD694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da9b6b30e75ab6d3d3efff8704b8590355cec6c8","datavalue":{"value":"induction-recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111280$DDBA8BE9-C053-4158-AA19-2D33F832467E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"beeb4ca7951dfc11267d09e8ab29d4c7e9f2c51c","datavalue":{"value":"initial-algebra semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111280$F780EDB4-F153-4471-9A89-4D78824D8625","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":"Q5111280$7A03ACD5-4D4A-45D8-9E30-6B6B9946E599","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d8ce1ab7cbc344458f6c5f69920718926ea1d05","datavalue":{"value":{"entity-type":"item","numeric-id":2566024,"id":"Q2566024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111280$59ED1208-D416-43E2-9126-49C61080379D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24730bf218f114d7094d19a6f077dbd4642dc0fa","datavalue":{"value":{"entity-type":"item","numeric-id":5371943,"id":"Q5371943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111280$C7B59544-79EF-437D-A329-8758DCE45EA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b036afb6c48675fb24ccf34d4ee6da4f94a82636","datavalue":{"value":{"entity-type":"item","numeric-id":5176923,"id":"Q5176923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111280$95DEC47E-A161-4AB3-9A08-2D219D9766FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0191c8d55bfb13f05e230de930538ee944fa6808","datavalue":{"value":{"entity-type":"item","numeric-id":1336951,"id":"Q1336951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111280$B6E35B08-1CF6-40B0-A89A-2A7B10928BF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"364525b70d80e5ad032dd4bcb752b39f36195669","datavalue":{"value":{"entity-type":"item","numeric-id":4508246,"id":"Q4508246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111280$06D46BB0-F467-460F-A391-AA188FC962A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5765b1c70da77537c6e225225ff527afc50bcc4e","datavalue":{"value":{"entity-type":"item","numeric-id":4263867,"id":"Q4263867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111280$A00AB32D-49B2-4514-B281-5812399168DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e6e84dc7d2442795960d241851cf13bc84741e4","datavalue":{"value":{"entity-type":"item","numeric-id":1412830,"id":"Q1412830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111280$3951C38D-6709-4C8E-8759-9341E2E82A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"220e7bd07cfc86bd56365fb168aa15481d8c02d7","datavalue":{"value":{"entity-type":"item","numeric-id":2577476,"id":"Q2577476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111280$BB13B799-820D-453C-B380-88574EEFEBE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b4dfbaa0e17e1ebd4172fa6deb841857771ca02","datavalue":{"value":{"entity-type":"item","numeric-id":5712306,"id":"Q5712306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111280$1626CE82-C805-4F1F-AFD2-63FE9CFB2147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7088e6dc711db66d4d22262c93949042581faa49","datavalue":{"value":{"entity-type":"item","numeric-id":4902505,"id":"Q4902505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111280$AAF6C81A-E834-4D4B-A36F-79860410D7A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d99195dc21bfe293c78585d537f0445cd8b0dc29","datavalue":{"value":{"entity-type":"item","numeric-id":5741557,"id":"Q5741557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111280$DBCA4F51-D243-45CB-A7E7-FFA347AC935C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae94f828af67e50fecbc9e4b645ed6964977b9db","datavalue":{"value":{"entity-type":"item","numeric-id":4099613,"id":"Q4099613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111280$28FE60B3-48F2-456F-9CB1-813B0D9742DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111280$E66CBA47-9DC7-4FA2-9220-C6BA9A9BD425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a55620229a723772a6f28df349b35435b565020f","datavalue":{"value":{"entity-type":"item","numeric-id":699688,"id":"Q699688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111280$B74CCB20-9AC6-446C-B2CA-E08751F0D8CA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"108689ac4a0d1ff17e464dd7ed37f6a894d679c2","datavalue":{"value":"https://doi.org/10.4230/lipics.mfcs.2017.63","type":"string"},"datatype":"url"},"type":"statement","id":"Q5111280$BFDC0054-9B58-4FA5-9ECA-FE88CF6DE3F3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ed3237359bad297b18f9a34dc056e82fa67d1799","datavalue":{"value":"W2768213019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111280$0E472C9E-1BCC-4952-892D-0A5815DDC839","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"108fa9a31e4bd13ecdfb8ca3aef3975e8f847ad3","datavalue":{"value":{"text":"Variations on inductive-recursive definitions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5111280$C4A1D834-032E-40FC-9440-65CEDA550464","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fd148a55ad4dbb14ba511807f136342a74fe5b6f","datavalue":{"value":"10.4230/LIPICS.MFCS.2017.63","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111280$E18C692B-73AD-4777-A9AC-435CC54E0E3D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94d8fd4876b62694729223c9b8de482de58a1b04","datavalue":{"value":{"entity-type":"item","numeric-id":5214787,"id":"Q5214787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ca0978ff9baaebc4e74ab429484ad0b50cc88b6","datavalue":{"value":{"amount":"+0.91470563","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":"Q5111280$58EED259-0171-4CDC-8CB9-2FDCF9F695AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3158e4c24bd53d740ca852ca4858e1891cf953b8","datavalue":{"value":{"entity-type":"item","numeric-id":688731,"id":"Q688731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50774738164b6f2306ffdd819f59ed4a0c8c7e9b","datavalue":{"value":{"amount":"+0.8936819","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":"Q5111280$113D6FAB-6DDD-463B-B2DD-C6CEAC454716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90e609831f63c44202ca3170dd0548e6c4bad0d6","datavalue":{"value":{"entity-type":"item","numeric-id":3422019,"id":"Q3422019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb48a2725d7fbf4c02cf001a6ddd7440fd13e893","datavalue":{"value":{"amount":"+0.88168097","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":"Q5111280$78F8CEAE-9212-42FC-92AC-DC5DECA889B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11bced8a06474f68b3be28bcfe212709adc6fc34","datavalue":{"value":{"entity-type":"item","numeric-id":5178958,"id":"Q5178958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"985cbb1bfcecabfceb467c7b59df036381593e0a","datavalue":{"value":{"amount":"+0.8794943","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":"Q5111280$369847F7-65EC-4011-9AAD-BEEE3CC4AA74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c269e5a99f2caa587ad2d3307a55084f7b365d25","datavalue":{"value":{"entity-type":"item","numeric-id":5246718,"id":"Q5246718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0ba46d527c5a9f848d8cd81d5ad536edb114960","datavalue":{"value":{"amount":"+0.8794399","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":"Q5111280$5F78C790-1390-4826-9478-6D7C8AC83BD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8d7f413032b68f847d2c69e71e5ee21c069e875","datavalue":{"value":{"entity-type":"item","numeric-id":2848936,"id":"Q2848936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0ba46d527c5a9f848d8cd81d5ad536edb114960","datavalue":{"value":{"amount":"+0.8794399","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":"Q5111280$CA348CBE-EBEC-432A-9E6B-BC0B2BE33ABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7144f36c5618200f79acf20b5479adb69273e804","datavalue":{"value":{"entity-type":"item","numeric-id":5775750,"id":"Q5775750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"548f586fee9ebd153507e11ec88fff90ccd53078","datavalue":{"value":{"amount":"+0.8746871","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":"Q5111280$A3313AFD-DC23-4AEE-9848-586C2C906469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf1204eef0f1c9a97700857a4ecbedb4faa0354a","datavalue":{"value":{"entity-type":"item","numeric-id":3567855,"id":"Q3567855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52dbdeb23fb3f0624fdc30a66cbd4b82e3f9dba8","datavalue":{"value":{"amount":"+0.8715036","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":"Q5111280$CC299329-3645-453E-B4D4-7FE5C7F0A470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2576c8dffe4f7d56f71040c3dd0fe16771fe6a65","datavalue":{"value":{"entity-type":"item","numeric-id":1935375,"id":"Q1935375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cd8222caf2f0ba0168a7c87688327181f344162","datavalue":{"value":{"amount":"+0.87053764","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":"Q5111280$6A871E09-E9C9-4367-A199-74019237C4B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a5a010de29c213346cc8dbe730483ebdc673b65","datavalue":{"value":{"entity-type":"item","numeric-id":4893151,"id":"Q4893151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8179fecab45a2163a19ca1291083849cf8fc2284","datavalue":{"value":{"amount":"+0.8679577","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":"Q5111280$3519048D-D1F7-4A85-A470-EB5803C0B143","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Variations on inductive-recursive definitions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Variations_on_inductive-recursive_definitions"}}}}}