{"entities":{"Q5283016":{"pageid":7312590,"ns":120,"title":"Item:Q5283016","lastrevid":58512921,"modified":"2026-04-05T13:19:20Z","type":"item","id":"Q5283016","labels":{"en":{"language":"en","value":"\\(\\mathrm{LTL}_{f}\\) satisfiability checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6747942"}},"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":"Q5283016$7AEDE897-098B-42D3-8217-7FEF7A9B772C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0085b5129b223b16997c57c29d0337087ce93f01","datavalue":{"value":"1366.68177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283016$FD607B0D-786A-4233-AC41-D0D72D99F767","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"82832e6ead7fd0129a06a766786f66a3d6aee0bc","datavalue":{"value":{"entity-type":"item","numeric-id":1707338,"id":"Q1707338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283016$C590FFC6-F177-459A-AFD5-37F3EB266DDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f8b1a64d507a032cda525aa6a0e7593e342c9a4","datavalue":{"value":{"entity-type":"item","numeric-id":1707340,"id":"Q1707340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283016$F7473341-59D6-4210-A652-54EF02250496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce87cbb6ded942a7df2b71cd7e21808de8efe775","datavalue":{"value":{"entity-type":"item","numeric-id":208771,"id":"Q208771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283016$7F3900A0-FD39-47BC-AAE2-10CB36AC6895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8b4b706e0e1892c8640abf317cd4e1ff44c4fa9","datavalue":{"value":{"entity-type":"item","numeric-id":207989,"id":"Q207989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283016$E155FA26-0C21-4D06-8AD3-922A4318A61A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5894425868796c1c566a284833508f3ef0277bc9","datavalue":{"value":{"entity-type":"item","numeric-id":764615,"id":"Q764615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283016$117F554D-FEC9-43AD-9DA5-21E53F6A479D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"62e26106cac22eebe80c29038bb39eb76039e480","datavalue":{"value":{"time":"+2017-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5283016$91E65F2A-153D-44EB-907D-5DD90EB566F7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"49ef1a1ecb513c15f8950c07eb03c20e94fae5c5","datavalue":{"value":"https://arxiv.org/abs/1403.1666","type":"string"},"datatype":"url"},"type":"statement","id":"Q5283016$137C0CCB-543C-4E49-AADC-0BC672FB54A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"d9127dae652492426b01dcc3cd7b439c0e8cc013","datavalue":{"value":"http://ebooks.iospress.nl/volumearticle/36992","type":"string"},"datatype":"url"},"type":"statement","id":"Q5283016$B7DB060D-DB80-4BA4-B79B-355BF1734029","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283016$475B6145-96F3-4D66-A770-8DC1338262A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283016$5BF74203-0C1E-45D4-84F4-A54A53D47CCF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c6851d1e3ff6803c0869f9830c999feb41a67824","datavalue":{"value":"6747942","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283016$1F6BDEF0-AA2F-4AE9-B131-179F6CFEE8AB","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":"Q5283016$74F6FC19-904A-41E1-80BA-6B2D8B39001A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dec1845d5b805a33a9b6dc48ef7a1a69c506e41c","datavalue":{"value":{"entity-type":"item","numeric-id":2046017,"id":"Q2046017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c516fe3ef16cc5a561caf2db1d9350f9dac682dc","datavalue":{"value":{"amount":"+0.879034698009491","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":"Q5283016$042EB7E3-D8A2-4AB2-A6C0-6111D60E41AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d55558c882eb537dea8b4ed637072d46a41d3d4c","datavalue":{"value":{"entity-type":"item","numeric-id":1707341,"id":"Q1707341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15507513038f18b523eef6b49887dd83ea45ab98","datavalue":{"value":{"amount":"+0.8463794589042664","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":"Q5283016$60B5BD89-1EEE-4BBC-8788-0F019C62B0E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c99efe65a80694c2247f8810e011b1b26faef365","datavalue":{"value":{"entity-type":"item","numeric-id":4612433,"id":"Q4612433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"314c7d6e94de79e24b42505e9e31d6b4bc523da7","datavalue":{"value":{"amount":"+0.8228779435157776","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":"Q5283016$E307C920-C731-4D80-B4F0-96BA26B0BE91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8e09fa57aeb1f55298b6eec616fc70403b45775","datavalue":{"value":{"entity-type":"item","numeric-id":4558796,"id":"Q4558796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38eb125e0902830e923665f0d3b39225a86cdacf","datavalue":{"value":{"amount":"+0.8055272698402405","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":"Q5283016$A5963F22-312E-458C-B646-0952A65736B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a523bc57602f5baeefda17c122f742e39fff24ac","datavalue":{"value":{"entity-type":"item","numeric-id":472802,"id":"Q472802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b58e9ebd2c9a5d089b9edc148abed58e408bef5","datavalue":{"value":{"amount":"+0.8037500977516174","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":"Q5283016$5971E9F6-0F3E-4693-8081-B72F9D937DE3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5283016","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5283016"}}}}}