{"entities":{"Q1745344":{"pageid":1756086,"ns":120,"title":"Item:Q1745344","lastrevid":73836282,"modified":"2026-04-14T17:26:21Z","type":"item","id":"Q1745344","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 6860707"}},"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":"Q1745344$00A4C92C-CBB4-4D44-9BB7-CD00559B584E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"136d051ea8defc0841ca611ccbbbba30272e5891","datavalue":{"value":{"text":"The complexity of counting models of linear-time temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1745344$5A21ACFB-DC15-4735-B0EC-16D57F928A67","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"345f1d169f5403474fe7e33b291cfba2f909482e","datavalue":{"value":"1390.68441","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1745344$24251138-0CD8-4702-934F-825802A38E52","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":"Q1745344$23C91B18-305C-4B39-B765-41F25E0C341A","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":"Q1745344$09631E0B-B557-4904-8541-6438D7D05DB4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745344$FA856AD1-F10C-4FFD-9686-BDD94793FD0B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"27401f0c0ec451342185690781fa9506a9acdf7c","datavalue":{"value":{"time":"+2018-04-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1745344$125A2F6D-B169-47CA-A814-3DD0677E99ED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bd3235b947d03846ae1f6beae7c5ac2b01a58fc7","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2014/4846/","type":"string"},"datatype":"url"},"type":"statement","id":"Q1745344$4ED94C3C-6C50-4E75-BEED-6941BFFE1517","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1745344$7E25DE88-7BEF-4474-BC6A-473B79162DF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1745344$DCBA0EE6-5143-4EEB-855F-470756DCB1CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1745344$8A9E46DA-F36F-4E7D-B0EA-F55683C4FA41","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8db39a4ed9d382360e4a19e869f09f3a770af44d","datavalue":{"value":"6860707","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1745344$7834F7D6-FDEF-420B-A32C-A5C66CC36B60","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d85e34e76a2023e4f73428ca779702fd03518ee6","datavalue":{"value":{"entity-type":"item","numeric-id":5974450,"id":"Q5974450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745344$C1D533C5-CDE1-4C8B-8C99-2DFF68C861C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e709217feba5582ee4330feae544dbf386970536","datavalue":{"value":{"entity-type":"item","numeric-id":37002,"id":"Q37002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745344$5B8902FA-8312-42AB-AC1F-E9AFB65832C4","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":"Q1745344$183555D9-ABD9-4BAB-94D2-074BB18300B3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"25fe615c57934d4fec5a986260c51fe6385638d7","datavalue":{"value":"W2964114371","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1745344$C74A5C4D-70C5-4DC4-9DAE-CF8C7A08868C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d8653d2e6f53b17cedec7b9470bcf88609d4f1f","datavalue":{"value":{"entity-type":"item","numeric-id":5320667,"id":"Q5320667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745344$7A9D754A-A239-458E-93B5-0D8951DB07F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745344$1D892B43-D985-4B4D-86F7-08D9A829D235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44410af1243ffce9ef035f8f4e879f1bb5267de4","datavalue":{"value":{"entity-type":"item","numeric-id":3000656,"id":"Q3000656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745344$7AB1188B-8955-44C5-AB4D-EF1C30460336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aa9496983c523e576ed7e030ef8b8418be0e0d0","datavalue":{"value":{"entity-type":"item","numeric-id":3510817,"id":"Q3510817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745344$A4E00E88-4E7E-43C0-8575-8DE1E152CE93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"509d3b7a01d8e688d2d1a1d979522ce29d1afd48","datavalue":{"value":{"entity-type":"item","numeric-id":5404927,"id":"Q5404927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745344$75E442CB-6A3F-43A1-8E2D-5235AFA1D6F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"baab21e7e3c06b4c1b3f847e3cef2ae1dc2fd6fd","datavalue":{"value":{"entity-type":"item","numeric-id":3638098,"id":"Q3638098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745344$D02342D3-3098-460D-8A8E-A4B790929CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"425d93bb2ee09fac5165159b9bd5cd489ffbdbf8","datavalue":{"value":{"entity-type":"item","numeric-id":3034822,"id":"Q3034822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745344$96B43817-88B4-468D-9472-4D9066EC55BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2506fa77e7f48c3622c98f93d04b1f9015df09a","datavalue":{"value":{"entity-type":"item","numeric-id":1401394,"id":"Q1401394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745344$77F1F1BE-5390-48D1-B14A-CC54A09C0664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44a13dcf5cb49fe3ec44347a9f89841c7d76a6e5","datavalue":{"value":{"entity-type":"item","numeric-id":2751046,"id":"Q2751046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745344$2DA40B93-2D5B-4397-A928-B8E4F2B30282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745344$C7A10723-8889-430C-B75D-B15F26D3FD21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c975b107162ac74a24f829c2f56a0100515128d","datavalue":{"value":{"entity-type":"item","numeric-id":1343862,"id":"Q1343862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745344$65C7E7DD-FC79-4DB0-934B-AA5024AA8205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f00bb52add758c15e0865e3dc0b3f989e22d03","datavalue":{"value":{"entity-type":"item","numeric-id":2978517,"id":"Q2978517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745344$86B359E1-9228-4A0A-8B05-1E98E030D3B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c516460706e34bfacf776c096f40a576fd2116","datavalue":{"value":{"entity-type":"item","numeric-id":600247,"id":"Q600247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1745344$E98CD0A0-BA8A-4DFF-9FAC-46FFFF3C44EC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c681b3cfdda7cff90ad0a99b5303dd5a7785348f","datavalue":{"value":"10.1007/S00236-016-0284-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1745344$D7EE5886-9264-425C-9359-98BBA3F9AC15","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bc7ce74e3b0791a3e816f777ac5c55348327b3e","datavalue":{"value":{"entity-type":"item","numeric-id":2978517,"id":"Q2978517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e2da6c53f5a750999d81de2cca7409b6fb04c6a","datavalue":{"value":{"amount":"+1.0000002","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1745344$04304CE3-3641-48CD-AA7E-5584C4AE2688","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":"6c1d9f398a2899b4854af0d49d8cdaf6f21fe210","datavalue":{"value":{"amount":"+0.9751693","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1745344$D76E5603-57B8-4CA4-8F7B-1479A5695944","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":"915f026be8799c27bf30fbdc9e703d7e38a1d319","datavalue":{"value":{"amount":"+0.92034703","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1745344$4AE29271-DA68-4860-A450-03BAF22C68C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47a692f977b2b5a6577b9e26d31d979c09bb8c82","datavalue":{"value":{"entity-type":"item","numeric-id":5311048,"id":"Q5311048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e55a5644fad8425cd15b25da8bdd462a0787d5bd","datavalue":{"value":{"amount":"+0.91783565","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1745344$CB465C31-40F5-4279-8F9F-2E720C1BA0BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8383c81dc306dd82e36f9328ffbecd979c9336a1","datavalue":{"value":{"entity-type":"item","numeric-id":1400578,"id":"Q1400578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8324d771b79ecfe1b952e109cef97e152de59b60","datavalue":{"value":{"amount":"+0.9132059","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1745344$AD3D806F-5A24-4A28-9C66-19713407595B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5d21bc5f5fddcb5d589bce6c36f0cb306f10470","datavalue":{"value":{"entity-type":"item","numeric-id":3543292,"id":"Q3543292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08759510a626fc132110fb1a141184ca87ed2bd5","datavalue":{"value":{"amount":"+0.9097477","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1745344$C97A88FA-D5FC-4ABE-9EDF-701A92F38F69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6eff8910ca6b1cc8dbe85b350ba7ef7d3cf9a3b","datavalue":{"value":{"entity-type":"item","numeric-id":974119,"id":"Q974119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d975b35eb3ad84131867de203a8104a35c2da1a9","datavalue":{"value":{"amount":"+0.9097476","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1745344$3C3B3E3C-F8FC-4149-BA32-E8A01D200020","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":"dd5d574841ed068468778b0cb625e783a0aadaa4","datavalue":{"value":{"amount":"+0.90969443","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1745344$02FC6174-09FD-4BCB-96DB-ED213720875B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50cd169c146c93114a40372ce7a38c2a44824381","datavalue":{"value":{"entity-type":"item","numeric-id":3081444,"id":"Q3081444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6b4fae1e4ac42d02d540a65f95af0eb02f4c985","datavalue":{"value":{"amount":"+0.9093863","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1745344$0768DB0E-BD15-4C06-8DFA-1B75194159D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f904b2b738da9b545ec91d0d688297341523cc9","datavalue":{"value":{"entity-type":"item","numeric-id":1854521,"id":"Q1854521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51c70ea7d4e8bb7e7304a3c7a24ea49ce4a342e4","datavalue":{"value":{"amount":"+0.9067174","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1745344$5F26BC7F-9421-4BFB-985C-3FC0D7C46D3F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The complexity of counting models of linear-time temporal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_complexity_of_counting_models_of_linear-time_temporal_logic"}}}}}