{"entities":{"Q2958532":{"pageid":2969251,"ns":120,"title":"Item:Q2958532","lastrevid":79804871,"modified":"2026-05-06T14:44:49Z","type":"item","id":"Q2958532","labels":{"en":{"language":"en","value":"One-variable first-order linear temporal logics with counting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6680146"}},"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":"Q2958532$3CF0322A-F6AC-4E9E-A52B-3FCE96BBE233","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2a2f30fd168f7859619b5ba45e5e1f98c860c328","datavalue":{"value":"1356.03062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958532$6315FA03-B178-4E56-A3F9-8B4EB6D1E76F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"addcf6d44783d1bc7ae5a6ba955d62602d552548","datavalue":{"value":{"entity-type":"item","numeric-id":295917,"id":"Q295917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2958532$61E917C2-C6F1-42B5-9123-6EA2E23A265F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5649821b73b09feb4e8f8dde28ee137e2a55549","datavalue":{"value":{"entity-type":"item","numeric-id":1006484,"id":"Q1006484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2958532$1EC082E9-6694-43E9-900B-22A8D1D4942F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6fbf1e12e524523bcb26fd2bf4306fb66c1e3cf9","datavalue":{"value":{"time":"+2017-02-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":"Q2958532$8F378B98-6802-4633-92F7-5B0ED6C555BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958532$46BA22EB-ECFE-419D-8356-407FFB190E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958532$00221182-59EB-4DD9-B7B6-422F0553AD47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958532$3EEC7A4B-8887-42B4-9722-99B9B7390A51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958532$AAA489C5-5EB4-4AB8-9509-8BD91625F25C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9ae879f103e9dd2878ec66f01e9808783d8ae2fe","datavalue":{"value":"6680146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958532$9CF68A84-0681-43C2-9493-3B4BD83FADA7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958532$ACF7F3E6-55F7-40FA-9A08-FE3E45EAD7CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958532$563CC77D-7AC6-4E66-A9EF-EFAF8C5326A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa64eae916ac50f9d0bdde79696d641a11ea4cba","datavalue":{"value":"counting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958532$F552B40D-5E30-47BC-8965-0CE0D40339A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958532$6E74917B-2517-49B6-A078-A81B841254B6","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":"Q2958532$995598D4-28FF-4A8F-BA22-5B86432F75D8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"23d6de6969d05f48dc971f265143e47cbbf0afd3","datavalue":{"value":"https://doi.org/10.4230/lipics.csl.2013.348","type":"string"},"datatype":"url"},"type":"statement","id":"Q2958532$AC7A3B08-AB0B-4229-91A4-CE8EDDC87211","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"594ae95f3751f3fb4a4879ec652978cdf9929657","datavalue":{"value":"W2250084181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958532$1053F883-0F94-4685-98A7-412013BF07C6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a7857286c37a0c4baa8ef4e5c8a455723ec09a78","datavalue":{"value":{"text":"One-variable first-order linear temporal logics with counting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2958532$BECC68DE-E13C-4EA0-A213-9EE6122ED192","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"845eeecfa7f89424461f52e9030ea4a34570d95c","datavalue":{"value":"10.4230/LIPICS.CSL.2013.348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958532$9C97C0E6-DB41-43A8-B191-CB704DFAC0B8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"428e272d36d4e5c471fa59ff18ac6b89a149661d","datavalue":{"value":{"entity-type":"item","numeric-id":2957765,"id":"Q2957765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"469f39faa2ce2655ba6c644f6e9572a2002a8a88","datavalue":{"value":{"amount":"+0.8975952863693237","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":"Q2958532$AC421C6A-EF1E-4102-A9E8-A66651D931E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c4749c931588c31648c97654758bf0cdfb3dc96","datavalue":{"value":{"entity-type":"item","numeric-id":1591203,"id":"Q1591203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2484d2a695f33f29dcad152521734de0fb96cc5","datavalue":{"value":{"amount":"+0.8227440118789673","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":"Q2958532$C3237CC0-D48E-4515-91F9-C927F2BE2818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d1fc3872488c88524b9e2db44b16001d6c6339a","datavalue":{"value":{"entity-type":"item","numeric-id":2893321,"id":"Q2893321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87129f3cbe46a3890af59783e28d3afbf4512a5b","datavalue":{"value":{"amount":"+0.7959238886833191","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":"Q2958532$0B5C6AFD-FE2D-49E7-BE1B-37C6BF77D94E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a6aca9a5039fba5f216bd8e6614355e9eea4c82","datavalue":{"value":{"entity-type":"item","numeric-id":4275689,"id":"Q4275689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dde56dfcb33458b70d6b0b756d340316de701af","datavalue":{"value":{"amount":"+0.7875874638557434","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":"Q2958532$B076378B-4CA8-45D2-A82F-B9361A346849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ecfe897fd42087dbb77e7e02edb6a256aae0e03","datavalue":{"value":{"entity-type":"item","numeric-id":2996150,"id":"Q2996150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bce046b8ccfeb657cb98a39b86124bea49a5e35","datavalue":{"value":{"amount":"+0.7856106162071228","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":"Q2958532$7D2905BD-A3A9-4400-9D4D-24C5F9E461A9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"One-variable first-order linear temporal logics with counting","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/One-variable_first-order_linear_temporal_logics_with_counting"}}}}}