{"entities":{"Q4647512":{"pageid":6677093,"ns":120,"title":"Item:Q4647512","lastrevid":40722988,"modified":"2025-04-04T11:41:41Z","type":"item","id":"Q4647512","labels":{"en":{"language":"en","value":"Structuring metatheory on inductive definitions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7001904"}},"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":"Q4647512$856B7BE5-E4DB-4654-B3B4-10D57CEB678C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2f3c1f8a93cb409cce5357f6fa077b95b798496d","datavalue":{"value":{"text":"Structuring metatheory on inductive definitions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4647512$F5382C53-CA21-4C7E-8A06-E8BCBDFDE73C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c5876e3fcab403533389647ba50b38db5dfecaa9","datavalue":{"value":"1412.68205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647512$7B1312E0-208F-43FF-895F-B7B5FC06ECED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d7191dbb854e7ed8d49dad630b01e37bc44af384","datavalue":{"value":"10.1007/3-540-61511-3_79","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647512$6ABF0A87-D95B-46DD-A348-8C5CF4868AB8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddc7b5b12b893092752e25f19fff9284b5a1df19","datavalue":{"value":{"entity-type":"item","numeric-id":1289099,"id":"Q1289099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647512$2EEA4F24-9BA6-4BC6-A950-DAEB498C58D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"69ad79c07c2956f1777e7c914202daf6884a50fe","datavalue":{"value":{"entity-type":"item","numeric-id":1332774,"id":"Q1332774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647512$58F89EBA-1A97-4736-8583-079A2460A570","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1c1c5ae1cd90ac8f2e7ae6528ac21a720bbd1fe8","datavalue":{"value":{"entity-type":"item","numeric-id":4647495,"id":"Q4647495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647512$0B26052A-EA13-480B-865B-4C7CC8FB490B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"250f083a2ef1e7a7df79afad0acdd22e5799ecf5","datavalue":{"value":{"time":"+2019-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4647512$6F1379E9-111E-4115-9770-3C632ACB7CE7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647512$8EB6C6B0-255F-4786-8AB2-6F601EA18FB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647512$5D64A75B-9226-4DAC-86F6-DA0CE8A57502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647512$E259B5F4-DC75-4830-8C6F-1876181BE53D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4819b1e84fc581057eba655dd7d87f211e9113a9","datavalue":{"value":"7001904","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647512$B5C0B159-8E11-4E7A-B0E0-EFE5AEC66001","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647512$FCE9A2D1-5708-4A3D-8F18-A22D21A3EC88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bf549142b710f01581b24fd28cbb67614316cd4","datavalue":{"value":"theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647512$F8B91A1C-FFFD-4533-A100-FCBFF970D02D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a0dd3e1b83404196449aa90cc83aae915af1cf","datavalue":{"value":"proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647512$9519FD30-B35D-42C6-B4B1-267D3371B1D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647512$C74987B0-0488-4F4B-8371-77F8366672E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0c73b2fface4ec257480b4fae84e91b592004fc","datavalue":{"value":"object logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647512$6944528D-14D6-4F0C-8197-FA36F20BC918","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647512$BD36CF52-FB57-4595-8D70-B87DF8E638A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"25db55153babd7076d594d911b639e78d62b451a","datavalue":{"value":{"entity-type":"item","numeric-id":20369,"id":"Q20369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647512$69EA5ADE-2E9A-4DE8-B00C-782D2055DEF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647512$77EE3B63-AA70-4C6F-90B6-18F08D59AA28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647512$691BA768-701A-4137-B709-D58DE2A74F9D","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":"Q4647512$8DBC9462-C412-4598-8DAF-DB6C045CDB44","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fdf9590eb56ec6c0143a857c806afca9191c90e2","datavalue":{"value":"https://doi.org/10.1007/3-540-61511-3_79","type":"string"},"datatype":"url"},"type":"statement","id":"Q4647512$BD6A8F06-C753-4448-B296-D1DFC3C2E29B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e85da845c7f8ca7584a120b08d18f6a77b202851","datavalue":{"value":"W1536073213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647512$4ECDE0CB-F627-43E1-9DF3-7111234F03C6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f7c99e107348aa82bd1ed9ca721c57c6ffc4f86","datavalue":{"value":{"entity-type":"item","numeric-id":688571,"id":"Q688571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647512$1E303BBA-FA18-4874-8236-49CA8BCB9617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a0c8df1ebe6e984c4d874c516da41cf5d410c48","datavalue":{"value":{"entity-type":"item","numeric-id":4261732,"id":"Q4261732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647512$5D339122-A177-4BBE-B834-BF7F0768C188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d197a65ea477d3c98172aa2319f78cbbe2d1672","datavalue":{"value":{"entity-type":"item","numeric-id":1314285,"id":"Q1314285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647512$6572954D-66D6-474E-8651-DD721B8D25AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647512$332B3876-4F6F-4305-BA4E-CB08AC50C73A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc8abb92210655a5bd4143cbbadd6eadb52d635","datavalue":{"value":{"entity-type":"item","numeric-id":1801222,"id":"Q1801222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647512$B724112A-510E-48E5-866B-62C26A056727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647512$57204CC7-022D-4DBD-B8E9-36C159554DB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23417d0146cdc8808662ea4f0b0496e878f3547","datavalue":{"value":{"entity-type":"item","numeric-id":4722037,"id":"Q4722037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647512$1D00EB8C-7995-42E8-9984-021E36F3A1EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a10bbeb6c6903ace983b2dbf286a2ef4e5b248ab","datavalue":{"value":{"entity-type":"item","numeric-id":1331625,"id":"Q1331625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647512$709AC1AB-07FC-4764-8FC2-327FC8DDD3F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647512$481D48DC-1C6E-45B6-9A53-C692574DC99D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55e10c2cdfbf4488dfd7e4dea38b75fc72a07cc5","datavalue":{"value":{"entity-type":"item","numeric-id":1854368,"id":"Q1854368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ed0d4a8002d98ae475e924c65685a1d36c2409a","datavalue":{"value":{"amount":"+1.0000001","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4647512$4391D11D-A1B6-42F1-9C12-77872B068054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffdbdea51369454172209889b2b72d73e825279e","datavalue":{"value":{"entity-type":"item","numeric-id":5344990,"id":"Q5344990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81570c4fdbbdcd68b3f8557decdfb2a205577eb3","datavalue":{"value":{"amount":"+0.86556214","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4647512$D88F8650-E4B1-4016-8BAD-7BA08A6922B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17ef0ec61b5ebba3a7173518736b390aece440db","datavalue":{"value":{"entity-type":"item","numeric-id":3765759,"id":"Q3765759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ec9c092b266c4306cb3e944ecdd5ee3d96a165d","datavalue":{"value":{"amount":"+0.8608371","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4647512$5AB7B46A-EB5B-4FFD-B7B2-C532416F1C4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cc61e88c63ba9c1db51611641f765fc7aa089a4","datavalue":{"value":{"entity-type":"item","numeric-id":5361256,"id":"Q5361256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e24e5b11b4e61b952b209bdb363bf0b6de15706","datavalue":{"value":{"amount":"+0.8574388","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4647512$28129E5E-350D-4083-B8A3-C7FED97C5F84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dcb359b506a22c50bf7da6e8cd15766af11bd94","datavalue":{"value":{"entity-type":"item","numeric-id":4264727,"id":"Q4264727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c50e0b409ef1822351bf54732fe4a393dfa5404","datavalue":{"value":{"amount":"+0.8572033","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4647512$C6976D59-076D-49B8-B875-0662EF4D509F","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":"5ea2631e108e8001be8d6b2fc5b54e59641021ec","datavalue":{"value":{"amount":"+0.8548137","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4647512$7CECF6EA-406C-4ED0-9AD5-B6D28B11E3AB","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":"a8d2c8b8313c4cffbbdd657cad3011e7fa360eef","datavalue":{"value":{"amount":"+0.85437816","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4647512$17B175BA-DB36-4C7B-97A2-0E6324F53850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4a5467214381d9eb97275e6ca78397919ead761","datavalue":{"value":{"entity-type":"item","numeric-id":5308093,"id":"Q5308093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"125cbc44d263def60feb8b423b1ca172047bad57","datavalue":{"value":{"amount":"+0.8542826","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4647512$E7EE3617-643E-43AF-82DB-11B86AC94906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"695aa94d9b598723506ed9d0c50d5f83f2320eef","datavalue":{"value":{"entity-type":"item","numeric-id":1981997,"id":"Q1981997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab54985a863e80a7373396079a3695b29aceb4b4","datavalue":{"value":{"amount":"+0.85106516","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4647512$9DC8115F-4BBC-4D48-A11B-59D05CDBAF38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99e43d82f7bf236a439006b716bd880c2cf6264b","datavalue":{"value":{"entity-type":"item","numeric-id":5603868,"id":"Q5603868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d707e97771bdd84fdbf5da60a44dda08cba59f3","datavalue":{"value":{"amount":"+0.8510086","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4647512$68AE6E87-C7E9-435A-B2E2-F5F8EFCDBDA4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4647512","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4647512"}}}}}