{"entities":{"Q5875344":{"pageid":7904895,"ns":120,"title":"Item:Q5875344","lastrevid":97508114,"modified":"2026-06-05T14:55:09Z","type":"item","id":"Q5875344","labels":{"en":{"language":"en","value":"Coinduction: automata, formal proof, companions (invited paper)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7649887"}},"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":"Q5875344$5208FEE4-8AB4-4299-A4BD-B193CCF3E87F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b609b0474903c90ee98ec931eee072d672864771","datavalue":{"value":{"entity-type":"item","numeric-id":299193,"id":"Q299193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875344$18462072-8E44-4B7C-9574-067753815084","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6695abe38664d65c38747de7b5fe54d9caa92dea","datavalue":{"value":{"time":"+2023-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5875344$55772D58-F730-429B-932F-97899E52EED5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875344$C934FFC4-3FEB-4579-8596-721DA983269C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1beef9b629b269af87df2be38d60db7d15b848ed","datavalue":{"value":"7649887","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875344$DE701094-EB62-4A45-8F02-8F56FEE472C1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fafcf953018573f92a433319a1c11197d7661331","datavalue":{"value":"coinduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875344$1A3C4080-E250-41E8-8BF9-4D9DEC757CC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875344$EA5C4F6B-6293-443B-A2F8-F5AEFD200C44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875344$B1415439-1FB6-438A-9D09-9B0A28BB65BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55caf05c57404ab910cf1d6d785d791abcc73ea3","datavalue":{"value":"formal proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875344$7229CF43-E2A8-44D2-BA30-D64591977974","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0e726563f0974b2cc0ef82acc15fdd8a037b3d6","datavalue":{"value":{"entity-type":"item","numeric-id":22838,"id":"Q22838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875344$F83E9869-BFD1-48F2-B7F1-93CA96EDC4C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27af564deade6f382327dd892208b67d4051da26","datavalue":{"value":{"entity-type":"item","numeric-id":2988636,"id":"Q2988636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875344$C810EE1F-52B4-4C5C-95D8-DCAA6095633A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddc31b36bf04eab4376f85e6408499afe556bd69","datavalue":{"value":{"entity-type":"item","numeric-id":1344844,"id":"Q1344844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875344$CD9EDFB7-0606-4910-BA5A-F66412389B49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e375c52511dfb34f82e104f95edb5056ad3d650","datavalue":{"value":{"entity-type":"item","numeric-id":3479525,"id":"Q3479525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875344$CC16FC98-AC2E-47B0-A422-E1A8CD157ACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3db0712512ae39e64635b9634cdec19b25e852ac","datavalue":{"value":{"entity-type":"item","numeric-id":2931822,"id":"Q2931822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875344$64D4834D-92FE-4129-BEAC-13B8E4DB6FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f49fa1f49f14748f70e9226f387711ddcf8fdc3","datavalue":{"value":{"entity-type":"item","numeric-id":2881083,"id":"Q2881083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875344$6B40A332-77C0-46D7-A90A-2534DA2E0DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"974ecd8f41629729af8d58aa2a6d8cff75f6bcba","datavalue":{"value":{"entity-type":"item","numeric-id":4635792,"id":"Q4635792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875344$57BD0B3D-270A-49A6-B255-284A5048535B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90fa757ff465e473a319959fd796de45eb13d7e6","datavalue":{"value":{"entity-type":"item","numeric-id":5111642,"id":"Q5111642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875344$E107EA2C-E53E-44E2-9CF1-8703D35F6C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31387b03abe228a3134d609ba9969ab563ee927f","datavalue":{"value":{"entity-type":"item","numeric-id":5009432,"id":"Q5009432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875344$E06AFD69-DFF1-44D1-B4A3-BF8E2A1D7247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70f2c5bd3751a51585b1dbbe011b98a4eafbff4f","datavalue":{"value":{"entity-type":"item","numeric-id":674338,"id":"Q674338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875344$B4FD5713-9E7B-43DF-89BA-BE26CDDA6A89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2583f34f3ba476ef3ed853ba8693dbe27f9970f7","datavalue":{"value":{"entity-type":"item","numeric-id":2931796,"id":"Q2931796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875344$1474B0F9-725E-40C6-95D5-8F658E6E7ECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ecdcca463445112101708876695eded3f30222","datavalue":{"value":{"entity-type":"item","numeric-id":1327385,"id":"Q1327385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875344$7108ADC0-8A58-4228-B558-F525AC64C4BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca4acb9423d306d0bd0ffa64b987d2982e9421b4","datavalue":{"value":{"entity-type":"item","numeric-id":4038681,"id":"Q4038681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875344$666D70CD-7EEC-49BE-A883-907DF7A55DD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3d2af99d6b473896566689317eadbb771e387b5","datavalue":{"value":{"entity-type":"item","numeric-id":4499306,"id":"Q4499306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875344$B8BA4A6B-E607-43BF-9E07-1D3775C990D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3b37b630ac928c28c7f18866045ae62768929a6","datavalue":{"value":{"entity-type":"item","numeric-id":5144679,"id":"Q5144679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875344$BEBE832C-C166-4223-9E3D-DA8C6B69CA6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30913205e97beb5c571c720f15fb23e67f5add3f","datavalue":{"value":{"entity-type":"item","numeric-id":5327344,"id":"Q5327344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875344$37E39DDD-E533-4E2D-B4A0-845902921F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19067979a65f5f9cffa8d51a2008c8cba42d74e4","datavalue":{"value":{"entity-type":"item","numeric-id":4635886,"id":"Q4635886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875344$0BC75CCA-7904-496E-B3CB-2013C863B7C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f89c795b54916c8315e62c08c1448be5108b0ef4","datavalue":{"value":{"entity-type":"item","numeric-id":3304097,"id":"Q3304097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875344$DE248CD7-C0EB-4CDE-B59C-BD8C71F68393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a359332bc8cbd27a6b4d63fac3ebe9b0581cec4a","datavalue":{"value":{"entity-type":"item","numeric-id":2988363,"id":"Q2988363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875344$98077649-6EA0-4ED4-B544-9355EE8AA5F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e95a27f25eaea1a52ec5d63d6f8282ce8c085888","datavalue":{"value":{"entity-type":"item","numeric-id":4657752,"id":"Q4657752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875344$4971A696-B2FC-439D-B968-C0F22C222003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb1c457b5fb25731307ea2faa08113b118b77d4a","datavalue":{"value":{"entity-type":"item","numeric-id":4236205,"id":"Q4236205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875344$C5EE9BAF-29AA-4F5C-B382-CD92E16E3D23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac98ee454784eee5e5e07ac795aec39dd374f502","datavalue":{"value":{"entity-type":"item","numeric-id":2734510,"id":"Q2734510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875344$A8D45AF8-EF50-4C58-B603-733E99470D08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875344$985FA011-E6E6-4EC7-A70F-6CB34C28511F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8fb5f6da2df561a79b128a652d1df41678f66c85","datavalue":{"value":{"entity-type":"item","numeric-id":22838,"id":"Q22838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875344$07A717E8-BBFB-4071-BAC9-EEC2D85096D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c16bcc2a523bb7e68436e2f13725598b97d9a7f1","datavalue":{"value":{"entity-type":"item","numeric-id":32994,"id":"Q32994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875344$98E9C8F3-F228-4262-9B9E-EEC8B408AB01","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":"Q5875344$B7FF1E3A-2AA3-4904-BA0C-0CBBC074AEA3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0eba8a9e19187bb3d088de54639053f43bb35d93","datavalue":{"value":"10.4230/LIPICS.CALCO.2019.4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875344$7B9A97FE-159B-45F9-A60F-E60657963952","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2331ec4df3b5429b5494c641126472a7edd5ef4f","datavalue":{"value":{"entity-type":"item","numeric-id":5361147,"id":"Q5361147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a204b56b7449369bbd665631d63ca369ce5e8224","datavalue":{"value":{"amount":"+0.8399104475975037","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":"Q5875344$09943A95-EA03-4BFB-BF8C-D574A091B963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9045e0b97e7d9d650e83cb53683d5b971f7d0005","datavalue":{"value":{"entity-type":"item","numeric-id":4251915,"id":"Q4251915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26015c2d41e39a2e8e577c6e05943df8ddbdb44c","datavalue":{"value":{"amount":"+0.8141924738883972","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":"Q5875344$7725ECDA-8AD2-49C6-BE9E-977073010163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c43d794470b4a2f633b0501f6c3dc699900011da","datavalue":{"value":{"entity-type":"item","numeric-id":3145858,"id":"Q3145858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b909c095fa542704e8722679988eaf51a55995f","datavalue":{"value":{"amount":"+0.8048442602157593","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":"Q5875344$417D8EDE-AD2E-4ACF-8EBE-90BBBE0A7ACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3ca8a2e01f8239d03ca7a8219c9f482f702440a","datavalue":{"value":{"entity-type":"item","numeric-id":4408808,"id":"Q4408808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7a079151e6716748b5cfb41527ba418a18feae4","datavalue":{"value":{"amount":"+0.8047341704368591","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":"Q5875344$185EBA0B-4BC8-4B7C-9FC1-98A802646ADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbdacffe350b0172db6270b2a9b59777bc6a7500","datavalue":{"value":{"entity-type":"item","numeric-id":4635886,"id":"Q4635886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fda6610db9e1a97ec1c893a5df9bd759a6f2d6ee","datavalue":{"value":{"amount":"+0.7989645004272461","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":"Q5875344$4BBFF1EF-4D11-4165-8865-F7384F828FD8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Coinduction: automata, formal proof, companions (invited paper)","badges":[]}}}}}