{"entities":{"Q5234712":{"pageid":7264280,"ns":120,"title":"Item:Q5234712","lastrevid":53547230,"modified":"2026-01-25T06:06:00Z","type":"item","id":"Q5234712","labels":{"en":{"language":"en","value":"Using a generalisation critic to find bisimulations for coinductive proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7111182"}},"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":"Q5234712$376BF557-FEBE-4BC0-84C0-F554CEFCAD3F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8e4de05d976d7b2217f03bec36814b8aa737297f","datavalue":{"value":{"text":"Using a generalisation critic to find bisimulations for coinductive proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5234712$26EEC1AB-8AA2-4A2A-BC60-47F41BD45263","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b1ebed36c2387b651e20ecd0671262d00ebdd609","datavalue":{"value":"1430.68399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234712$CD698610-4131-431D-B78E-C4D8307394B5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5168ca40e138741d8e7bf4e86b84504cb1854aa9","datavalue":{"value":"10.1007/3-540-63104-6_29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234712$645BC7A9-0F6F-4D04-B78C-4035B5D27E7F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff7e731a225299809c7217b779a74b446dd9c768","datavalue":{"value":{"entity-type":"item","numeric-id":540691,"id":"Q540691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234712$3DBDC147-9D6E-45E1-8CFA-C5196F31C072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d37a3d6bd9a0b44736f3bc6a6985f44383a95724","datavalue":{"value":{"entity-type":"item","numeric-id":438542,"id":"Q438542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234712$1B3588EB-977E-468A-AE6A-7D2EDD9050B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e1049fb3a5c1f5f050767d0dfd05ea2dd53468c","datavalue":{"value":{"entity-type":"item","numeric-id":540692,"id":"Q540692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234712$C0AC3C50-06D3-4977-B0A2-F8E3B8027FD3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3d3860a2f9767fdefbee4661adcdc84432183bcd","datavalue":{"value":{"entity-type":"item","numeric-id":5234680,"id":"Q5234680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234712$4614916E-2150-4E31-87A2-2297419F3D9A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dea1ace5968cb70ccc50b025abd55a0016bafdf0","datavalue":{"value":{"time":"+2019-10-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5234712$70A33806-E31F-4FAB-AC03-E0DCFCC005F2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7c9066876820ca0ab739527e2ca3ad20d7429c47","datavalue":{"value":"https://www.pure.ed.ac.uk/ws/files/6329544/Using_a_generalisation_critic_to_find_bisimulations_for_coinductive_proofs.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5234712$30E85929-1154-4877-984E-5B1806E59A73","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234712$9A47EBA2-1E9B-48F6-9F10-8A4DCFF9DED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234712$72C90BD7-E5AB-48BA-AE4B-423F02D2F215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234712$A289106F-6F9B-4A97-A5F0-38951866E7B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f4779c77b0a92c0111dae483f081553ee4025cb","datavalue":{"value":"7111182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234712$9E33941B-3A60-4DB0-901F-27F363565BE0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c0c081abc8eda38858901e1fd627902a9a4a0e0","datavalue":{"value":"labeled transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5234712$AB6BC59F-DA7B-4C49-850B-3754B4BF8046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5234712$874D1403-40F1-43DC-9CA0-06EFF1BC370C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea290032d710a04356408d10e3e939703353014e","datavalue":{"value":"functional language","type":"string"},"datatype":"string"},"type":"statement","id":"Q5234712$7BC55873-0CA3-4AA7-BA88-BD2A9004A175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee72a1b24e6e892e72761de3a64781267ea5d944","datavalue":{"value":"proof method","type":"string"},"datatype":"string"},"type":"statement","id":"Q5234712$DFE6174D-7173-48B1-99BB-E848858796A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20a062630d1bb5cf9aa5d669cd08fbd3eee7671","datavalue":{"value":"automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5234712$73251158-D3E9-4C02-89D4-197D736F8393","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f10e7acb77aa2a053602f0044c4781346f0cbb55","datavalue":{"value":{"entity-type":"item","numeric-id":31444,"id":"Q31444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234712$30913A93-9E59-400B-A994-D7A4859C69BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a49c6eab3f20625da110b159712fcc58d765d3c6","datavalue":{"value":{"entity-type":"item","numeric-id":31454,"id":"Q31454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234712$848AD892-E476-4410-9F78-7EE13445ED71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aca41f313ec935c6c7a90dad170b49859b6fac14","datavalue":{"value":{"entity-type":"item","numeric-id":17120,"id":"Q17120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234712$5D3B6C36-4536-41F9-B921-0FE9B949D11F","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":"Q5234712$3D633C2F-D9F7-4958-A243-FF585698D60F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b5d6fb4ca799df594f73e5590fcc825e4d040e8f","datavalue":{"value":"W1541732450","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5234712$133D0C10-75C2-48D1-8777-AEA3A5AB7E19","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"59c7366d3e0a05348da771f065bba9932f8ccf78","datavalue":{"value":{"entity-type":"item","numeric-id":4264732,"id":"Q4264732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234712$E3F66A47-CCA8-4224-9660-C014475A3D20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7199b61e16a84b76da4670f962685e538ce1a13b","datavalue":{"value":{"entity-type":"item","numeric-id":1891255,"id":"Q1891255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234712$B5DE9E7B-E50E-43A3-817E-6CA78BF87A66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22a238ed6c54d87ec163b1a7cb181d6ef07206ba","datavalue":{"value":{"entity-type":"item","numeric-id":3804239,"id":"Q3804239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234712$6B6B140E-769D-4073-8703-54E027FF989A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33b8955ae00ed7abb114fe381a6f8a5cfac44817","datavalue":{"value":{"entity-type":"item","numeric-id":1327704,"id":"Q1327704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234712$B5732443-9796-4FB6-AD2B-63DED5B8CAB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca8f696f84212a8b1569227e4bc6ff7a353277b0","datavalue":{"value":{"entity-type":"item","numeric-id":5234712,"id":"Q5234712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234712$54268D96-458B-480F-AFF6-B38A9E40A4D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bd75c7353be06e140b223225de0ecd826d5d1e7","datavalue":{"value":{"entity-type":"item","numeric-id":4222760,"id":"Q4222760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234712$05F59569-CE0A-4FD4-8CD4-39AB0DF47E61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"978af8987770da9ce87981964976dc7a47a0da09","datavalue":{"value":{"entity-type":"item","numeric-id":3204055,"id":"Q3204055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234712$0641D03C-5F0F-4485-9ADA-3C2185C68151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7db98659fd0d8d989353341e0c12c4246dfe6ee1","datavalue":{"value":{"entity-type":"item","numeric-id":1915134,"id":"Q1915134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234712$5C9DC9B1-D729-407C-A097-85C085F8F49F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234712$1C8FF1F0-A406-471A-8A33-3D1955CF6162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acc1f3fbb4fbad3f8876f0ad83aae7b512e54cfa","datavalue":{"value":{"entity-type":"item","numeric-id":1177158,"id":"Q1177158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234712$503E8B82-B25C-48E1-92D3-507B22017473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61afac04eb84f36706f34e95c93c5256a07b751c","datavalue":{"value":{"entity-type":"item","numeric-id":4647582,"id":"Q4647582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234712$D61EB3EE-68AA-48E9-B0FA-5B7CF746CF10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f52a135fa2cb9ae673692293b0336967bd5b19a","datavalue":{"value":{"entity-type":"item","numeric-id":5210768,"id":"Q5210768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234712$07037504-9498-49DB-820C-D222A5D04DF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c2fea1c1f3bbaa5cfdd6d15172b810d0b5c9f01","datavalue":{"value":{"entity-type":"item","numeric-id":1318702,"id":"Q1318702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234712$224E510E-F3E4-410D-A802-DAC7421ED79D","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":"Q5234712$327FE1D9-20AB-439E-9002-14CE469CFF27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df79bd3338a85c706f4f3504798a884c653b507c","datavalue":{"value":{"entity-type":"item","numeric-id":5210759,"id":"Q5210759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234712$D18B05EF-175F-40A6-9745-F94660733823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44546e3b7a4c346be33f56e64a5adf0d8ee293d7","datavalue":{"value":{"entity-type":"item","numeric-id":3790597,"id":"Q3790597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234712$348C45E7-537B-45BE-BBFB-12E5C7E50363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb40eaffa350ac2f00c7522e92d2e0a632635b28","datavalue":{"value":{"entity-type":"item","numeric-id":6488570,"id":"Q6488570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5234712$6A872D72-F082-4FF0-9A99-2F92081F4477","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e9bcac746d0b992e8ff1482a52100c38e2002fe","datavalue":{"value":{"entity-type":"item","numeric-id":1601863,"id":"Q1601863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d0a73b37a8b981ab82a82296eaef4b58a587dae","datavalue":{"value":{"amount":"+0.8612403869628906","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":"Q5234712$EBC3D18D-ADBE-4213-9B01-E94F081CF8DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd0ab5db63666d3652cb74817024c07c1bbdf598","datavalue":{"value":{"entity-type":"item","numeric-id":2931796,"id":"Q2931796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d0a73b37a8b981ab82a82296eaef4b58a587dae","datavalue":{"value":{"amount":"+0.8612403869628906","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":"Q5234712$E47BD1BF-C724-44AA-AF3B-032C9A1CC667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d582ea6a6b2344d3c2be85eb09b8f7e6fdaf8365","datavalue":{"value":{"entity-type":"item","numeric-id":4917033,"id":"Q4917033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1783ca93677d3f224ee678c8f1df9c4fb8bb0472","datavalue":{"value":{"amount":"+0.7679874897003174","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":"Q5234712$F4D86881-E7CF-4206-B667-291E0898CEC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9773ee3d70debc794eac4ab34c8a660087718bc5","datavalue":{"value":{"entity-type":"item","numeric-id":3591388,"id":"Q3591388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5101863cca1ce5aee8359e92d47e81c0f19d474","datavalue":{"value":{"amount":"+0.7475602626800537","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":"Q5234712$D1E6C3F0-8649-4B6F-A3FB-71FE17302164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6e49efac56cb67d5bcd2de93c355c65cda5eb76","datavalue":{"value":{"entity-type":"item","numeric-id":3557847,"id":"Q3557847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4f54107fe6ff0ca42b689645ba2980261c35a3e","datavalue":{"value":{"amount":"+0.7390482425689697","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":"Q5234712$82EE601D-8629-4C60-9370-A60C59B9E866","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5234712","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5234712"}}}}}