{"entities":{"Q3626196":{"pageid":5656102,"ns":120,"title":"Item:Q3626196","lastrevid":80955605,"modified":"2026-05-06T17:23:07Z","type":"item","id":"Q3626196","labels":{"en":{"language":"en","value":"State-based systems and \\((F_1,F_2)\\)-coalgebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5556307"}},"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":"Q3626196$A1926AF9-2D7E-4CC1-BDA4-B2F6E2DB3387","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a171a12bfe083834fd7e13410d4ce0fb6fa46a10","datavalue":{"value":"1177.08003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3626196$548C61A5-485F-47F6-AA6B-94C0F947DA08","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"48a3ff1d817d1b69c87ea41d273be250b65bac94","datavalue":{"value":{"entity-type":"item","numeric-id":345246,"id":"Q345246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3626196$B800CC7E-C43E-4DD9-85EB-50F0DD688849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd1879f33132e4463004e26538ea1607c8a32404","datavalue":{"value":{"entity-type":"item","numeric-id":1011713,"id":"Q1011713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3626196$4622F5FD-C7B5-4F53-B14B-BC4D28FB536D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f81e47940d50f198bb9732000618b605d319ace2","datavalue":{"value":{"time":"+2009-05-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3626196$6F4C58A8-4277-4D5D-9FFE-7338436E2987","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3626196$64D23FA8-15A4-4EA0-B3A0-57DF2FBA0189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f04348da9d1ca8b015ef464713838d83a8af937e","datavalue":{"value":"18A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3626196$D11DF2C1-05F3-4E01-BFD8-4269D27C78D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6332ecdc69bc9b8611ddaed9b212808af760d546","datavalue":{"value":"18B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3626196$2AA81950-3CCD-4CC6-8BE2-DB8F7F7FD36F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3626196$037EF5F2-4B87-4C1A-8822-B0ECA62ACAD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3626196$D9B31F0D-1B58-436B-B514-699A393C4253","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"16dfd166000e7bd06b09b5b428cffdc5451a5db7","datavalue":{"value":"5556307","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3626196$8D6F831C-82A0-4805-94ED-D33ED6DA1B72","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f949984b65bd89bab576b44a3282a608942ad172","datavalue":{"value":"\\((F_1,F_2)\\)-coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3626196$92E7E8D2-B094-43E3-B599-C4D3EB87BE5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8f7b4782061a7135496586d18b7f0da02480160","datavalue":{"value":"\\(F\\)-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3626196$1AFC2022-4E5F-473B-A1F0-B9CD48B022B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2a51da2905bdba578a7e4ae07513608630cb896","datavalue":{"value":"category","type":"string"},"datatype":"string"},"type":"statement","id":"Q3626196$98FE780B-5417-4E2D-9520-D036EC98650D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a25d423a47f8cd79115938402bc44232e73fb88a","datavalue":{"value":"limit","type":"string"},"datatype":"string"},"type":"statement","id":"Q3626196$62E2AC71-C43B-45F7-9F3F-F1DA2E197603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c24621afd3ab344bdbc8bab3c7765f51725ec4e","datavalue":{"value":"colimit","type":"string"},"datatype":"string"},"type":"statement","id":"Q3626196$41FE5BC5-EA4D-4B9D-9729-41876764F22D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3626196$D4F3BB43-1E7F-4A78-A2F5-BAF012711DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7c9668adc82c7b6a67cc991facd62c0aadf1fe","datavalue":{"value":"state-based system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3626196$514B3B58-66F0-4324-AD69-60F18232BD79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b628ee37bb1de264bc13811ff0dbdcc706e2c5eb","datavalue":{"value":"automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q3626196$BEF213D8-3DF4-437E-85C1-E524E7C5363F","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":"Q3626196$AC98DDFF-DCA4-481F-8B8E-DF4D77D79530","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c706cfd3fc6e7bb74daf9f3ecb73a66b0718ae8","datavalue":{"value":{"entity-type":"item","numeric-id":5324145,"id":"Q5324145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5790e3ca56f87c51641126e47f8daf1373fdebbe","datavalue":{"value":{"amount":"+0.8459354043006897","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":"Q3626196$77AEEAC3-F48C-4EE1-A5D7-F42F24536A27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"132c4127d0f45f4441368c015bf9f611cfec84bc","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36b1d032d64fca6adf025c070b2c7bdad8cf5226","datavalue":{"value":{"amount":"+0.8391541838645935","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":"Q3626196$49F63040-1711-41BA-A796-6FC411D1A37B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60dbac2a6fb7a987a7f64e6b934d2c4969bacf4b","datavalue":{"value":{"entity-type":"item","numeric-id":4792971,"id":"Q4792971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6eb092f71162a1fab69378f69c70b4d0b1254cec","datavalue":{"value":{"amount":"+0.8388452529907227","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":"Q3626196$9F06DE6E-8768-4725-92FE-6ADE68BC40C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33c47d316b784873c58bc91bc67c52fdf8a7288a","datavalue":{"value":{"entity-type":"item","numeric-id":3023880,"id":"Q3023880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da5554582060ec4c87ae21fb308962c02eaab146","datavalue":{"value":{"amount":"+0.8377566337585449","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":"Q3626196$85BF24F6-0A75-46ED-A3B4-C1FF98F241ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db8cb036b915216606e68d8ac0341835755ab968","datavalue":{"value":{"entity-type":"item","numeric-id":3614493,"id":"Q3614493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e901ee7062a18d4ed9a2fdb2966c4ce7bec83e09","datavalue":{"value":{"amount":"+0.8199037313461304","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":"Q3626196$1E316D10-1BC5-41E8-A84C-ABD7208C226C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"State-based systems and \\((F 1,F 2)\\)-coalgebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/State-based_systems_and_%5C((F_1,F_2)%5C)-coalgebras"}}}}}