{"entities":{"Q4916208":{"pageid":6945789,"ns":120,"title":"Item:Q4916208","lastrevid":91002398,"modified":"2026-06-04T22:00:37Z","type":"item","id":"Q4916208","labels":{"en":{"language":"en","value":"Rank-based symbolic bisimulation: (and model checking)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6156016"}},"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":"Q4916208$773D4DC0-BE15-4941-A91E-20C354203AD7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"84331770c485e294a4aaf16567e906e4ed351991","datavalue":{"value":{"text":"Rank-Based Symbolic Bisimulation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4916208$09204951-6E72-4EBE-A7D0-C7DECF5D0029","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2632acfb6911669d4b6ea0deac40f5b1953391de","datavalue":{"value":"1261.68084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916208$F044DE49-D17A-4BF4-813C-AC8199E38058","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d73f56dc7d84107121ae1ee426276a2e9530fb44","datavalue":{"value":"10.1016/S1571-0661(04)80547-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916208$BF3DC125-803F-430E-A01A-672B521FDF2D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"00ee95eed4ca024e7da7af55e9d7b99b24c7e015","datavalue":{"value":{"entity-type":"item","numeric-id":206864,"id":"Q206864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916208$0CB0D816-8864-450D-9D56-253DC66FECDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2960711d7df6d2be52b6449e5f402fc00a9829dd","datavalue":{"value":{"entity-type":"item","numeric-id":526432,"id":"Q526432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916208$BF7CB7E7-19D9-42F5-A9EB-7763F32129D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f4e12c722f49d808c298b612fc4992a4ed23967","datavalue":{"value":{"entity-type":"item","numeric-id":626877,"id":"Q626877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916208$177F0E26-2354-4376-8846-54B140E1B990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31503e637e24a4112218e0870b5d341cabb000e0","datavalue":{"value":{"entity-type":"item","numeric-id":2446597,"id":"Q2446597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916208$80C599AF-F207-48B3-A7F1-8F9BE42035FC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916208$803320A2-C7EE-42EA-B5D3-CA387F4D9F4A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09328fefd4bef3fd48b14da7de769686b3303861","datavalue":{"value":{"time":"+2013-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4916208$68F87AD1-A608-462D-B6F7-A9AD3C0F1F01","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916208$67001B69-E0A6-472D-9D23-E8C082EC4D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"749b7137f279a66a306e75e15f613231b281c1c5","datavalue":{"value":"05C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916208$96455501-7465-44F6-B2D2-F6BEAEA5B49A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916208$CBE76C35-11AF-48D1-B9F6-E67EB7038EEE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8799813465d6ebf25e3c8334b28f05ea9e1122f6","datavalue":{"value":"6156016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916208$3895BF70-093D-4A54-8FDD-4DEEAFAB9510","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4916208$FB19DEE8-ACD3-4411-89F4-5F0910B2DF96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7548428d15fa3ebd0c09a30299ff80b7c7017e35","datavalue":{"value":"ordered binary decision diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q4916208$A28AB462-6D5F-468A-8545-9A598914DBCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1e9eee33ad345007dbeb47867a2ecf099f6e092","datavalue":{"value":"symbolic algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4916208$05435D77-F12E-4FAD-86A4-1CB0026D3EAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4916208$240C57FD-2AF7-4997-9F9E-7C40EB74ABBF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1bc012cf10551bf42bb05efd85ce69678e698524","datavalue":{"value":{"entity-type":"item","numeric-id":16622,"id":"Q16622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916208$844C519D-CBAD-480E-BBE7-FF9D6C9EE804","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":"Q4916208$51EC69CA-D5EF-4504-8684-B14A5AA8B78D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2edbd4db20ecbcbb1c315d5320a38ebf3acfa299","datavalue":{"value":{"entity-type":"item","numeric-id":3992552,"id":"Q3992552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916208$97EE545C-6057-4D55-9A69-2DFC3250AA60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0144faf3da4de6d410c51d8371e21d8e32667277","datavalue":{"value":{"entity-type":"item","numeric-id":4156322,"id":"Q4156322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916208$32F3F786-7652-4723-89D2-F4BE5EDA4A1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fde643d6528b9759054a68d56fcebc030f48ef7e","datavalue":{"value":{"entity-type":"item","numeric-id":2505621,"id":"Q2505621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916208$F8FB0C63-8020-4FAD-882A-6E3BD74509CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35f22d5de0ed7493cc09714187c79ae1bcf6df8b","datavalue":{"value":{"entity-type":"item","numeric-id":4037384,"id":"Q4037384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916208$A5DA243E-3E5F-459C-BC4A-553EE8B7B438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916208$FD4EF1A5-2046-446B-A609-017C4296D72E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90549770af885994f6274f2616728935eb95e930","datavalue":{"value":{"entity-type":"item","numeric-id":4551136,"id":"Q4551136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916208$D4D6DCA9-5905-4D29-BAE7-390D6E6E873D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2be2ce44bdf80df52f5a97dfe72ac01ea51570a9","datavalue":{"value":{"entity-type":"item","numeric-id":4045961,"id":"Q4045961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916208$9354A508-6EEC-4410-8057-1797EB1DD1B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f882972e0d4020177d8ec9773323d710a3e89a","datavalue":{"value":{"entity-type":"item","numeric-id":3141897,"id":"Q3141897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916208$178AACC4-8AA4-4E16-9CC0-373AD9FCFEA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fa25ecef461a83ce03679a7bacb00b33cb4090","datavalue":{"value":{"entity-type":"item","numeric-id":3801084,"id":"Q3801084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916208$AD7C199E-F3EF-48A6-85D7-80F79409F97C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"160bb02f90deba1357b0546b9ef3f897898e1176","datavalue":{"value":{"entity-type":"item","numeric-id":1063420,"id":"Q1063420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916208$EA7F441C-BC02-467A-96D1-A746008CD62E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48e7d3e225f11bcb5e9772a8f23ee2b525373874","datavalue":{"value":{"entity-type":"item","numeric-id":4934627,"id":"Q4934627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916208$8C383364-B9EC-48D5-8C06-B21CF59B8791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a791e6b13200f21127f48f475b5988c15175f95b","datavalue":{"value":{"entity-type":"item","numeric-id":5663889,"id":"Q5663889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916208$72AEB1AB-D4C2-48ED-A9AB-C68783E30238","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7b50fcb8b1df50f2d1a3b29cf0f67c0170b6ae3f","datavalue":{"value":"https://doi.org/10.1016/s1571-0661(04)80547-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q4916208$92868E69-4658-4D6D-859F-2E062D0FAB0A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3c96fe9fa4787c3713821be3fdb745756cbf8f50","datavalue":{"value":"W1599684339","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916208$A6BB94B0-8C3A-4029-B218-FC8C57F16028","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20b165e55b6ca0e44828558da4d5a3a4ef6b1f9e","datavalue":{"value":{"entity-type":"item","numeric-id":1884935,"id":"Q1884935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e82f4629b0fc4a9620101f2a77a3140dd4c97013","datavalue":{"value":{"amount":"+0.861449122428894","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":"Q4916208$203E3174-5491-46F0-BC90-31AA0084FEF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93345928406a0c12cb352c1a3fc46e726d511cc4","datavalue":{"value":{"entity-type":"item","numeric-id":3458888,"id":"Q3458888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f1dbb39e4d8c19dc014eab41b3e986a47c3b97d","datavalue":{"value":{"amount":"+0.810312807559967","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":"Q4916208$D8355D05-CE43-4760-BEFF-104F95088124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da587da28efd802280a3486f4a2cf279801073c5","datavalue":{"value":{"entity-type":"item","numeric-id":4551136,"id":"Q4551136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6644d9f6427550cd2d072d6de92a1a238a9e4fd5","datavalue":{"value":{"amount":"+0.8040221929550171","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":"Q4916208$2E899557-1D66-4548-B25E-5E0D2DEBAE01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a885d51b9de53e37924e8f0ce14d0a59bb5546a","datavalue":{"value":{"entity-type":"item","numeric-id":2842000,"id":"Q2842000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6260f9d52e4e060030a436bcdc44bf931e0aa07c","datavalue":{"value":{"amount":"+0.8028293251991272","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":"Q4916208$DA4A9099-3542-4000-A8D1-8DB76A4685ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"251aeffc6362135bd6c0f1c643958bea1f9e50bf","datavalue":{"value":{"entity-type":"item","numeric-id":3522930,"id":"Q3522930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2b21254d3158fd27445148234764a79b4b6553e","datavalue":{"value":{"amount":"+0.8001422882080078","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":"Q4916208$584DBE37-AB3E-4174-B059-B653283F7CE5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Rank-based symbolic bisimulation: (and model checking)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Rank-based_symbolic_bisimulation:_(and_model_checking)"}}}}}