{"entities":{"Q2994487":{"pageid":3005211,"ns":120,"title":"Item:Q2994487","lastrevid":52585277,"modified":"2026-01-23T01:17:00Z","type":"item","id":"Q2994487","labels":{"en":{"language":"en","value":"A single complete relational rule for coalgebraic refinement"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6608399"}},"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":"Q2994487$9109B937-CEAE-4F96-BFD2-7C8620A53AE7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ee1d6da2e3e71ad2fb77da4bb57e33fc451a2384","datavalue":{"value":{"text":"A Single Complete Relational Rule for Coalgebraic Refinement","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2994487$52A23244-214B-4755-97D0-C5CC9E0AA720","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"41c1ad17a73298cc4eb36833f615e9436d303c19","datavalue":{"value":"1342.68241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2994487$3E076DD2-6F7F-4A50-BC8D-6002312CDF87","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a13bfb682c48bb563d8a1b46404fe54238af1f41","datavalue":{"value":{"entity-type":"item","numeric-id":2994486,"id":"Q2994486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994487$5F019F8B-9E13-47D0-9F16-23034F067B3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b471f64e9099db93b347de45c232b233ea6e17a2","datavalue":{"value":{"entity-type":"item","numeric-id":299178,"id":"Q299178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994487$CFD3C5FD-20E8-406A-A78C-57DAC27BDA10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"85f0dbc1128b7d5e84fdfeddda75e982f910c603","datavalue":{"value":{"entity-type":"item","numeric-id":1742619,"id":"Q1742619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994487$80314453-CA6A-4A8C-AA0D-6D323771076F","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":"Q2994487$75AEB9E6-843B-4494-BC4E-A5090A32538D","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":"Q2994487$3DA8E979-2C8F-4516-9470-E95867C9EF18","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2994487$46B8384A-007B-431E-961F-C7A95C3855B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6332ecdc69bc9b8611ddaed9b212808af760d546","datavalue":{"value":"18B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2994487$636B29CC-1143-4FFA-85EC-2F3AC343601E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f201e54066ec4fab7807ef95c5f53b77b8dfb002","datavalue":{"value":"6608399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2994487$351E3EF2-9B20-43A2-BE88-6DADDAFE5F82","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d9c2e1f00facc619242af9af43a4aae006f38ad","datavalue":{"value":"transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2994487$5E577C71-ED75-4284-B0BC-78C61C96F887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6a9b59a5b24fc41f6403ed86bf557304e162540","datavalue":{"value":"coalgebraic refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q2994487$DA1BF1AA-C3D0-44F2-A212-227A7DFBC25B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"acf62e8a70e4a3cf002b062d3c3bed8846887366","datavalue":{"value":{"entity-type":"item","numeric-id":15889,"id":"Q15889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994487$D0278326-AABC-44F3-85BC-0A608243E747","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":"Q2994487$1FA3FD0A-A121-4E3E-9A59-4CF02D286FC8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"480172ccbe5b6bf28734c05be64611b10084e0d2","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.12.014","type":"string"},"datatype":"url"},"type":"statement","id":"Q2994487$D6FBCCD4-B5C9-437F-B76B-8DC0DF2F8438","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0a8f23186d3ff7fd23edc0a7b5392f8cb438d6a5","datavalue":{"value":"W2137477976","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2994487$B2BFC4AD-DB9E-4CFD-9A9F-3E622452197B","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":"Q2994487$741E3599-DB7D-45E0-9FB7-9FA6B764BB58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20dc887c746c8531d17f345e8258f435bf7d4b29","datavalue":{"value":{"entity-type":"item","numeric-id":1881270,"id":"Q1881270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994487$5215EC7B-8847-4677-A298-07CBE0DB4741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0a39eddfb3846a8a9d51df411de92dabf3b43bd","datavalue":{"value":{"entity-type":"item","numeric-id":4762665,"id":"Q4762665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994487$52B248BB-7EC5-429A-AF83-CDD18DDDCA50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c16dbc694907db71d7d2cc9c1bc2d85449054a63","datavalue":{"value":{"entity-type":"item","numeric-id":854163,"id":"Q854163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994487$9FE63E98-2527-45C2-9F69-56D8D6A03BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15f915bd6752b8e731b62673178ee8eafb7e0b32","datavalue":{"value":{"entity-type":"item","numeric-id":4331824,"id":"Q4331824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994487$DE5B1CC6-BDA1-4D66-916C-FC8FFFE4D271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"186b08458c2e01a792cc01193f757909785e71ec","datavalue":{"value":{"entity-type":"item","numeric-id":2844822,"id":"Q2844822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994487$A4630A5F-600A-428F-AB1D-F7A044F1FD51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10dbdc5acbf2573a22c35f16aae307ad18a5ea1e","datavalue":{"value":{"entity-type":"item","numeric-id":4494250,"id":"Q4494250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994487$FEC6819E-97F4-48D3-B9BD-5EBCB9EFAE56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"388c5e3abed55eae8db7886420a364df03aca78f","datavalue":{"value":{"entity-type":"item","numeric-id":706513,"id":"Q706513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994487$E66BA3EF-901B-4E05-A077-AA4BE558EE5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66930857d878a57fdc790648136b97860b4ebd5d","datavalue":{"value":{"entity-type":"item","numeric-id":684396,"id":"Q684396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994487$CDAA4E22-06E7-431E-8F9C-7E2725330CD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bf234564d8c694f0fe0e867ba0a888caa0bdede","datavalue":{"value":{"entity-type":"item","numeric-id":2844821,"id":"Q2844821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994487$A7BC1FC1-74F8-4B4C-BB81-E45D9FF661CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"996ae69e337f70b313880ebaac77aa9c37c3af22","datavalue":{"value":{"entity-type":"item","numeric-id":1575271,"id":"Q1575271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994487$73177821-DBA5-4205-A62E-0C1E850185D8","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":"Q2994487$49AD9AE3-8E8A-49D6-94DD-3FE32B00EBDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c284a637d6a4c997324e6ed944214c2cc09c94aa","datavalue":{"value":{"entity-type":"item","numeric-id":4738115,"id":"Q4738115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994487$E2CAD37E-46EB-48CB-A750-0BF469522D06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b663df5f734fb27e83ecaba87e703d1a06fb27f","datavalue":{"value":{"entity-type":"item","numeric-id":5313003,"id":"Q5313003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994487$2871A1FC-C833-48D7-BA45-3517E3EB3AA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0eab2ed488de96bf76f6539a8e3b18fcdf14567f","datavalue":{"value":{"entity-type":"item","numeric-id":820141,"id":"Q820141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994487$16383412-CDB5-4DF0-9201-9CA885875012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994487$23B27985-091F-43F0-BBD9-7E2F5269AAC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6154624416d56c5ff407c98b19ed95429167895","datavalue":{"value":{"entity-type":"item","numeric-id":1295427,"id":"Q1295427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994487$D38C05F5-E670-464A-BCA7-C28B0204C3B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f563538957101bb847ab8befd441e1d67d7d62f5","datavalue":{"value":{"entity-type":"item","numeric-id":5313094,"id":"Q5313094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994487$A8E38F9E-F46D-429E-ACA0-13E2B00FEAA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad436140f6598668d2527bd687a5eb84a271d185","datavalue":{"value":{"entity-type":"item","numeric-id":4222954,"id":"Q4222954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994487$283F4ED1-35EC-4F60-BE73-142EDBE15C07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bbfbc9d107d10f469b35a5fc043708881c82d23","datavalue":{"value":{"entity-type":"item","numeric-id":4856658,"id":"Q4856658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994487$1588B315-6021-4C5D-B14A-2669D4B15F42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85a6c9bfea2753836640bc505c6bd2092f7b8928","datavalue":{"value":{"entity-type":"item","numeric-id":2709810,"id":"Q2709810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994487$13E8F14F-D18C-4EFD-9E3C-BF9ED40E399A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"132520da273c8089c5e3b2d11624d67e61c411b0","datavalue":{"value":{"entity-type":"item","numeric-id":4251915,"id":"Q4251915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994487$7E3D462E-D569-4239-A390-9F699945134D","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":"Q2994487$535762CD-5C64-4936-AE3E-33F168786C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7a72681512b62fb97da7c5297937dd9d4fde72f","datavalue":{"value":{"entity-type":"item","numeric-id":4236207,"id":"Q4236207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994487$011597DF-5B6A-4493-BA21-5690854B302B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2196c948026ca4c88d8ada18999aa5052bff465b","datavalue":{"value":{"entity-type":"item","numeric-id":4256311,"id":"Q4256311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2994487$5D4ACC57-51D5-42E7-A56E-B65064E828F9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6616a22f212b0189cc7b3b1a6af3306b68ba6648","datavalue":{"value":"10.1016/J.ENTCS.2009.12.014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2994487$D9DBC11B-0B9F-4D41-AC8D-BEEE8869F6D1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7eafee713b9a9d56d48052eabbbd25660ecc4bf2","datavalue":{"value":{"entity-type":"item","numeric-id":2873687,"id":"Q2873687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f3a5f4caf58aa8fc35e3b7d98d379b299ad96c6","datavalue":{"value":{"amount":"+0.7703142166137695","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":"Q2994487$A33B682D-95AB-46A4-907D-7502F71B0AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70b51ef360b95e5eaae1fdbee0647b1e11d5e91e","datavalue":{"value":{"entity-type":"item","numeric-id":2722025,"id":"Q2722025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42cadcf17d6d45de2e5892425e4042e577dda698","datavalue":{"value":{"amount":"+0.7683882117271423","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":"Q2994487$AAD76633-EE41-48DB-B180-4B8020B7E926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"134a959f3edcb99c96e7f1bf455fccbcf636550b","datavalue":{"value":{"entity-type":"item","numeric-id":276401,"id":"Q276401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42cadcf17d6d45de2e5892425e4042e577dda698","datavalue":{"value":{"amount":"+0.7683882117271423","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":"Q2994487$D2912C48-1B25-4A03-8A78-DDD8E91E8D8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b158564105e72aa2e5e8cb1be85c43dd08cb1e4","datavalue":{"value":{"entity-type":"item","numeric-id":3003316,"id":"Q3003316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ce2941e6c6f07b3506d1d40a32072ba65c7deaf","datavalue":{"value":{"amount":"+0.7643368244171143","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":"Q2994487$39F853FF-52AA-4ADE-9AAB-86A4252EF0B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6d3981212ea8c0ce30a052b030fd210ad6cceef","datavalue":{"value":{"entity-type":"item","numeric-id":703522,"id":"Q703522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea751edaf81e878b2146c5457960b6c3a1785bd2","datavalue":{"value":{"amount":"+0.7608523964881897","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":"Q2994487$2B4D0016-449E-467A-BB9F-44F15CC25E78","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2994487","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2994487"}}}}}