{"entities":{"Q5458362":{"pageid":7487921,"ns":120,"title":"Item:Q5458362","lastrevid":50333891,"modified":"2026-01-13T20:27:17Z","type":"item","id":"Q5458362","labels":{"en":{"language":"en","value":"Coalgebraic Logic and Synthesis of Mealy Machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5262411"}},"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":"Q5458362$44EE1796-242B-4E89-BF14-AF1EF2D68EC5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9e86adc017aa0c7b45dff4e4e73d80396b013e1d","datavalue":{"value":{"text":"Coalgebraic Logic and Synthesis of Mealy Machines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5458362$653A6F21-8CCE-4AFA-AF93-6B219219109E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"55feff2ada040791e82d792b3ed0465c819d0cda","datavalue":{"value":"1137.68034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458362$50197A1F-2145-432C-96C6-0B412E133041","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"430e95eb8585bbe56b0bb09ae9343cb5927a4005","datavalue":{"value":"10.1007/978-3-540-78499-9_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458362$56886DCF-77A5-48F0-BBD2-8FC19DD6F290","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efdc2aa840d155fa6d7f395ddbc0ac0dce6f38cb","datavalue":{"value":{"entity-type":"item","numeric-id":265816,"id":"Q265816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458362$DCEC18B9-4816-476D-A71D-3B9C7F366B7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddf6c2812ae812e5ac88c5bae579636a85cf29cc","datavalue":{"value":{"entity-type":"item","numeric-id":418133,"id":"Q418133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458362$7240E6B9-CE7F-4388-9645-355FEF717C9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aaa4f2c1db3cb0f04ca81dea1f1e9fb956669c43","datavalue":{"value":{"entity-type":"item","numeric-id":919833,"id":"Q919833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458362$D98FA505-3F10-42E8-8087-6E25BF9E0FF5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"24804f4b3014a48e696dd6005da1c061736a75ea","datavalue":{"value":{"entity-type":"item","numeric-id":2892754,"id":"Q2892754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458362$30BA3CCE-A41E-4522-A981-38003E39ED84","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de5306c1211a7dcd78b6214088eb3e5b7092fd16","datavalue":{"value":{"time":"+2008-04-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5458362$78291971-D3E1-471A-9492-E82548EBFAF0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458362$0BABD9A7-0142-4DDB-B9DB-BCFF53B27748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458362$39D4AD90-3EA4-4A96-B417-215C5BBE8B27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458362$9292D189-D934-4DE3-B6C3-CD80C63699A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458362$E05FC6DA-E620-4DCF-B10D-F290DC7D136F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458362$DA265ADE-18D4-44A9-8D8F-DB3836894D76","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0adaacaca25c81e79229d0d293d9df22dfdbecdd","datavalue":{"value":"5262411","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458362$B607B0B3-097A-4860-97E6-8454BF03A784","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":"Q5458362$74EE0B04-9ECB-4C71-8CEC-BD50E52C069A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ec33da6b0064c29dabfe3a301c5842f0ae1beb11","datavalue":{"value":"https://doi.org/10.1007/978-3-540-78499-9_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q5458362$AC93C970-BE49-4F80-B564-5B0DD14874E5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d313eedf895aadd7349e1a06a3d6cf39eaad293f","datavalue":{"value":"W1706940874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458362$5ED52466-6B2F-4C78-8EC7-49DF2B9BEB11","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"775645ea8a6dc02d71496f6336650f0ea1689ce4","datavalue":{"value":{"entity-type":"item","numeric-id":2863892,"id":"Q2863892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8899fe3f3d50b44cf0956b5c9f90c0a4c307f9eb","datavalue":{"value":{"amount":"+0.8057281970977783","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":"Q5458362$9DA15A20-7B6F-4194-BB5E-777B0CA8E669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29cd6758cd856175c83bb1fb211f714f8a734a6d","datavalue":{"value":{"entity-type":"item","numeric-id":4818752,"id":"Q4818752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"977cfbf97c493f7f74884b51363fbfaa84023119","datavalue":{"value":{"amount":"+0.7944645285606384","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":"Q5458362$3C21AD8A-4A4A-4BFC-A80B-BCB527B1F77A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd6a5fcc45a6605023d491622bc8c21a170ebcd0","datavalue":{"value":{"entity-type":"item","numeric-id":4621141,"id":"Q4621141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3af7e14225ea8b2f65b5cfcf1cf4294728619ed6","datavalue":{"value":{"amount":"+0.7618967890739441","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":"Q5458362$6846F461-96E5-4834-8449-19F3E431A693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6b5d1c10184e87f84fea62c405c49013a7aa9f5","datavalue":{"value":{"entity-type":"item","numeric-id":1295427,"id":"Q1295427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"933eeded75dc8c2d5556a8c06ce77a4587c4c974","datavalue":{"value":{"amount":"+0.7365456223487854","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":"Q5458362$99187E5F-AF1B-498E-A033-702B116CD97A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"799352b2f5a27c905ac68a00cb7fac9ea718e0b1","datavalue":{"value":{"entity-type":"item","numeric-id":2974794,"id":"Q2974794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"933eeded75dc8c2d5556a8c06ce77a4587c4c974","datavalue":{"value":{"amount":"+0.7365456223487854","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":"Q5458362$1F1D4C10-CBDB-45D0-A2C4-5D7A8CF9973F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5458362","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5458362"}}}}}