{"entities":{"Q2978517":{"pageid":2989242,"ns":120,"title":"Item:Q2978517","lastrevid":58071528,"modified":"2026-04-03T16:51:50Z","type":"item","id":"Q2978517","labels":{"en":{"language":"en","value":"The complexity of counting models of linear-time temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6707770"}},"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":"Q2978517$D5762A28-E940-4A98-A79E-AA081281FF76","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"33f8d84ced7b547efdb1835aeca50b062862ec28","datavalue":{"value":"1360.68603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2978517$ADB93672-5F3D-4DF6-8396-1051B252F345","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a1e6ca78795ba5f1656360fb5231707af1dab8cb","datavalue":{"value":{"entity-type":"item","numeric-id":832290,"id":"Q832290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2978517$7031FCAB-2A23-4B1F-8FAA-A567079BC581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"55747a80f3ab2fd6b2d6e1010dc381d0b7b1832a","datavalue":{"value":{"entity-type":"item","numeric-id":218365,"id":"Q218365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2978517$12A3697F-0C6A-48F0-8F49-130764555328","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa23cc0149fb181ddf62c54fcf7661372ca0f225","datavalue":{"value":{"time":"+2017-04-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2978517$26646401-F1C9-4B08-930B-072257E3B839","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ab7259d9bef805d73d3ce7d78a2ea76eab69347b","datavalue":{"value":"https://arxiv.org/abs/1408.5752","type":"string"},"datatype":"url"},"type":"statement","id":"Q2978517$AE22D4FF-009E-427F-9146-BD7DD5C7B89F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2978517$EF4B3299-6996-4102-8677-05D706AD4548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2978517$82DCC646-421B-4F81-A313-F1F9699CF4C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2978517$FD9B05EF-C932-4263-99D6-1D979B32543B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"196a539f5104b4089e2e595d142c2f6b77d18768","datavalue":{"value":"6707770","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2978517$07262E55-D927-4B30-9574-E2660574B44C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64a29c4a5bfa3313a3ef8963adfeef39f010eff8","datavalue":{"value":"model counting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2978517$34C91748-4FA2-4979-9F8F-021B3104F475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2978517$C5B88A11-5489-4918-86F3-C56CA872C93F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2978517$E549B1F1-A5E5-47CF-AA66-A4E511E81958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5540e3a97aefc78b1cc58b39eaa31222058ad3d","datavalue":{"value":"counting complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2978517$57539F11-7E88-4386-8F55-ADE9BCC1641D","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":"Q2978517$FA45C1C4-ED2E-4BF1-8297-092A4BAE498E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f739466ffe8ddb7dca8f67c487383e1f7245cdd4","datavalue":{"value":"W3022736714","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2978517$1D6D11BF-CE07-4B19-8273-BEFBE42A4680","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f9c6062c243061c0b4dcb53c7a41b75a57526c49","datavalue":{"value":{"text":"The Complexity of Counting Models of Linear-time Temporal Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2978517$4F0694FE-E8CF-40FE-91DF-0A5009579031","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2ee8c123166641cbfafa367800830aeb6a65d39e","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2014.241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2978517$1F587F77-64E8-4F9E-B09E-5ACF18B8F5D5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f22a1e45620c5baef8da6caed8d5539623fede1","datavalue":{"value":{"entity-type":"item","numeric-id":1745344,"id":"Q1745344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed937ddc75fc4eb9ab6d3637d47c565b05224dd9","datavalue":{"value":{"amount":"+0.9909974932670592","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":"Q2978517$B8C1D1E9-6C50-4E00-8918-2D62E45CFF09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0310aeb6efa185accaa9e1e5c913ff4ab55ef057","datavalue":{"value":{"entity-type":"item","numeric-id":5404927,"id":"Q5404927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b20e5a0624754cacbb1adb1c1d1b96df05b68f4","datavalue":{"value":{"amount":"+0.8840148448944092","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":"Q2978517$2B9ECBB0-A309-435D-8F44-D6E4C64FEEE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"808970fdcdd100f78bc7a745530c1d015ec895af","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"660e4844585f964640a30368ef175adb87065965","datavalue":{"value":{"amount":"+0.8107434511184692","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":"Q2978517$3653F5AB-425F-4717-9840-45968F0A3B2E","rank":"normal"},{"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":"d0277786a9856d3feb31e0126bc626f8aa3a5b76","datavalue":{"value":{"amount":"+0.7982211709022522","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":"Q2978517$F8713D21-B401-4A71-8D08-D527A4A453D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20db43418963efe30db6adfa0212a3dc10009d6f","datavalue":{"value":{"entity-type":"item","numeric-id":4931296,"id":"Q4931296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"137f55f5c470c84d49ff610d5905f08b38a2edcb","datavalue":{"value":{"amount":"+0.7960352301597595","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":"Q2978517$64401D27-9184-4D23-A782-A1889C0AE977","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2978517","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2978517"}}}}}