{"entities":{"Q2988375":{"pageid":2999099,"ns":120,"title":"Item:Q2988375","lastrevid":45207655,"modified":"2025-12-02T15:42:45Z","type":"item","id":"Q2988375","labels":{"en":{"language":"en","value":"Classical System of Martin-L\u00f6f\u2019s Inductive Definitions Is Not Equivalent to Cyclic Proof System"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6720997"}},"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":"Q2988375$87B254B3-3DC3-4FF8-8E21-A6CEEF5E234E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0b63e2ed6ec5c2aadd50041bb13d4671958ea3a8","datavalue":{"value":{"text":"Classical System of Martin-L\u00f6f\u2019s Inductive Definitions Is Not Equivalent to Cyclic Proof System","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2988375$1846317D-442D-4A76-8BE5-539572505D6C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"95c1d67d7af43dc4d1d9c0c162517ddf27ec3721","datavalue":{"value":"1486.03094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988375$567030B5-B947-4FCA-9219-C570DECA712A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c52adbc3fb17a33ffaa4cb74da92c79e137b1d6e","datavalue":{"value":"10.1007/978-3-662-54458-7_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988375$016F3389-AF53-412C-B0F0-C7FE7C5B9F85","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b83ed7e99eb27f1c55fbf572cae2ecab18119ca4","datavalue":{"value":{"entity-type":"item","numeric-id":428881,"id":"Q428881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988375$B5BF0B54-F64A-4811-AD90-D2F15A8BCEBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a26d759a8f15177451aa97ef2fc9836978dfb443","datavalue":{"value":{"entity-type":"item","numeric-id":278746,"id":"Q278746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988375$02A3668E-C802-4AD7-B1B3-DAC03C616E04","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988375$A48F0B66-2675-49F4-9FE8-5DC6CB4DF7C3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a59ae3429cdc3df09abb41b2b009b08d954a3dea","datavalue":{"value":{"time":"+2017-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2988375$094E4A3E-AC6B-4C4A-89DF-D5DE9EB581C3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988375$8A4E62B3-AD72-4659-BAF8-76C6D071069F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cde05172e5f9c37cef740a3519be6dc5014d282e","datavalue":{"value":"03D70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988375$A9F0D92D-3E35-4F7C-BA78-F60F58A2AE72","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9bedb3f8a149fcf0d78374205194634ef275f8af","datavalue":{"value":"6720997","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988375$048EC476-F868-4B7A-9143-451B4B50A68C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f7cbd45ecb73cef1c098eba204d848b9a2d6639","datavalue":{"value":{"entity-type":"item","numeric-id":30358,"id":"Q30358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988375$1F6F31F9-AEF6-4CD2-9B2C-CC2C1B8F3A07","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":"Q2988375$FD62A8F9-875F-4A8E-ACD6-C3353B32B59A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f1ed2d04d4d58fb3e920261793beae95a2049e98","datavalue":{"value":"https://doi.org/10.1007/978-3-662-54458-7_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q2988375$CED182FB-E0E2-46EE-AFEF-19DD88B12756","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bc7a99c74f159ca10972da26640aba3d669c1771","datavalue":{"value":"W2611853323","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988375$793FB6FE-DE1C-48D6-A66C-545F55349545","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"33f972e3641c3a0ae702912ca836cccd8294c221","datavalue":{"value":{"entity-type":"item","numeric-id":2988375,"id":"Q2988375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988375$501B94CB-415F-4996-8F21-E17364459D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acdb95959b57456fca08b117071e35f64c5d31a6","datavalue":{"value":{"entity-type":"item","numeric-id":5479270,"id":"Q5479270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988375$4259E2C9-98C1-4621-9902-1207927D6FD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea8839917919f90fa144382a094d8dea8f58a77f","datavalue":{"value":{"entity-type":"item","numeric-id":3189830,"id":"Q3189830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988375$DE5D1168-A9E5-4052-9F75-8FBA9B18F6F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"329632390571b70c858fb813a0e714410ba89992","datavalue":{"value":{"entity-type":"item","numeric-id":5200020,"id":"Q5200020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988375$38784712-9B9F-4D64-BB88-0CB4EB5AFD22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65780b8ff63e05ed04842daf28a78e06b919dc34","datavalue":{"value":{"entity-type":"item","numeric-id":3103982,"id":"Q3103982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988375$8DBD0DCC-FD99-4A17-9895-5012C30F592F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca4f823ca2e82e86e612699cdb65f38c133999d","datavalue":{"value":{"entity-type":"item","numeric-id":4052071,"id":"Q4052071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988375$4020B24C-39C8-4CAD-910A-DEC1F90B6B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f81c8a262b904aee920dd09909420810680e3358","datavalue":{"value":{"entity-type":"item","numeric-id":3966112,"id":"Q3966112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988375$03D77A5C-5FF3-45B8-85F1-7F41539B95FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fae3640b114c508cb6127b07d35c2876cd21a98c","datavalue":{"value":{"entity-type":"item","numeric-id":2988374,"id":"Q2988374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988375$C24ACD39-DDC2-4F39-915C-012E165F74A4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b6434322f6650ae7fe26af9f25bfae2d6227bcd","datavalue":{"value":{"entity-type":"item","numeric-id":5227521,"id":"Q5227521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"974746fef1e6429ec3c0c453d3fd88bdcc18465a","datavalue":{"value":{"amount":"+0.9969591","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":"Q2988375$985FB1D9-3A3E-4556-A2F8-2DA358C981DF","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":"698425750072d11efb800b04ad8e714ce36dfe78","datavalue":{"value":{"amount":"+0.8203274","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":"Q2988375$3B49BF7B-675D-4AA2-8833-364BC73D33D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22c94c63c775a34bc69e831e7aeea3ea55656366","datavalue":{"value":{"entity-type":"item","numeric-id":5144661,"id":"Q5144661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1010099da3f6091555f5f158050bfdff14511b07","datavalue":{"value":{"amount":"+0.82007396","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":"Q2988375$4E333D6F-E963-4F57-A922-436E0265B26A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74ba82c3cd42101034d3846d4cd40d37d68d6fae","datavalue":{"value":{"entity-type":"item","numeric-id":1798782,"id":"Q1798782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27ec455e6ed2d1f261f945cc102090df1ea1160b","datavalue":{"value":{"amount":"+0.8150582","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":"Q2988375$10C39B1E-19A1-45E9-AA32-7DCCB84BD5EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"854b4f7e3013bef686e28fc8c6af233b3bc1bbe3","datavalue":{"value":{"entity-type":"item","numeric-id":3305628,"id":"Q3305628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3a48fb3c5de05b7303e237ae7dbca6b2c68ae13","datavalue":{"value":{"amount":"+0.8094635","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":"Q2988375$B901FA8F-1AB3-49B7-A112-CAC7E34E446B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05d94830ad89dfdb7fb2561d9182557670505501","datavalue":{"value":{"entity-type":"item","numeric-id":6159926,"id":"Q6159926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bf24090e4634d343200cb1435a581ce0ce74b97","datavalue":{"value":{"amount":"+0.8069742","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":"Q2988375$216DCED1-E015-4BE1-B6BB-EBB0BA1C42A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8025756437ab0862486ee2737530d691f3c74922","datavalue":{"value":{"entity-type":"item","numeric-id":5222971,"id":"Q5222971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf330638be075f3aa4a6393320e40b8ab14bf0a6","datavalue":{"value":{"amount":"+0.80577004","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":"Q2988375$4DB8A4BA-7163-4D47-ABB7-C62BD7801453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e42a30e7a08cae2df45f415596800c440d258f1f","datavalue":{"value":{"entity-type":"item","numeric-id":813076,"id":"Q813076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c481d6e2a8e25f26b4cb79451120287064b000f","datavalue":{"value":{"amount":"+0.79798377","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":"Q2988375$B434106E-94B3-45C2-BE9C-CA24B2DCDA61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06c2d6155c223905fb38e25ee94b229f28beb17b","datavalue":{"value":{"entity-type":"item","numeric-id":3081636,"id":"Q3081636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"271ed580a65b32ac4f47ce0163c813b1e93c282e","datavalue":{"value":{"amount":"+0.79445267","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":"Q2988375$6C3C90D6-EDE9-49F6-BD78-EBEE0E4DFF55","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2988375","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2988375"}}}}}