{"entities":{"Q2851067":{"pageid":2861787,"ns":120,"title":"Item:Q2851067","lastrevid":51837752,"modified":"2026-01-20T07:12:29Z","type":"item","id":"Q2851067","labels":{"en":{"language":"en","value":"Handling liveness properties in (\\(\\omega\\)-)regular model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6213310"}},"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":"Q2851067$60F78A3E-C47D-4A72-AFB1-510B0B8F2F41","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f29f74f97d136313ea017896d3a228ce26ff5be3","datavalue":{"value":"1272.68227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851067$BF523334-18CF-4D2F-AD36-8139324A856B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7904a434e6c67a0a42ab8a275ad588430565729","datavalue":{"value":{"entity-type":"item","numeric-id":537949,"id":"Q537949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851067$6F93E9EF-3A0A-4CF4-80FA-22F369E3FA9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"daef8f966b1875cfc7b5cd4224180401b2f679f3","datavalue":{"value":{"entity-type":"item","numeric-id":243964,"id":"Q243964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851067$92366A2F-BF3D-47DC-951D-757F723025A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebafce9516d4c14b715c69adea30ca40313f766f","datavalue":{"value":{"entity-type":"item","numeric-id":930284,"id":"Q930284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851067$68ED90D0-3271-466D-A678-5F87279A9C96","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9bb76f8c858ddc05c9b0805444140cd69f0518fa","datavalue":{"value":{"time":"+2013-10-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2851067$E4AAE59E-3C83-4CE6-8817-940F2A121749","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3d27b47302d0a2b0353ae1a28718a7ba5867f47d","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105052035","type":"string"},"datatype":"url"},"type":"statement","id":"Q2851067$D0000E41-B356-465F-8B98-E4802BC82E6B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851067$B022D46A-2D2B-4923-A336-4CBF5B788D69","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"21477019da59eadd3270476e5c6ba7827d014fe9","datavalue":{"value":"6213310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851067$325BF9B6-033F-4C00-BBF9-842C2220AD82","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":"Q2851067$3EA705CB-93C4-49A2-A5A7-C1F90D70CA83","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"391a5694ae71735ecd99b50360b8194292ffc771","datavalue":{"value":{"text":"Handling liveness properties in (\\(\\omega\\)-)regular model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2851067$0F214D98-A9A4-47D5-8622-C2DBE3D41FDC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7714c0bec49abb7ffcde2f9675360e785f656dac","datavalue":{"value":{"entity-type":"item","numeric-id":2852018,"id":"Q2852018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb81fe4caa9d645a4fa125a532756b23bc555be0","datavalue":{"value":{"amount":"+0.814278244972229","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":"Q2851067$7E18A4AE-9C88-4828-BB7D-5908BA10529D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9812515b3ccb140eed3b46a394afb70e05cba7f2","datavalue":{"value":{"entity-type":"item","numeric-id":2754102,"id":"Q2754102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e60b50dbc0224f8cd1bc9f9be21b373a7f93f510","datavalue":{"value":{"amount":"+0.8027503490447998","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":"Q2851067$3F976831-3DA7-40C8-9520-239549D92853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3f46a425a9a29a7b242dd1459072961c4e8e195","datavalue":{"value":{"entity-type":"item","numeric-id":5311492,"id":"Q5311492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"beaf04fe77570e9a1828baa5c3c95ce5924d727f","datavalue":{"value":{"amount":"+0.7993637323379517","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":"Q2851067$01763876-2CDA-4FB9-8B00-CBCFCB2917DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b8a63fed637f38fbd7e63346027f22cce5e55ad","datavalue":{"value":{"entity-type":"item","numeric-id":5308434,"id":"Q5308434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ec4b1c0bf8e1209a78fd47671b9330539781aef","datavalue":{"value":{"amount":"+0.7941450476646423","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":"Q2851067$935D971D-DC05-49CB-9B6C-E3EDCD5E67DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ae314a23e9bf61e38b27173c5e143af39f5b961","datavalue":{"value":{"entity-type":"item","numeric-id":2851061,"id":"Q2851061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"542edcbd553b4f20a34c58351fa43a30e0a56bd0","datavalue":{"value":{"amount":"+0.7850788831710815","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":"Q2851067$F0454BC5-2DBC-465D-8A92-0AB1165DA996","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2851067","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2851067"}}}}}