{"entities":{"Q2287113":{"pageid":2297856,"ns":120,"title":"Item:Q2287113","lastrevid":71768166,"modified":"2026-04-14T00:25:09Z","type":"item","id":"Q2287113","labels":{"en":{"language":"en","value":"Flat model checking for counting LTL using quantifier-free Presburger arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7157061"}},"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":"Q2287113$9851F3B8-8F3B-4AD6-9E98-270AA9FCDD6F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e843ea16630084a5bb6fe0dcdf5bc74aa93946e0","datavalue":{"value":{"text":"Flat model checking for counting LTL using quantifier-free Presburger arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2287113$9D4DA87C-92A3-4A85-9146-327AA1B9CB36","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"66d14cfb6223764a215d41f393c94dcb6ecb737c","datavalue":{"value":"10.1007/978-3-030-11245-5_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287113$8219B15D-23C0-45B0-B3D4-8922EFD0B233","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5631fc133a3ba8e4c40c540ccfe813b71c12dd10","datavalue":{"value":{"entity-type":"item","numeric-id":2287112,"id":"Q2287112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287113$D3E134F6-AFA6-46AB-9853-4DC15527A0D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"80cbaba22993aa286a26360a80daf08a7f6b3eaf","datavalue":{"value":{"entity-type":"item","numeric-id":1622999,"id":"Q1622999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287113$62F00DBB-34FF-4F83-9041-41922F154DD8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"05e303adb2b0a1f1bcfef4359b3361358b8f766d","datavalue":{"value":{"time":"+2020-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2287113$13764556-7C45-4C89-A866-C4204033A6C8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8f92b038e7564753d4777f6fcd72e7c78354493c","datavalue":{"value":"https://arxiv.org/abs/1901.05692","type":"string"},"datatype":"url"},"type":"statement","id":"Q2287113$A20E0DF4-F922-4718-8907-EAAA8D4F5E8A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287113$D3A0073B-9C80-4870-84BA-74E65B971277","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"476ef0840e0123f9afd5dad1b8f9575e55ad1ac1","datavalue":{"value":"7157061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287113$E0D48C4C-662D-4D93-B824-E92B55BB2AE2","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":"Q2287113$E5956993-0AAC-4D8A-B641-9E1A05B6B00E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3562954e43e16822d655cab168719f9d4bb751e8","datavalue":{"value":"W2910601164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287113$B809B168-036E-4704-A0A8-1657E795E3CB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecf579e042aedda8024390cee4e11fae59aec7e3","datavalue":{"value":{"entity-type":"item","numeric-id":5111643,"id":"Q5111643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b2b532d80737d7d8c4e7756160d2a47c320394b","datavalue":{"value":{"amount":"+0.8316665887832642","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":"Q2287113$193688E3-C38D-4641-B6C5-98E0B5D14566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c31b74c97ef5af32307af99be4ea7d54b73cadc","datavalue":{"value":{"entity-type":"item","numeric-id":3447697,"id":"Q3447697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35806ec4c5dd4f6941972badd69d3bf5c18127e5","datavalue":{"value":{"amount":"+0.8302483558654785","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":"Q2287113$76369385-2F45-44AE-A953-FEB7C3336704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf37580c23209469b489f72776ed474f89593902","datavalue":{"value":{"entity-type":"item","numeric-id":5327431,"id":"Q5327431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcdc5624c2ae91409edcde36a175eabfaeb0135a","datavalue":{"value":{"amount":"+0.826536238193512","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":"Q2287113$FF220A58-4DB6-4426-A0ED-1823EF5E9C73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"522fe27fae911b9860320ffbea44e0f7e7a22dca","datavalue":{"value":{"entity-type":"item","numeric-id":2636509,"id":"Q2636509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aed687dc190a547c6b4ec1b1e26dbc27232ba0ae","datavalue":{"value":{"amount":"+0.8244996666908264","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":"Q2287113$7DAB941D-0201-4379-9D98-401CB25A211D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43f98120be9e6a59c6dfc61fe30e86f9fc9f0e40","datavalue":{"value":{"entity-type":"item","numeric-id":3522931,"id":"Q3522931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bde0d2a6a7c3bdb39c0dbfb583ad780edb66ded1","datavalue":{"value":{"amount":"+0.8228968381881714","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":"Q2287113$842A6638-2C24-43D4-90E8-6D4A6B0B1717","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Flat model checking for counting LTL using quantifier-free Presburger arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Flat_model_checking_for_counting_LTL_using_quantifier-free_Presburger_arithmetic"}}}}}