{"entities":{"Q2994480":{"pageid":3005204,"ns":120,"title":"Item:Q2994480","lastrevid":52585229,"modified":"2026-01-23T01:16:59Z","type":"item","id":"Q2994480","labels":{"en":{"language":"en","value":"Coalgebraic logic over measurable spaces: behavioral and logical equivalence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6608376"}},"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":"Q2994480$7083C9B4-8CC0-4462-B513-096E816E82CF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"638a09674bb84a744a8cc98723279067412fdc02","datavalue":{"value":{"text":"Coalgebraic Logic over Measurable Spaces: Behavioral and Logical Equivalence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2994480$6C422F19-12C1-477B-AAE6-16A7FD755084","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1afb3e05f2139115db39c9d045e620aeac4d2f0d","datavalue":{"value":"1342.68242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2994480$9675AE6E-B9B5-4D73-9405-FD4F9A51CBA9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8862bdd87ff9d295a7766d0478d58b0190fc69ae","datavalue":{"value":{"entity-type":"item","numeric-id":1023290,"id":"Q1023290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994480$A5C56E4D-7BDA-4D03-A86F-6552ACCBE8D6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994480$24E4885A-5E7C-4672-8B4F-05B0841F4A92","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"54b54adebb79dfabd07c0151545b3468c800875b","datavalue":{"value":{"time":"+2016-08-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2994480$1F625DF5-F675-4399-B764-5A724798F662","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2994480$2883A60A-C02A-478C-8492-F42BD3F9F0F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2994480$C6CA0AD5-A632-42A3-A90A-139BB470E1C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2994480$7BED97EC-378E-427B-A584-F568AF9BAFAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2994480$8F3E064D-0137-42BE-8404-DAA859FA199C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7b596e312e76877c6082a4cbae15ddc3300000a4","datavalue":{"value":"6608376","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2994480$1F9257F9-7742-41DE-AA66-46FBCA3DA45E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e1847f1d1eb2343299689288309cd1e6ebf63ef","datavalue":{"value":"coalgebraic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2994480$E172D442-05C6-4DDE-A700-1D5F340AE59F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d145fe2ab485a254f2d5f3b5dab671a33c3e302","datavalue":{"value":"measurable space","type":"string"},"datatype":"string"},"type":"statement","id":"Q2994480$CBF70CF3-024F-4F92-A8F7-EF4A9A033CA0","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":"Q2994480$D541BE83-2947-409F-929B-EE36BC1DE006","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b57cdd962d616c10b4eb42b217b204a48dc7dba3","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.11.027","type":"string"},"datatype":"url"},"type":"statement","id":"Q2994480$50841BD5-60A9-4BE1-A05E-3F8A2D0A6698","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a98421c9cef983f16b1248d39063859095281ceb","datavalue":{"value":"W2026323606","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2994480$A130A587-8C3A-44DF-9354-B62C5C81F7A5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a1dc290df059ff29926fef008c9e1053408a1f0","datavalue":{"value":{"entity-type":"item","numeric-id":4680360,"id":"Q4680360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994480$2276BD9D-6C63-4045-8DB5-78EEC10BC758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3aacb971a9ba51fec57dbb3d5aa315d494051ee8","datavalue":{"value":{"entity-type":"item","numeric-id":2495642,"id":"Q2495642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994480$3BECC127-2189-422C-A88A-43747F55A049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4ecc51bd5191458077ef85b3a14b1bbbfa2e30","datavalue":{"value":{"entity-type":"item","numeric-id":2506488,"id":"Q2506488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994480$7E26A033-3EC7-41C4-BD62-0377E741A5BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba0f3cfd147c4eb5f36a2401403eedc07bf675bd","datavalue":{"value":{"entity-type":"item","numeric-id":5309952,"id":"Q5309952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994480$12D23E54-A66E-4056-A558-F7A123F3510D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6dbdfd82b13cd660602a13e25e615aee049d389","datavalue":{"value":{"entity-type":"item","numeric-id":3630204,"id":"Q3630204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994480$4579D468-7A66-4A5C-8800-509F371F9D4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60392b05098be1982939f0bfb6e44f0cd7ec57e9","datavalue":{"value":{"entity-type":"item","numeric-id":1023291,"id":"Q1023291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994480$956FC6F1-6469-43CE-8A76-ECF77E66E542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8ac77c349348dfb6194454ed319d2d7e19a7724","datavalue":{"value":{"entity-type":"item","numeric-id":5906356,"id":"Q5906356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994480$3DB0A7E0-D4B8-4535-A5C1-860C625F45FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0c3f212a06c5be4db5f867d04c1cea9f971a440","datavalue":{"value":{"entity-type":"item","numeric-id":3056297,"id":"Q3056297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994480$1A771D5A-3B7C-4AD4-A463-BDCD8AC7905A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"463cf8243e4109af3f29fbbc771487068a0df78f","datavalue":{"value":{"entity-type":"item","numeric-id":703523,"id":"Q703523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994480$C2E45A46-DD22-4B2E-B063-24F42A20B456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"564179a3065c43e795b643ec9273069a6cc72505","datavalue":{"value":{"entity-type":"item","numeric-id":558417,"id":"Q558417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994480$EDB7C158-4FEE-4F96-A441-4FAFE3990F80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd2a146bae799e67d19c2792d562d311cc75bcfa","datavalue":{"value":{"entity-type":"item","numeric-id":2474056,"id":"Q2474056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994480$2E0907CE-683A-410A-9639-4C984D953039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17f6da33156d7bbb3ac6bef947452707f394a43e","datavalue":{"value":{"entity-type":"item","numeric-id":3630218,"id":"Q3630218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994480$517A1E51-A112-46E0-AC89-ED9629D1FB77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"174e70948472be460c80833ced2b9f837700bbfb","datavalue":{"value":{"entity-type":"item","numeric-id":5492834,"id":"Q5492834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994480$76EF718F-0560-45C8-9D88-ED649B3F08C9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"32e62b9bc4c9aa01e18b3145e043b3d1cf6b9233","datavalue":{"value":"10.1016/J.ENTCS.2009.11.027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2994480$E5655F04-F9D2-4BA1-84E3-57DA76A4E928","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"763a71dbe6662a51635a2d80aa4804ff878ec275","datavalue":{"value":{"entity-type":"item","numeric-id":1049890,"id":"Q1049890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33319819092f59de23d8a92b7e081c0496370062","datavalue":{"value":{"amount":"+0.8729164600372314","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":"Q2994480$31286FE0-BE94-4F9B-8B5D-7C9E7B8D6EDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a264390f714aa6f9193c48e399d25081fe99814","datavalue":{"value":{"entity-type":"item","numeric-id":1023291,"id":"Q1023291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dc1f67612ee4e2d0333401a3113d6fe106a3c7e","datavalue":{"value":{"amount":"+0.8532108068466187","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":"Q2994480$7DF179FE-9E1F-4293-94E0-D5C33B91EABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09349a8bcb12a9a9e59e1315e0c05d8db67a3a87","datavalue":{"value":{"entity-type":"item","numeric-id":3005987,"id":"Q3005987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3ec72ae383944b27d98ca7ed0da4b29cfc29f85","datavalue":{"value":{"amount":"+0.8526164889335632","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":"Q2994480$E9735BC7-AEBA-4C6C-A159-64385018B8C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b50730eb802fef2c783d947c8c167924c99070d8","datavalue":{"value":{"entity-type":"item","numeric-id":947269,"id":"Q947269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa5d7825cbd658a2f701efc1519df67b17a227ca","datavalue":{"value":{"amount":"+0.8503051996231079","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":"Q2994480$E4BF631C-F145-4325-BA9C-0EE1C85AF2FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efa1382323b8a5f7268f5f18db871e3eda4cbb37","datavalue":{"value":{"entity-type":"item","numeric-id":2888480,"id":"Q2888480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f7b2fb5940d45eed00db3a74cb965f92058bf1f","datavalue":{"value":{"amount":"+0.8452554941177368","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":"Q2994480$084B3F28-579D-4958-AB02-6D42D73E6566","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2994480","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2994480"}}}}}