{"entities":{"Q2843933":{"pageid":2854653,"ns":120,"title":"Item:Q2843933","lastrevid":83756081,"modified":"2026-05-07T10:52:07Z","type":"item","id":"Q2843933","labels":{"en":{"language":"en","value":"A duality in proof systems for recursive type equality and for bisimulation equivalence on cyclic term graphs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6201796"}},"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":"Q2843933$6D270418-54A8-40D4-A586-B2F9D65356F3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4f0cd5bfc9814d7a4495bc1aec204b56a4e8dc1d","datavalue":{"value":"1270.03051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843933$5679AAB4-7C74-4EE4-B4BC-C5215F36FEEE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"226f031fbae3e27660d7d9a4703c5ba4b6d13509","datavalue":{"value":{"entity-type":"item","numeric-id":409314,"id":"Q409314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843933$2CF59ACE-A34C-4E5B-865C-714AFB3DB750","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36b22ebf70a17ea6cf536baf5ab232586b47b37e","datavalue":{"value":{"time":"+2013-08-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2843933$3F4A3073-E181-4F43-B5FF-20C4BFE3FA6A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2d0d2d73de2d43ab2efdbacabcc0af3de62b3b8f","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066107005518","type":"string"},"datatype":"url"},"type":"statement","id":"Q2843933$A79C2C98-1AAB-4893-9178-422B61964952","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843933$D4CCD3B6-3FDE-4CE3-9B9B-1FC73F604B83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843933$929026D7-43B0-40ED-9BB4-91F2A9B9A2FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843933$931A9903-BB6A-4AD3-8CD2-6A64BA5DD702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843933$2C3A7DF0-9D6D-4E96-B90D-F12DF833E091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843933$751C36BE-5169-4EC3-A512-0D45402A0FBB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"533f3d50f7f9cc861fa08db2a9f576a016458016","datavalue":{"value":"6201796","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843933$3A478C0B-BE96-4975-8C20-84202C7DE989","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":"Q2843933$23366EB1-8686-49F4-9BBC-217DDAFF0C73","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79dcc09fce2f4a780ce364fde69cdf04cb02acba","datavalue":{"value":{"entity-type":"item","numeric-id":5308096,"id":"Q5308096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1421f02f075a52b90ba8bdddfbaf87d24acccdc0","datavalue":{"value":{"amount":"+0.9144745","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":"Q2843933$37800CD3-E933-4F14-9B52-53D9DDA136FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd0b3ac1db222a2ec6e13c17aa149bb2689d7dfe","datavalue":{"value":{"entity-type":"item","numeric-id":1607224,"id":"Q1607224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7ec767c96f973e2e5110ea9ddaa3495ea8ebec0","datavalue":{"value":{"amount":"+0.8894931","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":"Q2843933$4F402E68-BC49-4156-8B64-D03D96E678AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4daec74211a0539c46024ad6cb6e3335426fbd0c","datavalue":{"value":{"entity-type":"item","numeric-id":1923102,"id":"Q1923102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2326f52d6f61abe925872d1217f112f1b8b7405a","datavalue":{"value":{"amount":"+0.8816897","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":"Q2843933$0BC36FCF-411B-4C69-A399-99CBE58BA257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ea9a0459b832fdcd1f24dadac1ed71c4ea9002b","datavalue":{"value":{"entity-type":"item","numeric-id":4640309,"id":"Q4640309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e039a1bf115568832d3087bb96372015049cd2d","datavalue":{"value":{"amount":"+0.87364286","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":"Q2843933$FDF8B3EB-7803-48C5-90A7-BC77D0CA9326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"faabfcd39ce4f55f60697320dd706bf6f4824916","datavalue":{"value":{"entity-type":"item","numeric-id":3569037,"id":"Q3569037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b32775b2f3a6d03483e1cad8a867ddbf932502ee","datavalue":{"value":{"amount":"+0.87207717","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":"Q2843933$03676BC7-C288-4A6F-B238-2AD62D1D8A07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a3a7c6a959c5a472ec28196942b5d8779631b1f","datavalue":{"value":{"entity-type":"item","numeric-id":3024900,"id":"Q3024900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74f843f7d6e83888391be653dce7e6973dc137d0","datavalue":{"value":{"amount":"+0.87131536","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":"Q2843933$3BE2B7D0-9042-4342-9B3F-E24A67DC51A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a022293e98fb5f60bd0f397b7317e3c04813b57","datavalue":{"value":{"entity-type":"item","numeric-id":3837984,"id":"Q3837984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74f843f7d6e83888391be653dce7e6973dc137d0","datavalue":{"value":{"amount":"+0.87131536","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":"Q2843933$2675ED1C-8C9B-43ED-ADBA-ADE9D40F3C3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43c3cc67eaf4bb290bf283771bd929259ae42dd2","datavalue":{"value":{"entity-type":"item","numeric-id":5224571,"id":"Q5224571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28ab54f63962d05ce4fd47162d46cbe776aec031","datavalue":{"value":{"amount":"+0.86570334","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":"Q2843933$1035CA51-6240-40AE-A46D-ED6C5DACBE28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccde78329dd62226881d737e7cbedd37102b6d9d","datavalue":{"value":{"entity-type":"item","numeric-id":5276135,"id":"Q5276135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfac299da369d272125a86974d8da43f6caa14c8","datavalue":{"value":{"amount":"+0.8632318","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":"Q2843933$61411D3D-B28F-44BB-AE0B-399FEF1F1AB3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2dd0314925b3ab676a480d9c8a611ff45efacced","datavalue":{"value":{"text":"A duality in proof systems for recursive type equality and for bisimulation equivalence on cyclic term graphs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2843933$5809F6DB-65FD-4BBC-891B-A653F7F9C541","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A duality in proof systems for recursive type equality and for bisimulation equivalence on cyclic term graphs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_duality_in_proof_systems_for_recursive_type_equality_and_for_bisimulation_equivalence_on_cyclic_term_graphs"}}}}}