{"entities":{"Q2828316":{"pageid":2839054,"ns":120,"title":"Item:Q2828316","lastrevid":58017492,"modified":"2026-04-03T11:32:21Z","type":"item","id":"Q2828316","labels":{"en":{"language":"en","value":"Lattice-theoretic progress measures and coalgebraic model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6642990"}},"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":"Q2828316$404337BA-87F1-45DE-A983-3CE7C7EEB7D6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ffd3aad4af11a9026ff893a14209555599d15e59","datavalue":{"value":{"text":"Lattice-theoretic progress measures and coalgebraic model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2828316$A89DC7B9-B541-403D-9BA2-8BDD0583A53E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"043cd1b6df95672478c5114cf217c5a19777332c","datavalue":{"value":"1347.68227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828316$64FFCE09-3E0D-4232-BCC6-DBDB2D39BB92","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d769f28038327201a074c0990f2e2f6d33d9af1b","datavalue":{"value":"10.1145/2837614.2837673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828316$48281C3A-498C-4822-837E-3A9CBC7DD8A9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"51cd88fb1b2aefd4c08f2ad3c00c3b181b0a54cc","datavalue":{"value":{"entity-type":"item","numeric-id":265808,"id":"Q265808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828316$6A3C001F-7B35-4D29-8E60-A8974A263539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31365d133a27873d5524a0c6dec81fbf7aa4cd36","datavalue":{"value":{"entity-type":"item","numeric-id":2828315,"id":"Q2828315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828316$20B76B16-B7FD-483C-A601-784AE17EBE1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbc402d38834f47950a92c3a03e8f6ae3a4e6a78","datavalue":{"value":{"entity-type":"item","numeric-id":639644,"id":"Q639644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828316$CD114D18-AB17-4091-9A9E-DC3EB90AA8FC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0a99b403aab07b56f8645942f86d22ab58064aa8","datavalue":{"value":{"entity-type":"item","numeric-id":2828237,"id":"Q2828237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828316$A735A069-7B4E-40F9-BC81-39D3514FDC3C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a707999eca047eb3f3f8c2c26743b59dad9c97f","datavalue":{"value":{"time":"+2016-10-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2828316$E84BB9B3-4FDA-4EE5-9906-012C24E45AD1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ca9349061083e9609d47d6a009e5b7e2585e47e9","datavalue":{"value":"https://arxiv.org/abs/1511.00346","type":"string"},"datatype":"url"},"type":"statement","id":"Q2828316$85DC056F-9A09-417B-A5B2-11CA8ADB8E61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"f4f64c88f9930fcd0274955c8b773300adccd356","datavalue":{"value":"https://eprints.soton.ac.uk/386126/1/POPL_accepted.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2828316$B2C64668-E299-4259-B0E3-15E847D25BF8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828316$DE551457-2164-4DAE-9353-644D0B31B71E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828316$3585711E-45F4-4935-A991-E974F0F5068F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1577ad1a9f3f4126f8df1ad8cd0753fb87165fa8","datavalue":{"value":"6642990","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828316$D39E0595-98EC-400A-9C36-1CAAF8F88915","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828316$192F0844-F841-44A8-892F-C3762DA3F883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6adb3375356c6ee3503c328130015c13622190e","datavalue":{"value":"fixed-point logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828316$0802DED0-BCF7-4DC3-91AE-E57A597AF433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828316$276F208A-06DF-4069-A082-7A056BEFF7F6","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":"Q2828316$7286A13C-829E-4E35-954D-A094BAB44D67","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8304cfece6c10f44b0eae9fefd9e32f65c42d089","datavalue":{"value":"W2282180738","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828316$A259D16B-DF3F-476F-BB64-7D264FCE154B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f4a59e4ca183dcbd74cb6d76e64c025be732200","datavalue":{"value":{"entity-type":"item","numeric-id":4501540,"id":"Q4501540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a54550d97d04986135ee05f3172aed2d7efa592","datavalue":{"value":{"amount":"+0.764900267124176","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":"Q2828316$3DC7E4AC-B29D-44BA-BA99-2DCE2193D43C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"414c666cb797967a380e0bcce68cd42b27316292","datavalue":{"value":{"entity-type":"item","numeric-id":2763539,"id":"Q2763539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b64735e618eda171557b6e9d09a8898500184f53","datavalue":{"value":{"amount":"+0.748149573802948","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":"Q2828316$4F6CC64F-E198-458E-98C2-FA22DDC49E86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f397895c169be2c4703a114a2d8a32427f2ea3eb","datavalue":{"value":{"entity-type":"item","numeric-id":5415659,"id":"Q5415659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b64735e618eda171557b6e9d09a8898500184f53","datavalue":{"value":{"amount":"+0.748149573802948","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":"Q2828316$7305C1AD-9C59-46D0-B03D-23179AE0A1C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db68639d9230191f2f5e8ee525bf7bbe91c8f69d","datavalue":{"value":{"entity-type":"item","numeric-id":2805469,"id":"Q2805469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e1363d95ffa09ee6270d012059012a0bf921ada","datavalue":{"value":{"amount":"+0.718550980091095","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":"Q2828316$B9D6963E-3C45-416D-B41A-3E21C2127169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdcc66dbc6bb6165d1455b111e24abbb5849b12f","datavalue":{"value":{"entity-type":"item","numeric-id":2870156,"id":"Q2870156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"107245d8465a023d64131e3c3dfb9696474e223e","datavalue":{"value":{"amount":"+0.7141961455345154","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":"Q2828316$991F91EA-14F1-4F26-BBBB-DB1DC048FC4B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2828316","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2828316"}}}}}