{"entities":{"Q2362498":{"pageid":2373241,"ns":120,"title":"Item:Q2362498","lastrevid":72600954,"modified":"2026-04-14T06:00:41Z","type":"item","id":"Q2362498","labels":{"en":{"language":"en","value":"Soundness and completeness proofs by coinductive methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6741143"}},"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":"Q2362498$6AA430E2-5861-4F5B-993B-1D6136C557F4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"09aba19ea8053c4badeb0ec60ab2db7d749aa332","datavalue":{"value":{"text":"Soundness and completeness proofs by coinductive methods","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2362498$3ADED847-669D-4FAE-8A9B-1003FAC6B803","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"35558ed58c126fc8ee8ed9182129df31be1f85b0","datavalue":{"value":"1409.68251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362498$3AEE4FEE-7A14-48B5-AD04-2E8BD65C42D5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"42c29c686dffd678d9f155b05a4a1aa93e85953c","datavalue":{"value":{"entity-type":"item","numeric-id":287335,"id":"Q287335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362498$AA1C969E-8588-405F-8F7D-73CBDE0A6B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ef4ea61388b67726824db4b9b444c6863305920","datavalue":{"value":{"entity-type":"item","numeric-id":817686,"id":"Q817686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362498$D91B44ED-14F8-4543-84F8-CF0C6BBD85A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"157dc0abe360dacc915db0769a2ed352a42201ad","datavalue":{"value":{"entity-type":"item","numeric-id":1687534,"id":"Q1687534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362498$107E838F-CDCB-47D1-A4E7-4C5DE1176CF6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362498$955F3C09-0B2E-4A1B-81BF-3B1F67A4130C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e955e3eec351ab42dab17f50ba694aafa8d23fd1","datavalue":{"value":{"time":"+2017-07-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2362498$312F7ADA-246C-49CE-B738-3D3726E22DF2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f553ba903e064062a5113750d42f2940926c0450","datavalue":{"value":"https://eprints.mdx.ac.uk/21796/1/JAR2016.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2362498$283A3EC2-6BC1-4CF3-93B0-6ABD4BED58AE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362498$514B5837-6015-48B9-A4A9-FCCC70212425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362498$FDFD4C9B-4E07-4719-9B2A-19A94C27294B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362498$26A62E26-2013-4DB7-A5A8-CE5E6E33E511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362498$12A6C100-BC16-43F6-865B-426845507BDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362498$2242BDE7-98D1-4A4F-9F7F-0C5222C14CDF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e4bf48be3816cc6523020143a8c3ab146ecb1da2","datavalue":{"value":"6741143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362498$D408D383-BD67-49DE-B106-062D48D9F2DC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b4ce00bd296f03573c0cc31c89a4e4b687c83a9","datavalue":{"value":"codatatypes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2362498$C727856C-96D1-4EFC-8CDE-726999F7E8BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b21d58c4afcd9e47493de8b658e7b2c4c12cdcf1","datavalue":{"value":"lazy evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2362498$FE126C69-A231-4479-9A57-D37C1A97D9DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2362498$31A26BDC-7D3A-41F6-9514-801E8908421A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2362498$9AB30086-F199-45F5-ACF1-3F820E2EE0F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2362498$1D8E44C9-F621-4139-A2F2-0D31DEFEFE3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4908130fad200c533896629f09c6eb4da5e3c07","datavalue":{"value":"Gentzen systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2362498$A8AD3B7B-8E7F-4CAF-8F51-51CD0D2A9E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96bbc11051e7df69761c0a9fe452d973e56df1e9","datavalue":{"value":"tableau systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2362498$CB4EF879-51C2-46CC-AF2C-A0D9EFBD2E27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddbcb2073b5c7b755f2e5b673e59622629e687d7","datavalue":{"value":"proof assistants","type":"string"},"datatype":"string"},"type":"statement","id":"Q2362498$A2C6525C-B7D3-438A-9696-6ACF96EA2374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f0513e500ea6cb630e73925875c7d53ca8d8e1","datavalue":{"value":"Isabelle/HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2362498$1774FB1D-3D36-4BC2-ACE8-6711DF4C8CC6","rank":"normal"}],"P1463":[{"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":"Q2362498$DC15692C-B314-40E6-968E-CEC429FBC76D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e338912f65cbd77347bbd512933e55736ef58bd1","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362498$2B8408BE-6EC8-48FF-A8C4-616484068889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362498$70AC3084-D6DF-4AAE-B326-5AF74776EA41","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":"Q2362498$9210B938-86C6-4A6B-8A4E-ACB23E245FCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"92ada66b7fad67177fdd185887b7c38f3272897d","datavalue":{"value":{"entity-type":"item","numeric-id":40276,"id":"Q40276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362498$BDE72017-2307-4449-B58F-6A583E403F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9b0860d94af5fdff4b5635709ae334aacdf07ca1","datavalue":{"value":{"entity-type":"item","numeric-id":19106,"id":"Q19106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362498$47BD46DE-6E8D-46DB-9A5F-DB8A04AB0C37","rank":"normal"},{"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":"Q2362498$68D7F88D-A193-438F-BAAB-46CD4CFA4E02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"258db6abc88398dde5e9fdf64ccd7d61ea712a16","datavalue":{"value":{"entity-type":"item","numeric-id":40325,"id":"Q40325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362498$8956402D-3084-469A-AEAC-2D8C00E6B79A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9ea3c552abed85ac2836ef6c3f1add7a3ef6ea63","datavalue":{"value":{"entity-type":"item","numeric-id":40299,"id":"Q40299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362498$685C5FC5-526D-44E6-AF77-91DECA65F9BC","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":"Q2362498$513C2E93-B565-467D-A337-DF54BC39CDD6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bbb4b28c02ed2163eace62d1614511046ae5ee51","datavalue":{"value":"W2534205211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362498$8E54C897-59E4-44E2-B0BE-26E32B93BC7F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"5e7d77ee3d67ed86879edb05eb443542c33c9faf","datavalue":{"value":"Q113901247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362498$DCC1CA66-9A26-4AB1-859B-77A7ECE63D04","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9fe4a72277901c2884c7aa80fe385ea55c31c28","datavalue":{"value":{"entity-type":"item","numeric-id":4132480,"id":"Q4132480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362498$9B319C2C-A464-4752-9850-AB23E1AC0E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6473cef3ce337243e0f2ba4aef7103911e4b3591","datavalue":{"value":{"entity-type":"item","numeric-id":5704032,"id":"Q5704032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362498$8E6C481D-8C71-414A-B879-01EAD6008F49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b52a45de8c1208b3a6a3b50a53088ff43e0469f7","datavalue":{"value":{"entity-type":"item","numeric-id":5326348,"id":"Q5326348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362498$60E15EA8-4040-4E7A-9398-B3B848A26990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9395c9f1db18f2a2c543ea7dc76354d49c566d96","datavalue":{"value":{"entity-type":"item","numeric-id":2817909,"id":"Q2817909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362498$AFE65F55-4D7C-44DD-A511-2A1864E5B81E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4d993f7be3ea77cad4a800be898a39b5ce70ed5","datavalue":{"value":{"entity-type":"item","numeric-id":2879246,"id":"Q2879246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362498$5C79DB78-2AF5-4AE3-BB80-A3BC28D36F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"399034269be6bba8be1aee8f83a7563dc96523db","datavalue":{"value":{"entity-type":"item","numeric-id":2849493,"id":"Q2849493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362498$F8F75367-565B-45DC-8A65-62B4B53D2551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0202cb9cafa0358b07911808cfce41ae5240485b","datavalue":{"value":{"entity-type":"item","numeric-id":3192180,"id":"Q3192180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362498$C700B64A-B931-49DE-A970-2D0DD860EA85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60ec34bc45b3dd9208c19ebd43163fb16d3d98f5","datavalue":{"value":{"entity-type":"item","numeric-id":2981955,"id":"Q2981955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362498$4EC030D3-ACD3-4BF3-A382-0C481F3BDBDD","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":"Q2362498$6FB19261-0144-4B39-8DDF-A24FA563D4FA","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":"Q2362498$D41D38FD-65AA-4FDA-921F-F4E487FB1BCE","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":"Q2362498$9EBBB9E4-B6CB-456B-90F8-628A60E17FEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaaee3a935b71da0c5fd895e355092a513197bd2","datavalue":{"value":{"entity-type":"item","numeric-id":3265659,"id":"Q3265659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362498$0F89656B-EA71-423C-91AA-D4BD93F0E083","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":"Q2362498$EF563511-1460-4248-99AC-D48F2FCD90FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"947ff4f1467bd12728eb045254844c67b3ca5950","datavalue":{"value":{"entity-type":"item","numeric-id":817858,"id":"Q817858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362498$6082A58F-C359-46A1-8CA9-52C8414649AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24aae03900dd3a194b137b848f2d183c9f767b98","datavalue":{"value":{"entity-type":"item","numeric-id":2469760,"id":"Q2469760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362498$EA633337-3C69-4EED-8FE0-1E0D48270B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ad2e3e71fd34316c4d5dca241131f17edc1acca","datavalue":{"value":{"entity-type":"item","numeric-id":4863622,"id":"Q4863622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362498$5DF80E2E-34EF-4563-B289-186F29A0B6F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"015cd53333891e4bd79b629bebe5f35ba7a7263e","datavalue":{"value":{"entity-type":"item","numeric-id":3738540,"id":"Q3738540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362498$9326FE1A-ED52-41C8-BD90-8C05D296B636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8bf1eb0085816c68ff7078182501fe6b0337105","datavalue":{"value":{"entity-type":"item","numeric-id":3743300,"id":"Q3743300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362498$6BE22E06-A263-43D2-A727-D8726FB2CC3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3671c04a28b3c6321772a8c859c51ac112c8b4d","datavalue":{"value":{"entity-type":"item","numeric-id":1127334,"id":"Q1127334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362498$0DFFD508-C1A6-435B-9D31-C9D5FD2652B4","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":"Q2362498$4A4AC16F-C6A6-4C1C-8867-E56D895636CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"931c42c28f22f89fe1b66164f9ececc2021ac1a2","datavalue":{"value":{"entity-type":"item","numeric-id":3558332,"id":"Q3558332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362498$0B568477-0ED2-4D52-A261-62039104CEF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17e9e44d7ffa3e35b73497e32253991279784e6a","datavalue":{"value":{"entity-type":"item","numeric-id":2751354,"id":"Q2751354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362498$B78366CD-E341-44CF-BBBA-613884F0B388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"205fc50b5519f69b83835852ede0d50684c7d19b","datavalue":{"value":{"entity-type":"item","numeric-id":4247076,"id":"Q4247076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362498$3E4469C5-6010-4064-8A53-80CD9A1425D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17794c4bc319199b07780fe8daa9724755f28e9","datavalue":{"value":{"entity-type":"item","numeric-id":4355684,"id":"Q4355684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362498$E1AC3620-FDEB-4500-BB97-51C614185DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8df5126f7bc502485e8014cc3038c9f4bcbc591e","datavalue":{"value":{"entity-type":"item","numeric-id":4917066,"id":"Q4917066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362498$B01BE0B8-FA03-4923-AF58-E42C2944DF8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c89e08f8e981b15d9e994bd9b66679f47871eb79","datavalue":{"value":{"entity-type":"item","numeric-id":5528627,"id":"Q5528627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362498$7BB90D55-B561-470C-8079-E94C33A0C4F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f767eb48d94ed0d52d2751735ed6a9462ed4e706","datavalue":{"value":{"entity-type":"item","numeric-id":3128482,"id":"Q3128482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362498$C8A55C21-5045-42A5-B081-F60EAE262561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58b883d872eefbd5f8daf82a38b9e66e81e1a15c","datavalue":{"value":{"entity-type":"item","numeric-id":5477663,"id":"Q5477663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362498$9AB40DBD-323E-499A-AA14-8603A3602835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e264974062f53b439460b85662778a60b49509d","datavalue":{"value":{"entity-type":"item","numeric-id":2926333,"id":"Q2926333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362498$076AD84D-B440-49A6-ABB4-590C9AFF11A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362498$A1830457-C1BF-49DC-B911-EF465F156FAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74016994ca31c8d024a1189f7e0ed32765e5631c","datavalue":{"value":{"entity-type":"item","numeric-id":3612504,"id":"Q3612504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362498$7186420D-B098-47E3-8951-25E3D63FF4CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf583aa3f302c811845d24da25af7f89bbfd4dad","datavalue":{"value":{"entity-type":"item","numeric-id":5501465,"id":"Q5501465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362498$879E1481-1A1C-4A0C-A664-5A85D2CB925C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f715c598475760ec47a3c882f36a2d236efc2069","datavalue":{"value":{"entity-type":"item","numeric-id":5758060,"id":"Q5758060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362498$9C7B1ED7-3194-47D2-8A1A-FBC49253F234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"132520da273c8089c5e3b2d11624d67e61c411b0","datavalue":{"value":{"entity-type":"item","numeric-id":4251915,"id":"Q4251915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362498$B7B19F22-17A1-4F0F-90FF-D33FEA09A23E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"203d48d7253d124888377b269b6bdabd88ab4d55","datavalue":{"value":{"entity-type":"item","numeric-id":2829269,"id":"Q2829269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362498$6A0B4C93-98FB-4A88-A99E-C73792241EA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44eeebf0235fcff88fc3bb17a20f2d20201fb8d2","datavalue":{"value":{"entity-type":"item","numeric-id":2852157,"id":"Q2852157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362498$C654A2AD-AF4B-4E4E-B61F-40862457D871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2fa401b3f58fb4c2bc9ea2f71ee0d728db11587","datavalue":{"value":{"entity-type":"item","numeric-id":2986838,"id":"Q2986838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362498$74FF2FC8-E687-4DC4-872D-7CD9AD489335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362498$B619A166-BC5F-416A-B44F-7FC6A9EA23EE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"61576b43a4766d5b4f1728a9da25c914f9a5a4bd","datavalue":{"value":"10.1007/S10817-016-9391-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362498$72DF99E2-56BB-4D01-9150-C7A585D20C87","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7939eaf0e3c80c37aeda57636aa2cb5b9b70f34e","datavalue":{"value":{"entity-type":"item","numeric-id":3192180,"id":"Q3192180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26c648aae669e90ccb0ab70bcafdd2ca42794a1f","datavalue":{"value":{"amount":"+0.8585963845252991","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":"Q2362498$80DBE597-44BD-4743-B653-09C169683D05","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":"a1686ff6e6407c47842acb85416b7c4ef68d836b","datavalue":{"value":{"amount":"+0.7596250772476196","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":"Q2362498$A0C1B2EE-B112-4275-A3DC-C777E360B035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e662739bece42c3f8ad29090d955e17212552c81","datavalue":{"value":{"entity-type":"item","numeric-id":2177578,"id":"Q2177578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e11ddd216f6bd78bc452e203b593b3b2db8e3d0d","datavalue":{"value":{"amount":"+0.7480674982070923","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":"Q2362498$F609507C-4537-404D-A5AA-09DBEE1CADC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af12b0c47463698ad0b613154d06ab41e7b09ed9","datavalue":{"value":{"entity-type":"item","numeric-id":1996855,"id":"Q1996855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b4d3dd3e4572409df5cb0678e03dc6ca20347ed","datavalue":{"value":{"amount":"+0.7465745806694031","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":"Q2362498$4AC9BCE4-32F2-4621-8C69-50A1B72EA4F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16d848fd39fcd180d6dd51093a428c6d8a947b6b","datavalue":{"value":{"entity-type":"item","numeric-id":2888482,"id":"Q2888482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0345ce23f448f93c58cb003732c3f27535687acd","datavalue":{"value":{"amount":"+0.7397413849830627","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":"Q2362498$35F7B933-1C1E-48DF-AF33-F784F98027E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Soundness and completeness proofs by coinductive methods","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Soundness_and_completeness_proofs_by_coinductive_methods"}}}}}