{"entities":{"Q1798782":{"pageid":1809524,"ns":120,"title":"Item:Q1798782","lastrevid":72982995,"modified":"2026-04-14T09:11:11Z","type":"item","id":"Q1798782","labels":{"en":{"language":"en","value":"Intuitionistic Podelski-Rybalchenko theorem and equivalence between inductive definitions and cyclic proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6962930"}},"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":"Q1798782$5B574148-31B1-4F75-A301-33064FA48DD7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aee4cfabfc6c2494ef1ae37df461c62164b263f0","datavalue":{"value":{"text":"Intuitionistic Podelski-Rybalchenko theorem and equivalence between inductive definitions and cyclic proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1798782$80A130E8-6C6D-454B-B234-EB7EE1572493","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2350e70cc98ef578d3c272f9b21339d53e18c0c8","datavalue":{"value":"10.1007/978-3-030-00389-0_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798782$A2941D21-108A-4BA4-B72F-DBE14B4B8BB1","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":"Q1798782$450385D7-0AB3-4DEF-A69B-6EE25C64043D","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":"Q1798782$BEA4BD28-809F-4AAD-BBBE-FEC1FA61FB9E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d6bcb28ae86aeca9fbed36b824032693bb3a4a24","datavalue":{"value":{"time":"+2018-10-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":"Q1798782$58356FDF-9D16-449E-B142-AD99ECED522E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8b4cfb485e8a5f9142ab3ec9408617add642063c","datavalue":{"value":"https://hal.inria.fr/hal-02044649/file/473364_1_En_3_Chapter.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1798782$75BFF4E4-B4E4-40F7-9E3F-70A2F5E2AD2D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798782$3DA933C5-2DB4-4BDE-9CDB-9D322C34912F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"df3da46fb4c090bb7419c3b50f49f463f77e67b4","datavalue":{"value":"6962930","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798782$87A44565-3370-4400-BE55-878DEEB1D1BC","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":"Q1798782$6B6AA97D-B3A5-42A7-A87C-C0D61CF47D7C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"624edfe2a5c2c2e9a9b51031c25678a5213d2419","datavalue":{"value":"W2890321676","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798782$74544B84-E5E4-43ED-8005-1324367D1DE5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5408abb7ea427203ed438e8c0f4c155f1b865110","datavalue":{"value":{"entity-type":"item","numeric-id":5144634,"id":"Q5144634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798782$3B2F799D-0F34-408C-B17A-DC2D4DD57187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cacb44a942285d9baaf5031e5170ae5058e91948","datavalue":{"value":{"entity-type":"item","numeric-id":5278431,"id":"Q5278431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798782$0E042B35-EEF8-4CE1-97A1-9CC6C74DC5DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f7b88255d19d24a9c08c861e8270ad6cb0b05ff","datavalue":{"value":{"entity-type":"item","numeric-id":499082,"id":"Q499082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798782$077A2DFE-0DDC-43A1-88AB-12BA02E29DCA","rank":"normal"},{"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":"Q1798782$3EFE57FF-77D8-48F3-BEE0-3AD4DEFAFB92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5a4af602b522c2682b2c35cb1b488e8e6a412b3","datavalue":{"value":{"entity-type":"item","numeric-id":5144661,"id":"Q5144661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798782$47579851-353B-43C3-854B-4DF1BC0C8850","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":"Q1798782$EF385D6B-F67C-415D-9709-C3ED608741EB","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":"Q1798782$A01D2DF4-624F-4C66-8FBF-E0584EBE4939","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":"Q1798782$763FFBE1-C46B-44A2-A425-F6656D5DD2AE","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":"Q1798782$649F5B3E-CDD7-4FE2-B3F2-5BD6963F6FB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cb4c44053722d7d89141d98a75a5ec1bd92c3cf","datavalue":{"value":{"entity-type":"item","numeric-id":5144621,"id":"Q5144621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798782$79F8EEF5-BA4F-490A-A9E6-EBBF50F72F77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d71a17761c190ee78fb9d5f9e16c0f31fd0ccec9","datavalue":{"value":{"entity-type":"item","numeric-id":2958526,"id":"Q2958526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798782$C4864904-14CF-4C06-9B01-608F1002357B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798782$8E7B3222-5A18-4025-90F8-51F5AA9A3EC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a296d5968de653db0529f8303b6736f8f062015a","datavalue":{"value":{"entity-type":"item","numeric-id":5638283,"id":"Q5638283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798782$4AF04B24-AA3F-4BF9-9490-84F843E273A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e6365fede23c4492f6d5ad9821046aea104cd3d","datavalue":{"value":{"entity-type":"item","numeric-id":671352,"id":"Q671352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798782$9DFAF0C4-D4E1-4AA3-B63E-4B04D38C9FF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1935482434002d0fa3e71ce65d32c6e93232c71","datavalue":{"value":{"entity-type":"item","numeric-id":3000631,"id":"Q3000631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798782$C2F158A7-539A-4F4D-B09F-2834D37C64DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798782$D303B854-522B-4195-B5DF-D3EDBBFB708C","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":"Q1798782$5153B4CF-F079-4850-AABB-A26E630784BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a659b2cbd537713eeed2150669304c9e3e0f0e","datavalue":{"value":{"entity-type":"item","numeric-id":1854336,"id":"Q1854336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798782$FFFAD4A4-3555-4CA7-A141-2DFBE46A78B9","rank":"normal"}],"P1643":[{"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":"5e8944a25afdc4f6cea301e51a8b7e9e07a3af0a","datavalue":{"value":{"amount":"+0.92982966","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":"Q1798782$44DE37F9-00FC-4D42-9DB7-0EEC9C870486","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":"39a273282078c861eb1c50fd700285f38ebcdf3d","datavalue":{"value":{"amount":"+0.90642893","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":"Q1798782$B3EFDF29-36A3-4E60-8961-1582761C1152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec2143fe0527875ae99dafdff411b38ef1bc5265","datavalue":{"value":{"entity-type":"item","numeric-id":2104539,"id":"Q2104539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29b5ab0e6bd0383d17c8eb32ea3188409a8d9e06","datavalue":{"value":{"amount":"+0.8903122","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":"Q1798782$E08727D8-E500-4A8D-BC77-7569A76D669B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0931cfd3bfa7bd1cb71152d607954b1ce96cec03","datavalue":{"value":{"entity-type":"item","numeric-id":4008744,"id":"Q4008744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f02397651d555c620d52316c9efde585436377d","datavalue":{"value":{"amount":"+0.8774424","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":"Q1798782$594AA6C1-BA17-4F6D-815F-799417A97117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4baa166647374ce26227c8ae876aaeeb41de44f6","datavalue":{"value":{"entity-type":"item","numeric-id":789177,"id":"Q789177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05eb2a1ae3bb19f54887865bd5abe2a4ca585299","datavalue":{"value":{"amount":"+0.8747262","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":"Q1798782$41C2A3FB-9ECB-492E-ADC8-61FDA86C8943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88f71201f0b6a3d1ac6dd9dbcf7bd5a1262cf8dd","datavalue":{"value":{"entity-type":"item","numeric-id":2163179,"id":"Q2163179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa72b67ba9fc27f38915cefe1f6288e45c6871fb","datavalue":{"value":{"amount":"+0.8741531","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":"Q1798782$959DA7DB-0756-4FA3-8320-9181F1737593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58fd391857709a1825aaf51abf8d91be995f87d0","datavalue":{"value":{"entity-type":"item","numeric-id":3347863,"id":"Q3347863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2015cc1018c210cfb4ca4355f8896b3d3c0b91c","datavalue":{"value":{"amount":"+0.8736222","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":"Q1798782$CC3E26F4-85A3-4367-9634-D549AE0F2621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2a56d39a9bb495d307c4766910490e794a22634","datavalue":{"value":{"entity-type":"item","numeric-id":1057857,"id":"Q1057857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1435d1ef2fe18906966f80d008da7b618b4d5967","datavalue":{"value":{"amount":"+0.87301934","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":"Q1798782$4BD87688-832A-4FDF-8EDA-7FAA3E62536E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3a9b5a72bb3482380ebe222b11e0a47e7ee5a13","datavalue":{"value":{"entity-type":"item","numeric-id":3530407,"id":"Q3530407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5991fc4408df02e0c93a7a5c1ab4a97a14e9d764","datavalue":{"value":{"amount":"+0.8722259","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":"Q1798782$AA81EC38-DDEB-47ED-A8F7-0A3C0F009A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84dd24b13e86e8b7f507e9b28623e3cbe6b6e803","datavalue":{"value":{"entity-type":"item","numeric-id":4738237,"id":"Q4738237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a09a8f736e9f0308c74c795c126b5a6c1f4e6cf1","datavalue":{"value":{"amount":"+0.8717098","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":"Q1798782$2337AC20-875B-4163-B8E4-938D348DA4C7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Intuitionistic Podelski-Rybalchenko theorem and equivalence between inductive definitions and cyclic proofs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Intuitionistic_Podelski-Rybalchenko_theorem_and_equivalence_between_inductive_definitions_and_cyclic_proofs"}}}}}