{"entities":{"Q2495646":{"pageid":2506389,"ns":120,"title":"Item:Q2495646","lastrevid":49868548,"modified":"2026-01-11T11:12:26Z","type":"item","id":"Q2495646","labels":{"en":{"language":"en","value":"Coalgebraic semantics for timed processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5037507"}},"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":"Q2495646$CE9C8F68-38E4-436C-9AC5-A254C480889D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b075ed52f09ca339f145134f2303845da9122639","datavalue":{"value":{"text":"Coalgebraic semantics for timed processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2495646$8B3FDC74-067B-42D4-AAFE-33134CADBC4A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"64ca26206fa88526d90a8e9ba0573d039e6f976a","datavalue":{"value":"1110.68085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2495646$4677BE41-C34B-4B9C-B93B-5F2A3F412472","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b9f4deece36404c4736dc96e44812716eadaa84","datavalue":{"value":{"entity-type":"item","numeric-id":2495645,"id":"Q2495645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495646$EC51F26A-9B4E-47EC-B90A-9E05A1BE763A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"565f1e974a3c4f2a9296f8d7da6245d37c9ee773","datavalue":{"value":{"entity-type":"item","numeric-id":1584037,"id":"Q1584037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495646$51115805-67DC-4059-B853-618A5BBF3200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"828c233951e066b486329c606d84f57a51b408d0","datavalue":{"value":{"entity-type":"item","numeric-id":685385,"id":"Q685385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495646$1D0EFE4B-B0E7-494F-BC4B-E2132BBE42E7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495646$27FB53FB-9BA2-43EA-892E-52F2E289752C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9e66041b42d053f5f2145cbbf08b1b29afba170b","datavalue":{"value":{"time":"+2006-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2495646$7EAF36F3-F5E1-4541-8477-CFCC2C617F10","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2495646$0BB42FAD-8EF6-4E84-A2F6-301FF12DB3B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2495646$6C35EFA8-20E3-41E9-9E69-0C137ACE2FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2495646$724A5531-1CBC-49E3-A7FA-D2253A755717","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a6bc84721d64d82e644bc03d5bb767cbb3817717","datavalue":{"value":"5037507","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2495646$0EFCC96F-3BEC-4A62-A117-5F998256E3EF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f702ec4c1a633676fb7f0e2f3a3eb8df1d51b084","datavalue":{"value":"time domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q2495646$62300934-41C3-4144-8DBC-3325EB678EE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b78bd603a626a1ffc91825b1c17a9a7c1dc33721","datavalue":{"value":"timed transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2495646$6A2713A3-0B8A-41A6-8ABC-6DFD8FC4D82D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53690d0a5d2cb8d3f10ba7a5daa41a5e0c84b50b","datavalue":{"value":"evolution comonads","type":"string"},"datatype":"string"},"type":"statement","id":"Q2495646$630D3DE0-C482-454B-8EB7-1D0F8EA64157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b793aae55a0692c5c6d77faad54b249752ea7506","datavalue":{"value":"delay operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q2495646$90012966-BCFD-43E2-868C-EC8F408A3C84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eff752cf670ff5db0f5f83bc555b8adabdac80cb","datavalue":{"value":"structural operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2495646$DCA93BB1-D39E-44B2-A450-5AA4F3DDC07A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de7b85c4a93615f621aeed7bf65aeaf693dbddf4","datavalue":{"value":"modularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2495646$3A676915-DDEB-4BA8-95B9-99C14B6FDB47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b681e5e76ee6e412b156689781ac06af17087f42","datavalue":{"value":"distributive laws","type":"string"},"datatype":"string"},"type":"statement","id":"Q2495646$296053CB-5875-4380-A997-F746E5F3375C","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":"Q2495646$22BE398F-0BB2-4FAE-95F0-BB84A48CA433","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d4d0f642d12d057dba67425183b61b9776c1fa9c","datavalue":{"value":"https://doi.org/10.1016/j.ic.2005.11.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q2495646$A9FDCB90-9348-46E2-975E-2D417929184A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e5b543254b62363d43196f419097c798e1a9ac7f","datavalue":{"value":"W1981175075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2495646$82E2DF4B-8D50-44CE-A2A4-1F7995FF8B86","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e83f11a2d7c83369a107eb21508bcc0a612a20e","datavalue":{"value":{"entity-type":"item","numeric-id":4293501,"id":"Q4293501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495646$59CB47E3-7A1E-4EC3-BF95-F9DD822E53CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a1e99f41142e6d56c13ef3a05fd3f9bb055e348","datavalue":{"value":{"entity-type":"item","numeric-id":3682648,"id":"Q3682648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495646$4142F320-60CC-4145-8040-E2BECDF492C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54a322738c92ab9ef22948d2d6883bfa28116e11","datavalue":{"value":{"entity-type":"item","numeric-id":2500483,"id":"Q2500483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495646$E102D7F8-4786-4BED-9C60-A11C608F0EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ab49be008cce20e9a3355d86cadd707817279d0","datavalue":{"value":{"entity-type":"item","numeric-id":5096389,"id":"Q5096389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495646$52B88183-2B22-4042-81DE-BD1BE71B8F68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddb2b0c4ada2e2771332088612b74bfc567c2488","datavalue":{"value":{"entity-type":"item","numeric-id":5941161,"id":"Q5941161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495646$BDDDD576-CE11-4172-9950-63B70737F524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17794c4bc319199b07780fe8daa9724755f28e9","datavalue":{"value":{"entity-type":"item","numeric-id":4355684,"id":"Q4355684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495646$B7ED63A5-0A97-4B0C-99DB-469C584B0424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5ff532e8f7c9661a9505e4be8bdeefaf74ff27f","datavalue":{"value":{"entity-type":"item","numeric-id":3877834,"id":"Q3877834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495646$B49EB052-9162-42FE-836C-EFEE0150AD01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99e896c75803fe00b7716aa64499f6fd323ddeec","datavalue":{"value":{"entity-type":"item","numeric-id":687583,"id":"Q687583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495646$9EB9B733-1D6C-4946-8F46-3EC63CBF517F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a3ff86ad23108d9d6f16f4db17263b647142c02","datavalue":{"value":{"entity-type":"item","numeric-id":4737185,"id":"Q4737185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495646$E81AE83D-0832-4C62-9F85-B0B9928BD257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53fbb9f25385f282339d93cdbfd798a787a3b7fa","datavalue":{"value":{"entity-type":"item","numeric-id":2847814,"id":"Q2847814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495646$9360A618-1837-4C45-89C9-11C174753B98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"379a4dd85c1f0dee62644965f9a510435f4d7bc8","datavalue":{"value":{"entity-type":"item","numeric-id":4102032,"id":"Q4102032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495646$C875DE20-EC51-4FF8-8BDD-FFBF52AB5D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3d2af99d6b473896566689317eadbb771e387b5","datavalue":{"value":{"entity-type":"item","numeric-id":4499306,"id":"Q4499306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495646$94458939-BE7F-4A64-98B2-CA0F297C2D57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08cd48db52ca690752b9bbc8ac45a432b3065199","datavalue":{"value":{"entity-type":"item","numeric-id":703525,"id":"Q703525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495646$FAD14A37-7AF7-4338-949C-9EE64BE392EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a6cecbe480749eded9419f3487b585e7f2f3144","datavalue":{"value":{"entity-type":"item","numeric-id":3995283,"id":"Q3995283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495646$B5E8E153-1F61-4B1F-835E-AE407A47844B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"465c775522a7e38666b34a079c4a0043763d7c0b","datavalue":{"value":{"entity-type":"item","numeric-id":2843732,"id":"Q2843732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495646$3958888F-84B0-498D-B213-EABFD37C275C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90085dbe273edb3ca478a8ab8409461b528e817b","datavalue":{"value":{"entity-type":"item","numeric-id":1603819,"id":"Q1603819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495646$A58FD444-22B9-4481-AB9D-383A9B27621B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ede90199834ac93adbde20330457962be9e2ca5d","datavalue":{"value":{"entity-type":"item","numeric-id":2553668,"id":"Q2553668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495646$AC501FC0-5170-4D2B-9F26-0F1C8E38743F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f5ec7d8fe15d36eb40752b72a6a0baaf7999a0d","datavalue":{"value":{"entity-type":"item","numeric-id":4256309,"id":"Q4256309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2495646$10FB3AFE-27EB-4C7C-BD62-A9CC7206511F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3fa6759912ead1e729a2e626350a42078967bfbb","datavalue":{"value":"10.1016/J.IC.2005.11.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2495646$48BC4B81-3AB8-4572-A072-D6B7518E07FD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6d6d740abddf584d308e030c941373d9811d9f3","datavalue":{"value":{"entity-type":"item","numeric-id":4737185,"id":"Q4737185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9a3fba747d998aba6a53b8044d966ec52f65efc","datavalue":{"value":{"amount":"+0.8635390996932983","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":"Q2495646$73509603-3E64-43EE-AC63-1AF4E0A2E3FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca33653633608d178b9797a364b19260490fb51d","datavalue":{"value":{"entity-type":"item","numeric-id":2847814,"id":"Q2847814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fee3b4e8b17e9c09af705c458d13edf907266723","datavalue":{"value":{"amount":"+0.7748175263404846","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":"Q2495646$17C18F55-99DE-4BAA-AB3C-AFC99D2DC42E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1f9d843d45247397ee9bc14ea2b0f2182f3a09e","datavalue":{"value":{"entity-type":"item","numeric-id":4499221,"id":"Q4499221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"156d83fa9112f0b7b28ec93da707cf7fda2f2eda","datavalue":{"value":{"amount":"+0.7657325863838196","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":"Q2495646$E6A490C0-EA20-475E-BDB6-FAB5037CD630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce37e7d26f894bd97217ac9bc2b96099e9d015b5","datavalue":{"value":{"entity-type":"item","numeric-id":2841307,"id":"Q2841307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f4df6892802decfc916a7abc3dc9565b22ecacf","datavalue":{"value":{"amount":"+0.7582845687866211","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":"Q2495646$E55DFD81-F72B-4549-8914-0268822D14A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9743c304fcf15b633005f8de3e03faf2e14291ce","datavalue":{"value":{"entity-type":"item","numeric-id":4222948,"id":"Q4222948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1e621e61720df781f0eefb69e8ae45b8cd87682","datavalue":{"value":{"amount":"+0.7416638731956482","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":"Q2495646$3AD6FC1A-568C-4432-B767-16B104BFA6A0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2495646","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2495646"}}}}}