{"entities":{"Q5224571":{"pageid":7254140,"ns":120,"title":"Item:Q5224571","lastrevid":91627061,"modified":"2026-06-04T23:39:27Z","type":"item","id":"Q5224571","labels":{"en":{"language":"en","value":"Ruitenburg's theorem via duality and bounded bisimulations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7084837"}},"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":"Q5224571$0E132659-12C7-441E-A551-075912AAE125","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3cd96ed34b23fba9852b538d3785f2ea54c88308","datavalue":{"value":"1418.03191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224571$F86DBCA2-8E3F-4D97-9E8B-C191ED6C6FE6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"44f075398e4ccd740a9ac00697271020232935ff","datavalue":{"value":{"entity-type":"item","numeric-id":284229,"id":"Q284229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224571$DEAEB496-272B-4C12-99CE-E8DBB3BA58FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db6be09e7ba570f5faa41154bd4f257af7db691c","datavalue":{"value":{"entity-type":"item","numeric-id":240375,"id":"Q240375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224571$BF3992A6-56D5-429A-9754-5719DB580FC4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b15b47a077f77642632b896f7ca72a0919fa276","datavalue":{"value":{"time":"+2019-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5224571$88B23D05-7B18-44F2-815D-E65EA2EAA873","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3093410b2e8dacdcc40ee238dd9c6bdff5ad5f96","datavalue":{"value":"https://arxiv.org/abs/1804.06130","type":"string"},"datatype":"url"},"type":"statement","id":"Q5224571$72737CDE-7DD1-4C24-9C6A-51AF78776B5B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224571$37D6C680-4C05-47EA-A215-C1E804CA98DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224571$486FEFDA-F11E-4C4A-BD5A-7958A263A540","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cc01671fff90fd18aa90926a303999d4be4b7a20","datavalue":{"value":"7084837","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224571$2D3309B1-61B7-4E44-9E48-0A661EFAD42E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f04933003fc91ce5afaff31ac5631a3179c4355c","datavalue":{"value":"Ruitenburg's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224571$04D8960C-2944-4CF0-9AA9-F27B8703FD69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db9029792e21663488bf3e0dff86f308cbb1f9b9","datavalue":{"value":"sheaf duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224571$17C37AA7-C89B-4FF0-BB2A-6B0F5EA1BAEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91445d454e88289d0cc1d387d2de4793c00e67fa","datavalue":{"value":"bounded bisimulations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224571$746D7470-3518-4DFE-ADEA-34246DF735AB","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":"Q5224571$77679E40-E4AD-4CEA-85CC-BC2CC8905B4E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5adabf22fcbd18070a792504b33941a29fc323d1","datavalue":{"value":{"entity-type":"item","numeric-id":3724305,"id":"Q3724305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b1660da99d188ca65755181be13d0ffdb7841c9","datavalue":{"value":{"amount":"+0.7587012648582458","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":"Q5224571$B1CD7E68-C3E0-46D3-A97C-FF5586E4D4A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87402d23545b8a131f875c032bcc525578873922","datavalue":{"value":{"entity-type":"item","numeric-id":6044128,"id":"Q6044128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ffc11163b2d546b4effc41313e15936fabb6204","datavalue":{"value":{"amount":"+0.723853588104248","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":"Q5224571$6B18DBAB-3CC5-4622-91C5-6E5FEDB4C1EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d9770465d7f69fe8ef103545c3a7a892f9e3611","datavalue":{"value":{"entity-type":"item","numeric-id":4928778,"id":"Q4928778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d161d5716da832ff57e8a255bdfc979260044953","datavalue":{"value":{"amount":"+0.6941765546798706","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":"Q5224571$F9E40073-426E-4DFA-9104-7E088381A0F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9fc68374e9c35d3adb3be49b9a7dbc228b72f25","datavalue":{"value":{"entity-type":"item","numeric-id":2811336,"id":"Q2811336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65c69d7d74cce23a65fc09690c66a266b8ee9069","datavalue":{"value":{"amount":"+0.6831415891647339","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":"Q5224571$341919B0-F5DB-4E31-9C06-6F41DA12BA77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5b4b6282524b6a9ace05e85cd121cc70f5ec4cb","datavalue":{"value":{"entity-type":"item","numeric-id":4972168,"id":"Q4972168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19b567c44db0b72502d8a5d8f626b5e160761a93","datavalue":{"value":{"amount":"+0.6643956303596497","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":"Q5224571$31AD4AFD-0E6B-4CD9-BA03-450E6DA105DD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Ruitenburg's theorem via duality and bounded bisimulations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Ruitenburg%27s_theorem_via_duality_and_bounded_bisimulations"}}}}}