{"entities":{"Q276401":{"pageid":278168,"ns":120,"title":"Item:Q276401","lastrevid":52522232,"modified":"2026-01-22T21:06:18Z","type":"item","id":"Q276401","labels":{"en":{"language":"en","value":"Coalgebras for fuzzy transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6576787"}},"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":"Q276401$A2821B87-4581-49C2-B460-C41BF19727D4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"652365ac067cdb893af8d0a769742803e03b1c24","datavalue":{"value":{"text":"Coalgebras for fuzzy transition systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q276401$7EB81933-4B6C-4947-A9E7-191C02DB5A75","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a14ccb9102108f8e95206a063cc1272bd897f3d8","datavalue":{"value":"1337.68194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q276401$D3E2CFB2-5B45-4BBA-8CEB-71F980C87137","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":"Q276401$1B7B5DAD-26B1-4651-9146-BC99322CB1C4","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":"Q276401$EF72D7A5-3E61-4350-A82B-C170B286D8B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e14340917da0b560f1aa784255616bd78a4a4ba6","datavalue":{"value":{"time":"+2016-05-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q276401$B4FDC899-E708-42CB-A966-F356C75DCB4D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q276401$C9263808-022D-487F-9A05-B672D61319EE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e3e1ea98a30dd2639a554bc5def8c754347539a5","datavalue":{"value":"6576787","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q276401$4BF5B8E1-EECC-44E1-8726-0D94BC75B88D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8063320eb8d31315f7679c7a56eca7cabde50d4f","datavalue":{"value":"fuzzy transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q276401$EF7F99D9-D4FF-4E0A-A661-969DB19985F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cce1c7a17205b421eb3839358fc788faf8e3d212","datavalue":{"value":"fuzzy bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q276401$1862A454-7DE2-4838-922C-7B78E76B644B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q276401$63B26E47-2C4C-49B1-946E-B4CF4CFE2E6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bdf7a02c05e059d666384dbd46b22c119a0bb1b","datavalue":{"value":"weak pullback","type":"string"},"datatype":"string"},"type":"statement","id":"Q276401$1DCAA6E6-7A78-48E6-8831-668DB6F6C943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"201529493a264c73b3683cd320fd5f9e315f58e6","datavalue":{"value":"final coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q276401$D8085685-9BB8-4642-A958-CCA6F16655AC","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":"Q276401$5EB2E52A-8DF6-4989-8AA2-E7EC53DE2184","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2fa269bdaec0e4f08575f00b155f7d698c9c59ed","datavalue":{"value":"Q113317915","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q276401$88EAE97B-BDFE-4A13-B6C2-49624DA04890","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a7147503823b960d112c74773dd93b0e8f930360","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2014.01.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q276401$B81C75BC-99A8-4A40-B674-B6F9C7A53F2B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"04b4b2ab0339cc7428f5b6bd2ffcc782bef8e11e","datavalue":{"value":"W2052776783","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q276401$E81EA720-22D1-4322-83D6-DE8141954B45","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"23f3cb810fda8385e2773743c2e86927cd4a8040","datavalue":{"value":{"entity-type":"item","numeric-id":5096269,"id":"Q5096269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276401$B4E231FA-961E-460E-80A2-39ECE5786E57","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":"Q276401$E85EAEC6-6F32-4812-A803-EF05DD6D26AD","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":"Q276401$7EBA9C02-9E7F-407B-AA76-B5F0D797C22B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e7eb418764ae243753274c2b93b3d69488191fa","datavalue":{"value":{"entity-type":"item","numeric-id":1960528,"id":"Q1960528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276401$6136FFC7-1473-4E6B-BE35-044B80B069E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11e451b1746a346de32c7ff025c45f478901c7da","datavalue":{"value":{"entity-type":"item","numeric-id":1049890,"id":"Q1049890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276401$20735E57-A884-4227-90D2-7CEE6E63145C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0fd12e42b2f878fc88d2821712066c0df564bbf","datavalue":{"value":{"entity-type":"item","numeric-id":2576941,"id":"Q2576941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276401$956BEF6C-B69E-494A-A0EB-5BB413EADF40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f17ffd9ea5ad72715e5c8b14d93f72c4489370a","datavalue":{"value":{"entity-type":"item","numeric-id":4499310,"id":"Q4499310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276401$C3A9F8FA-BF99-4098-883E-FE7B50A96D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22906ff63b14d1b8df732c3438ee1a8a421ecaab","datavalue":{"value":{"entity-type":"item","numeric-id":5950751,"id":"Q5950751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276401$7BEA2735-6401-4536-9CB8-A5A95403C514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276401$A8988E11-61E1-42DA-BC68-EFEFBCD7CD51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8157a29376ddf64165229cd4cb7a085c0eff46f","datavalue":{"value":{"entity-type":"item","numeric-id":639648,"id":"Q639648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q276401$46DEEAB4-5EF4-4354-B800-4F0903915A78","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":"Q276401$6CD52FD5-EBB0-4604-A508-65A81092FF60","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"31f83abf168de3fc3a7fac599ec0256709763dca","datavalue":{"value":"10.1016/J.ENTCS.2014.01.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q276401$A6C58C80-98D7-4F24-A481-D792A859330B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90136ceb17346bf0cfe0ae628249373caabf882d","datavalue":{"value":{"entity-type":"item","numeric-id":5941161,"id":"Q5941161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8b499d3a54e74194950a059b9234334a827c0ef","datavalue":{"value":{"amount":"+0.7983697652816772","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":"Q276401$5DA91676-E9E2-4F36-BC98-B5F81F906E72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d93f448ef6e6ef449605194d5dc8febcb70a201","datavalue":{"value":{"entity-type":"item","numeric-id":2576941,"id":"Q2576941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20abf297f340b44f534659320a99c15ea0cdf8fa","datavalue":{"value":{"amount":"+0.7872034907341003","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":"Q276401$23DA8137-8383-4B88-A896-93D2DCFF2A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e600edd712b3f083cef063c1ed90e48d3a4fde7","datavalue":{"value":{"entity-type":"item","numeric-id":4917038,"id":"Q4917038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"112ffd8f8e4073cc08782b5b96a838e3187f734f","datavalue":{"value":{"amount":"+0.7855329513549805","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":"Q276401$F5786374-0E7A-4C5B-9894-2AAA1E5B912D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"614d914dc8fffc2ad131f149afd4baa0f5699c42","datavalue":{"value":{"entity-type":"item","numeric-id":5950751,"id":"Q5950751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e0c77eb8fcdfa386aa270c92aa9cc7902d1cd1e","datavalue":{"value":{"amount":"+0.7849766612052917","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":"Q276401$7345F159-7E19-40FE-950E-FD96D44712F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0beed4452f1adb5103a59eeee8e481e72df0611","datavalue":{"value":{"entity-type":"item","numeric-id":3626196,"id":"Q3626196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60ee6aaf11ece1b9c1699f27a2ac8f9dd52c8fc6","datavalue":{"value":{"amount":"+0.7823874950408936","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":"Q276401$769062EA-294C-4708-8CFE-EB40D0D2820B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:276401","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:276401"}}}}}