{"entities":{"Q5376646":{"pageid":7406220,"ns":120,"title":"Item:Q5376646","lastrevid":58537971,"modified":"2026-04-05T16:00:12Z","type":"item","id":"Q5376646","labels":{"en":{"language":"en","value":"Proving soundness of extensional normal-form bisimilarities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7056219"}},"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":"Q5376646$7A070850-D532-4326-9157-22E378627FAE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2bd7b56710b721a33d0da174dc12fb11b345432f","datavalue":{"value":"1421.68011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5376646$44C899A5-1C1F-4EB6-83E2-5972511AB2C8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"439c0b584f8510e6aad20bb9ad6c1da88b2eced3","datavalue":{"value":"10.23638/LMCS-15(1:31)2019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5376646$A37F9CC1-4750-4656-AE2B-7B404F81E03F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aac8057f9fd1520fcbc0231a1d841513ef433ea8","datavalue":{"value":{"entity-type":"item","numeric-id":283737,"id":"Q283737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5376646$3B8D3BA1-6803-4144-B835-81AE3BBFB780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"34d559683f27157f77bd17779cb2a67ae4a95cea","datavalue":{"value":{"entity-type":"item","numeric-id":283738,"id":"Q283738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5376646$6A7C6267-D79F-4798-98A5-8868CA7D65EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d15931f2a428c8477f7ea628f404a74826e0223","datavalue":{"value":{"entity-type":"item","numeric-id":2130581,"id":"Q2130581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5376646$18036A53-C2DB-4624-B953-18DD5AF08A65","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ff447296bef390af9bbc2815788c2e74961068e5","datavalue":{"value":{"time":"+2019-05-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5376646$90E9757E-11AB-46E1-9306-D3C433290196","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bfe7b063bbeb965fd139428cb761987c3b376521","datavalue":{"value":"https://arxiv.org/abs/1711.00113","type":"string"},"datatype":"url"},"type":"statement","id":"Q5376646$19E4778C-D3B7-48B5-895C-0956833416BC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5376646$0FA13B2D-5E70-406C-B038-24089564A313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5376646$A69EB86F-E23F-4C37-88CD-287E0B3AEC2F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"39ca4aa462e8db29ef7e5a5eaf6c260aece92b65","datavalue":{"value":"7056219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5376646$ADA147FB-9C63-4823-BC90-13C3CC85C212","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9d82f51c7dcdf0aec1b17d666db45a3adedfed4","datavalue":{"value":"delimited continuation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5376646$114575CC-C127-432D-BC35-60EA856104EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b6692564b9126396903952c44aa98b86a268b23","datavalue":{"value":"contextual equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5376646$427CC6B5-B205-429F-B952-2B7662BFA5E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"128d6b73922bd37f5cd2a9ca0d63e6251fb93768","datavalue":{"value":"normal-form bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5376646$7D914E54-76F0-49EF-BA9B-68BA620AB424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"accb30d5ec978d01697ffb1d2a5e1968202acbb5","datavalue":{"value":"up-to technique","type":"string"},"datatype":"string"},"type":"statement","id":"Q5376646$A1AE66DA-CDDC-4264-A61D-66F10A5762D7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5376646$F50FAE91-E651-4E42-BBAB-D8D5C8763F46","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":"Q5376646$5B8241D5-B39E-4388-9861-A0B91FE7E0D1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5bdfeb7906f3d46cde956192c2f4d2ed7dfd31a","datavalue":{"value":{"entity-type":"item","numeric-id":2900257,"id":"Q2900257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b17e10c33aa765c3aa142c21f520513852272be5","datavalue":{"value":{"amount":"+0.8725559711456299","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":"Q5376646$018007DC-8E8F-4AB7-8656-B36A2D12344F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4709877b372ca0fa9cba969462cf15148375a25","datavalue":{"value":{"entity-type":"item","numeric-id":3179291,"id":"Q3179291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0fc1809ab397de015ff44a3ecd61515165a9429","datavalue":{"value":{"amount":"+0.8149226307868958","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":"Q5376646$5198AEB7-68E8-4513-BF7C-C4AF69548DF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d445d896fd5162ca536af165340787ebfbc5e529","datavalue":{"value":{"entity-type":"item","numeric-id":3608419,"id":"Q3608419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53a7952ac9ead4f69fb956382e6bd7a7bd6006e8","datavalue":{"value":{"amount":"+0.7997886538505554","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":"Q5376646$84073A8A-34BB-4641-B553-5B3BDD1689A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87be3d9c9b78f748d2f4fca63733e135a824b888","datavalue":{"value":{"entity-type":"item","numeric-id":5377471,"id":"Q5377471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e53c2255e3c8903855723580fa6de4940cd538b7","datavalue":{"value":{"amount":"+0.7992634773254395","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":"Q5376646$6462B4BE-8656-421E-B094-41451CE87B47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e93a2885fbfcad8c8d7d7bba6bb88774a65db06","datavalue":{"value":{"entity-type":"item","numeric-id":2892764,"id":"Q2892764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa282f6eb7763ab4eb37113cfd321db7f27744fb","datavalue":{"value":{"amount":"+0.7798872590065002","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":"Q5376646$9D55DC5E-16B6-45E5-96B1-DB990289AC96","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5376646","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5376646"}}}}}