{"entities":{"Q2920142":{"pageid":2930862,"ns":120,"title":"Item:Q2920142","lastrevid":55903885,"modified":"2026-02-21T00:29:59Z","type":"item","id":"Q2920142","labels":{"en":{"language":"en","value":"Modelchecking counting properties of 1-safe nets with buffers in paraPSPACE"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6098240"}},"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":"Q2920142$D7665691-6148-4237-8479-4FB42491F9FE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0f8e578d2b532a51bec618cd5f3f62eb51e2c2a1","datavalue":{"value":"1248.68356","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920142$45576CB4-4B45-4DFD-B262-A7D9ADCBD8BD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"36974ca48c1ff3caa1463aa00972066da924c035","datavalue":{"value":{"entity-type":"item","numeric-id":1949743,"id":"Q1949743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2920142$D6B79E41-8A8E-40EF-B052-54B5A9142BEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"43b346a4e742665f6fae44f5c4c1165c37d3a575","datavalue":{"value":{"entity-type":"item","numeric-id":229995,"id":"Q229995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2920142$091F51FA-7D94-4CB3-A06D-7B8099C97910","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ee92d50481ed05c06549abf63f6ece88b90dd74","datavalue":{"value":{"time":"+2012-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":"Q2920142$1E3F1D2C-38B0-422C-A76F-04F31A2B88F0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fc204f21fef4b465103d6ba96a56b1ef7850452e","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_62aa.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2920142$F151E53A-F547-4E8D-BA4C-40B9D2DE1D8D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920142$A763B125-CEB6-4D19-B305-65D370DAD48A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920142$141C3680-B692-45A6-BF46-8B282C85AC00","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7231a16d798578c376a177b89a1983b4186f4b6c","datavalue":{"value":"6098240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920142$D22E9773-E437-4120-83C9-C2775D40658F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2920142$E4385353-6056-4545-82EC-52930DC846E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97378df6857232915fa2b1f482014a0c8c4a538d","datavalue":{"value":"coverability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2920142$A4F231F7-95CF-448C-B5CB-818EA95F1A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b179b5c72afc1f0ac5c224a3752d2cbc897655b1","datavalue":{"value":"boundedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2920142$A4F02952-FD54-4922-8E64-1F50EE2DE898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b495b16805dd26a7c15e1cf66e4d3dcd612d44e8","datavalue":{"value":"paraPSPACE","type":"string"},"datatype":"string"},"type":"statement","id":"Q2920142$48E4BA7F-8586-4B64-A5C3-D48EA2FB6643","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":"Q2920142$13479060-2B67-4C1B-97CC-64F33A0A5D5C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aaadddbf678f8e88fe08ca42716d5160a3a08926","datavalue":{"value":"W1559819674","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920142$2C5E29BA-175A-48CE-9422-DCC368E6AA8F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ebd37156202201bb9f210979047efd90f648f069","datavalue":{"value":{"text":"Modelchecking counting properties of 1-safe nets with buffers in paraPSPACE","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2920142$431EB052-71E9-47A8-AC84-DE0F1908C86D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d5b5561efc17131eeadcb9de37a8803aa8070a6f","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2009.2331","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920142$BC7D3B04-F066-4AD6-A873-C27C5B7A06C5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81c6ec932d58672d736b972a552f5c9a13eccaa6","datavalue":{"value":{"entity-type":"item","numeric-id":3090841,"id":"Q3090841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f1e33450a0874c02601a009ab2817c604fe0fa0","datavalue":{"value":{"amount":"+0.8015552759170532","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":"Q2920142$AC849607-9853-43E1-AF8D-2405FAB85413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2581f11af9e9f3a71720eec086a480932e42bf20","datavalue":{"value":{"entity-type":"item","numeric-id":2941148,"id":"Q2941148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4e60336b7f3d981824d64d21189cb7eb221d474","datavalue":{"value":{"amount":"+0.7492084503173828","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":"Q2920142$0324B18F-94BF-4E9F-9AC0-EE63AF2D61CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"366cb32940a187f6934c6a7ed8b26d5e0eb50799","datavalue":{"value":{"entity-type":"item","numeric-id":2117182,"id":"Q2117182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d45c634610d519333e74ea7f68d24053428ac000","datavalue":{"value":{"amount":"+0.7458674311637878","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":"Q2920142$A30889A7-8999-485D-A8E9-95F72BC3D2EA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2920142","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2920142"}}}}}