{"entities":{"Q6932891":{"pageid":21100837,"ns":120,"title":"Item:Q6932891","lastrevid":84117659,"modified":"2026-05-10T12:09:40Z","type":"item","id":"Q6932891","labels":{"en":{"language":"en","value":"Approximate bisimulations for fuzzy-transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8090645"}},"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":"Q6932891$F5111610-744E-4050-8602-D07E10B6BC58","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a81eea7cf68bd301183a973532807d2b1a55a86c","datavalue":{"value":{"text":"Approximate bisimulations for fuzzy-transition systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6932891$D3910542-BC7B-4EC4-8A11-135F83CC183A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"10ab273542f752d222767c5ffc4467c721a8c01d","datavalue":{"value":"1569.6809","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6932891$366CD570-985A-4449-9C19-2146E1CE2E25","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e09cd17b2f5431b2f5424536816623724969046","datavalue":{"value":"10.1016/J.FSS.2023.108533","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6932891$2E53EAAB-AE60-4827-A3FE-991C9BFE742A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d8feb43635abbdf223065977eaeafa14accb1102","datavalue":{"value":{"entity-type":"item","numeric-id":343718,"id":"Q343718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6932891$07F635E4-937C-477B-97F3-D8BB8DA53641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e65f7c833031272200fe5bf81f7eafada14f3f9","datavalue":{"value":{"entity-type":"item","numeric-id":6880779,"id":"Q6880779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6932891$DD2D1F3A-C1B7-4A9D-829C-D497380924AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0368f067960a72905c99b73d1e0684d819976822","datavalue":{"value":{"entity-type":"item","numeric-id":174957,"id":"Q174957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6932891$F1BB23EF-AA28-4CD3-8EAC-7538BC8C065F","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":"Q6932891$0C0E9C5D-C4A4-4CE3-9BA1-732B72C9A178","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7fb5f33d8097ff0a5dbd0511ebd1aabd593232f5","datavalue":{"value":{"time":"+2025-09-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6932891$5AC81C1E-9CE6-4374-9517-8D2BFD78C069","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6932891$1A3A1F19-8447-4571-8D9A-D28905F020E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6932891$E19A6304-DF4E-4872-ADC3-F2DB044E834D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6932891$559C3F01-C64A-432D-A64C-9EBF983B4869","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e90466d53311b3595bda221fab021eb44e318347","datavalue":{"value":"8090645","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6932891$7787453E-E8B9-43FF-BFDA-5B91D6B72B00","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8063320eb8d31315f7679c7a56eca7cabde50d4f","datavalue":{"value":"fuzzy transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q6932891$AE023F6B-7A58-40A9-9857-5E1F79BB89C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6932891$77F2D9C4-345F-4FEC-905B-2ED8BEF40ADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85c74b2c4f11c86e4e8b1d8e7c103db0696c0e6b","datavalue":{"value":"\\(\\alpha\\)-bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6932891$E6C7A77D-690D-4A18-85A6-EFECC0D54100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75ab82a8f4df18227db18bd1221c8cfd9b09d16a","datavalue":{"value":"logical characterization","type":"string"},"datatype":"string"},"type":"statement","id":"Q6932891$A5E98A29-AF57-431D-9BA9-BC4F568E00C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7cc82dd0e014f7e87ca4310e892385d0d9deba8","datavalue":{"value":"fuzzy similarity measure","type":"string"},"datatype":"string"},"type":"statement","id":"Q6932891$239873EE-2CE8-4DB3-9A06-4A214B33F417","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":"Q6932891$203ADC57-A089-410F-923E-79E6FED7BBE3","rank":"normal"}],"P223":[{"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":"Q6932891$72928193-160A-4EC7-A261-8198D8B19115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c247f88e748ca6686c1f48da5b88e2108de6441c","datavalue":{"value":{"entity-type":"item","numeric-id":2481957,"id":"Q2481957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6932891$DC695832-86F5-44E5-BE49-F34F47216898","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":"Q6932891$231370B0-E274-4C4A-BFC6-947004E9BD48","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":"Q6932891$7799F1E8-1972-49F7-BCDF-26609113BD00","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":"Q6932891$404873C8-081F-4809-AE98-9235E07E858B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"310127ebff3cef32ff432b50ebc1cb710a51016a","datavalue":{"value":{"entity-type":"item","numeric-id":1644888,"id":"Q1644888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6932891$0E10D471-C5FA-4561-ADCC-C09FD401B64C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a531204ae2542b6ae01481ef774eb43412c971f5","datavalue":{"value":{"entity-type":"item","numeric-id":1398379,"id":"Q1398379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6932891$36EA35E1-AB90-4CCA-8E29-F3F1AB08BB01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6932891$4BE80D5B-40E1-4AC0-B3CA-7461634AB785","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":"Q6932891$C1AB7A62-D900-42CC-B921-D659815CD47B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8432f01401c49ada6550faac9dbee25ecd47b2c","datavalue":{"value":{"entity-type":"item","numeric-id":627128,"id":"Q627128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6932891$6974DCAD-4FEE-4099-B1DC-0203DF9933B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"853264bae1dce4bff8243aba6d70d399aeddb81d","datavalue":{"value":{"entity-type":"item","numeric-id":2398062,"id":"Q2398062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6932891$193C8AF6-5F6A-4DEF-873C-63C7DD5BBEB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6932891$0CB5FF9A-9F6D-4E7F-B695-9F9837CBB689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19617b8c6c823d9d484179149097f2e1aed21dbb","datavalue":{"value":{"entity-type":"item","numeric-id":2351572,"id":"Q2351572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6932891$AF15792A-FC2F-48A7-BA25-88C1291FC6E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6098ada005648c58ca208626e400cd85636e999a","datavalue":{"value":{"entity-type":"item","numeric-id":1697514,"id":"Q1697514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6932891$A99BC664-101D-4187-BEC0-33C5617A1A82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcd798b17d7a903a61bae5d0b8f14c4d9cc00d32","datavalue":{"value":{"entity-type":"item","numeric-id":2282319,"id":"Q2282319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6932891$68C766DC-F5D9-4EC8-918F-5B7101072549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc907f5b8e756fa7912187d0586f4a6cebc2f56b","datavalue":{"value":{"entity-type":"item","numeric-id":2213111,"id":"Q2213111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6932891$185C65D7-2A47-44F2-BC4A-F929F93B8F34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6932891$E8185047-3599-42E5-BA7E-948AE0BAEA41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6932891$C1EFB02A-F13C-4F80-B572-74DDC8A9701B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52f00ba671e3ee3d14dfd760b3b4c0d465064993","datavalue":{"value":{"entity-type":"item","numeric-id":2219174,"id":"Q2219174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6932891$596713A7-B40A-4FFB-AB8C-F7627D6788A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6932891$8102E947-976C-4EC6-A134-E1303F04193D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7745352114a1fc8d4a8ec8853fb665750a4d57cd","datavalue":{"value":{"entity-type":"item","numeric-id":812632,"id":"Q812632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6932891$E1C90861-6A5D-4E74-B481-593E67AF4248","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":"Q6932891$57DF15F1-1BC4-4CC3-9445-C3DAADAD8B20","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":"Q6932891$3B2A122C-FC3E-43E5-A17F-4EE9551C8DB6","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":"Q6932891$04E9ADB2-BEA9-49F1-8086-863B2503309D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6932891$DD424A6C-646E-4734-9E78-2368BC502162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c577b0d5c3bbb3e781a495a5170b27d33e77007","datavalue":{"value":{"entity-type":"item","numeric-id":865962,"id":"Q865962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6932891$8D68285F-C162-42F1-84D1-E06B9F1157BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2953dd79e5654ca286705e0654d424b51eff5229","datavalue":{"value":{"entity-type":"item","numeric-id":866002,"id":"Q866002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6932891$AD522555-9C46-4D7D-8F2D-1272C06AA522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"319f11835e555e42031d0e6da658240c6b195923","datavalue":{"value":{"entity-type":"item","numeric-id":853474,"id":"Q853474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6932891$1C87A1A2-80F4-44A7-86A9-F57D8EABA86C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50eb8282bc706ce082988e18c52f8ef95393c455","datavalue":{"value":{"entity-type":"item","numeric-id":1028906,"id":"Q1028906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6932891$3A5A1013-35C5-459A-9A12-B3CD6D62651F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d405ce931bdcee8184e9c03f81bf2c058d11afd1","datavalue":{"value":{"entity-type":"item","numeric-id":4925553,"id":"Q4925553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6932891$280F115A-DBFD-4F3C-8491-FD4545201A6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4215830b1a4606e19e14dba7bb100e2a647eb081","datavalue":{"value":{"entity-type":"item","numeric-id":276401,"id":"Q276401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6932891$B122A329-F9AE-47E4-A8EA-6CFFF35A71FA","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":"Q6932891$771B353C-B608-416D-86F8-4977F1BCCF8D","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":"Q6932891$8E1F4764-1D71-45E3-9E11-91BB853F6063","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":"Q6932891$C8A305E8-DACB-4FB3-A3C2-14C9B46A9487","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":"Q6932891$9BB495BC-B961-4E79-9593-617D55D14756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50fdfe1885433e4525e2595522b1f4191960b89f","datavalue":{"value":{"entity-type":"item","numeric-id":2219195,"id":"Q2219195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6932891$0968A41A-75D3-4D6B-B7BC-99EB3DEE054D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22f9b1dd246a4b47f1d48b5df280f50746a213a1","datavalue":{"value":{"entity-type":"item","numeric-id":6081538,"id":"Q6081538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6932891$B5367027-A731-4A70-AA88-CF20E8B448E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Approximate bisimulations for fuzzy-transition systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Approximate_bisimulations_for_fuzzy-transition_systems"}}}}}