{"entities":{"Q1648774":{"pageid":1659515,"ns":120,"title":"Item:Q1648774","lastrevid":68054142,"modified":"2026-04-12T21:08:24Z","type":"item","id":"Q1648774","labels":{"en":{"language":"en","value":"Bisimulations for fuzzy transition systems revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6895434"}},"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":"Q1648774$1D40C0E9-8BC7-4904-993E-E5611F043085","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d54a7420c33983c1cd87518c155839e6f43f5760","datavalue":{"value":{"text":"Bisimulations for fuzzy transition systems revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1648774$01A1FECA-68E9-435B-AF1B-EABC534F2A2B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4324d2400dda761a75bf05a8bc31c569ef6dfafb","datavalue":{"value":"1451.68195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1648774$850822D3-313A-439A-BE92-908102E9FD07","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff015b27d0b9c7ce776928539bf77e519ae46543","datavalue":{"value":{"entity-type":"item","numeric-id":276400,"id":"Q276400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1648774$E4DD0BEB-7CA8-4A5E-A193-3A222D062C3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"56f2720d61eed3832eaa70475ebf459e0738ce91","datavalue":{"value":{"entity-type":"item","numeric-id":310083,"id":"Q310083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1648774$0553AC83-C52F-41A5-8D09-A7D8B31A5F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7212e30b632f2e93de3964c7abeeef134479d1ec","datavalue":{"value":{"entity-type":"item","numeric-id":458373,"id":"Q458373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1648774$1754AE8C-57C0-4D56-B717-5CF27C369F9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee079eae855f3dad7c8f979a67720cef98a8cc23","datavalue":{"value":{"entity-type":"item","numeric-id":330998,"id":"Q330998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1648774$F980737A-79EC-4C05-9A68-64193C5A1F45","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ffcf9cdef56de74059e9064d7fefa5c3d05fe8f7","datavalue":{"value":{"entity-type":"item","numeric-id":110194,"id":"Q110194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1648774$8E085D47-B620-4BCB-A845-47FABD9A3756","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c8a780e74b0fc20f5c27aee56d09c8997e1b03d9","datavalue":{"value":{"time":"+2018-06-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":"Q1648774$F14E1A7F-BF42-4ED8-8022-8686F8D726A3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"05096ba226cb4331fc8ee72da1503a67a9ddf399","datavalue":{"value":"https://eprints.bbk.ac.uk/id/eprint/22277/1/ijar18.2.4.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1648774$F914DCE6-614E-45CE-BCEE-5888AC55E48A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1648774$20E828D7-150D-446D-AE0A-CC45941F6270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1648774$89599B97-7F4F-42D5-BC65-376C2E5293D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a3c52c2dffe476952e1a9804adbabe29eb66768","datavalue":{"value":"6895434","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1648774$E48CB019-A621-4AF4-96A2-3BD039960575","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1648774$EEB7A7EF-B1C2-45CB-94A9-89A887038AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8063320eb8d31315f7679c7a56eca7cabde50d4f","datavalue":{"value":"fuzzy transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1648774$6A4572D3-547F-4479-9306-43F8B58B7140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1648774$F683DF95-87CA-45F8-A94C-E3CAA4BA47FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75ab82a8f4df18227db18bd1221c8cfd9b09d16a","datavalue":{"value":"logical characterization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1648774$0D2D4237-F346-4BE2-890B-F66C35A4F96B","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":"Q1648774$EE50CC50-3524-43A4-B9C4-8D793D0A0581","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ea353e09881378f8f5d57a1171ca43b2c03fc4ca","datavalue":{"value":"W2801388205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1648774$7F4557E5-510B-40EF-9BC4-7505EF10D512","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee3a6c6d4bc0a1cb471812518ad2ada2248ce1ad","datavalue":{"value":{"entity-type":"item","numeric-id":2257984,"id":"Q2257984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1648774$389E704C-580D-42A5-BD3A-1D5C8E582BEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6daf7412909278140bd49069fa78c603900d059f","datavalue":{"value":{"entity-type":"item","numeric-id":712503,"id":"Q712503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1648774$FB125AC4-03F5-451A-B711-0A22736D4A43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c320676ff7c8523622205382f81dcba257d033d","datavalue":{"value":{"entity-type":"item","numeric-id":423147,"id":"Q423147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1648774$F87D5AE1-30C7-433A-857D-613E5CAE1FD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70a09165dd7f9afd347e879ee619c80d9e25db3d","datavalue":{"value":{"entity-type":"item","numeric-id":690916,"id":"Q690916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1648774$E2775F6F-1D9F-4F27-87EC-E059ABB43C6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a58c86e2a38bac49dd83cb1cff615314b7f6324b","datavalue":{"value":{"entity-type":"item","numeric-id":2447758,"id":"Q2447758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1648774$9B59E0CD-BC8F-44AA-871B-93EC2E818B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba4f5628b9493b3dc4e9b69bc068cb07ae68c2f","datavalue":{"value":{"entity-type":"item","numeric-id":4530231,"id":"Q4530231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1648774$E890F930-E8DA-4E6E-80C8-F468055D4AF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2330b52b48c5a7d7ae8e60f8d1eaec9d330b176b","datavalue":{"value":{"entity-type":"item","numeric-id":3552519,"id":"Q3552519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1648774$0AA23634-6586-43F9-996E-9D7831698634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5dfb8315dd24c555af13c836f1712064bc1f0bf","datavalue":{"value":{"entity-type":"item","numeric-id":896917,"id":"Q896917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1648774$D747F65E-B589-42C8-8957-95E63F891357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ca2824d41359829bbbc93afd53f9d13cff2a3da","datavalue":{"value":{"entity-type":"item","numeric-id":511624,"id":"Q511624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1648774$B4E2A39B-99B1-452D-BE0C-E046055DD767","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":"Q1648774$2F44689A-AD16-4018-B76C-F9A3EC70DD55","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":"Q1648774$436307EC-6856-44F3-A0EB-5E529A636CEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02c8cc7b4aa3aaf1d91376cd20519f72734fc19d","datavalue":{"value":{"entity-type":"item","numeric-id":714871,"id":"Q714871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1648774$B3E5EB6B-657B-42B7-85EB-8ED41D6779D0","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a11a0f6b322158a0cffdf20caaa84655243eff5a","datavalue":{"value":"Q129887164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1648774$65199061-4A3E-46A4-B94B-8E8DC227FDBA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"911e5c604690171a095e0005843d838ab4454857","datavalue":{"value":"10.1016/J.IJAR.2018.04.010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1648774$D1B40A2A-D6CB-49C7-9E13-0AD9EDABD616","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b21dfe2bd988ba76cce18f887764d225e3f1ed74","datavalue":{"value":{"entity-type":"item","numeric-id":1697986,"id":"Q1697986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f152cbaaa480961b38a4a391007ede34979a7ac","datavalue":{"value":{"amount":"+0.8782309889793396","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":"Q1648774$CFD8F7FB-9B64-4312-B6E2-C553A4EB48C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2ecdedadf86e9bf2993f0d2815eb3b3b7521a8c","datavalue":{"value":{"entity-type":"item","numeric-id":2994262,"id":"Q2994262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6455bf547e449140033e3bd9ff71ec643319bad","datavalue":{"value":{"amount":"+0.838071346282959","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":"Q1648774$03B08CF9-43C5-4CBF-A7BF-BDBF761187EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40e1faa8b60810721ebbcccf3eab2d3b315fd501","datavalue":{"value":{"entity-type":"item","numeric-id":679804,"id":"Q679804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"096b02923164a81060a2eef5ab8b6fc199a1dc6a","datavalue":{"value":{"amount":"+0.8207082748413086","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":"Q1648774$09421651-7BFE-4FF4-91E2-4AE4DF89241A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71f39e937dd49e7119b7d439395ad804b043cbac","datavalue":{"value":{"entity-type":"item","numeric-id":279375,"id":"Q279375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2aa0fa8691a6a5846b111669e68630ebb17e7199","datavalue":{"value":{"amount":"+0.7821028232574463","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":"Q1648774$CB8F551B-CCD6-48C2-9EC2-09E76D53F493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"608e4b71825f63fdb1cb403e1eb807ff95e4b323","datavalue":{"value":{"entity-type":"item","numeric-id":2968353,"id":"Q2968353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41dcf9019a4085f73487ae34f3b1bc49e3f7988b","datavalue":{"value":{"amount":"+0.7810630202293396","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":"Q1648774$FAF28CCA-CADC-4BA6-A189-F57726159AC9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bisimulations for fuzzy transition systems revisited","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bisimulations_for_fuzzy_transition_systems_revisited"}}}}}