{"entities":{"Q6905682":{"pageid":20933599,"ns":120,"title":"Item:Q6905682","lastrevid":84170006,"modified":"2026-05-12T23:33:10Z","type":"item","id":"Q6905682","labels":{"en":{"language":"en","value":"Efficient algorithms for computing bisimulations for nondeterministic fuzzy transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8115958"}},"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":"Q6905682$8C7A26F5-9F90-4E69-8879-7F24EAA44F98","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"28163b716aeb8e7c1a2fbb9fc8431ca1865ea3b6","datavalue":{"value":{"text":"Efficient algorithms for computing bisimulations for nondeterministic fuzzy transition systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6905682$6DB73EC8-7F31-42AF-95C8-AF2960CC10CF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8689687d7c4d8adf23a29e5937cb76b3247423ce","datavalue":{"value":"1573.68225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6905682$A6E02393-2581-4503-801D-77AAE3963435","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c0082906742db1b314290f186aa4771e22e4d888","datavalue":{"value":"10.1016/J.FSS.2024.109194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6905682$42F0547F-E6B0-492A-81E5-C1F939B96440","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"71f937babc345aca7a341434b23c60d034c4634e","datavalue":{"value":{"entity-type":"item","numeric-id":229744,"id":"Q229744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6905682$AC4BB8C2-53EE-459F-A2F2-A12DCCBD99B7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"784d2dc06e2a3bb008e6a3a15801a0f0231d6262","datavalue":{"value":{"entity-type":"item","numeric-id":65161,"id":"Q65161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6905682$AF6BC3C0-011F-40FD-A5ED-EA5A76461C75","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6defa6823e4075d1559062082276ef91a9fd12d0","datavalue":{"value":{"time":"+2025-11-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6905682$6019BEC0-9EA8-46EF-9F2E-1668CFEBE9BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6905682$1B2394A2-6EB6-498A-B3AB-1198184C5804","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"58ab6a4392c6e8e4bb199258dbef6d69e33eedc9","datavalue":{"value":"8115958","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6905682$3200A92D-4846-40A7-9307-7DBA1B38984B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c986b94ab674988f6556c2b597bf4b502470954","datavalue":{"value":"fuzzy transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6905682$CA7DD15F-0D20-402D-8529-3FD6642373A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6905682$141AC2EA-EDAA-4A6A-B96A-06DB36EA36AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"383866048a26e22585a016b5b82d272ceacd9c79","datavalue":{"value":"bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6905682$0D508B61-6492-435A-9D56-F4015C89A42E","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":"Q6905682$73E8E4BC-510C-4944-9F6B-8DCC6DF00F26","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a964880c774c5b045252810ee027e2b3cca5d392","datavalue":{"value":{"entity-type":"item","numeric-id":1292565,"id":"Q1292565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6905682$6223A244-2DB5-442A-AEF9-920BF83991B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac5861c62396208c25b39d129257f274dcac62d0","datavalue":{"value":{"entity-type":"item","numeric-id":5312888,"id":"Q5312888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6905682$F0F542A2-A7A3-4F76-967F-2E7BA3283F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"652097fb93e8c440902eaa662dd911beb998a15a","datavalue":{"value":{"entity-type":"item","numeric-id":1749476,"id":"Q1749476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6905682$2C3DC6CA-4DC8-4CC5-A967-7B680EC1A3E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"231c8d0c55d250f88c0dad4b9e2286cff9351dd4","datavalue":{"value":{"entity-type":"item","numeric-id":2372263,"id":"Q2372263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6905682$C607E39D-5A82-4597-845E-5E01EB40CDF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f421884f879ae4e0048a14b487c578b45714b0b","datavalue":{"value":{"entity-type":"item","numeric-id":1307301,"id":"Q1307301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6905682$078A5D2A-9469-4D40-BDE1-491009BABCD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05e150681c1d0241ecb463ace4c088cbd7d131cd","datavalue":{"value":{"entity-type":"item","numeric-id":3319776,"id":"Q3319776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6905682$297E4106-DF74-462D-B689-BF84789E649C","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":"Q6905682$1A02C95E-0F89-489D-8B9E-285AC02591F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a4a28727cda3a5e3d9dc704800ef3497d5b767f","datavalue":{"value":{"entity-type":"item","numeric-id":6058014,"id":"Q6058014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6905682$5223003F-18BE-4CC8-A588-DC9082018670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17592b76065dcd6aa37962ea61a75f29401fcce3","datavalue":{"value":{"entity-type":"item","numeric-id":6496169,"id":"Q6496169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6905682$7872B5E1-D8B3-4C7D-B3D8-A5EAEE8C7846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe5bf3ec0b8e26be1464178a5b837c4e25fb17a3","datavalue":{"value":{"entity-type":"item","numeric-id":6131936,"id":"Q6131936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6905682$42037E9C-0505-4D50-BFFB-67867CABD3D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe2f527fd9f8790385fcb90fbc8cfe910e68e1e","datavalue":{"value":{"entity-type":"item","numeric-id":2277264,"id":"Q2277264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6905682$55831135-7A86-4DBB-94FE-3A3EB704FF18","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":"Q6905682$35F91942-C81A-4A5F-A074-68659911D84F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a7007a97722cec737a978299b7039bb39facb3c","datavalue":{"value":{"entity-type":"item","numeric-id":2353987,"id":"Q2353987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6905682$26C3621E-92AD-4F7D-93C0-B669841DCD8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5999c0149b370a8920153e91179f049f665f2c05","datavalue":{"value":{"entity-type":"item","numeric-id":473367,"id":"Q473367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6905682$083DE899-87F1-4724-8ABF-F000ED443715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdb5c75b62a3c27d89e49885939c2946f60e0580","datavalue":{"value":{"entity-type":"item","numeric-id":6150069,"id":"Q6150069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6905682$0A98B5F5-E95C-4495-A970-720F80AED26B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f335e2943f8756ef417f2da1b7dd193a4c4aa59","datavalue":{"value":{"entity-type":"item","numeric-id":6932891,"id":"Q6932891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6905682$E1152014-E641-47A5-878B-8271B757B1E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"363ebb7852e7da23d20c173f12c11a057636ca86","datavalue":{"value":{"entity-type":"item","numeric-id":1648774,"id":"Q1648774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6905682$EBF60BDA-2CB4-4081-A78A-82CEBE9EF808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a56f8f321c73d9d053c8a280acf7f165c083cb6","datavalue":{"value":{"entity-type":"item","numeric-id":1697986,"id":"Q1697986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6905682$6C53FE0F-2525-43B2-B75E-9B44F2D32E2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dfc7cee8dd269728c97f9a83d9ba2ff5761ff64","datavalue":{"value":{"entity-type":"item","numeric-id":679804,"id":"Q679804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6905682$A8A48DDA-96C8-4425-90CA-5701DBE089CE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Efficient algorithms for computing bisimulations for nondeterministic fuzzy transition systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Efficient_algorithms_for_computing_bisimulations_for_nondeterministic_fuzzy_transition_systems"}}}}}