{"entities":{"Q1667649":{"pageid":1678390,"ns":120,"title":"Item:Q1667649","lastrevid":74190972,"modified":"2026-04-14T18:52:36Z","type":"item","id":"Q1667649","labels":{"en":{"language":"en","value":"Finite-trace linear temporal logic: coinductive completeness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6929617"}},"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":"Q1667649$8598BAC9-D2C8-4DEA-A329-437B53128325","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b73c6778f36c5cce398d8dc5916ce9f5faf1e624","datavalue":{"value":{"text":"Finite-trace linear temporal logic: coinductive completeness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1667649$9A1A8CE9-831A-4F09-86D1-16CF9F42F305","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f053708873af833a8f546dec869e2e7d3aa58810","datavalue":{"value":"1394.68237","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1667649$FD6678D4-9695-4AEE-8E04-81B14E9B545D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec5e68015f94b1a9bef7898aeee73fd906f705d5","datavalue":{"value":{"entity-type":"item","numeric-id":393079,"id":"Q393079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1667649$0B2FC603-A4C9-4882-8276-BB05A507B8FE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1667649$0E99C712-F0F6-47DA-82DB-220D1E92F435","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d2127a2b03868a3a75d4f520fcfaacc8b031119e","datavalue":{"value":{"time":"+2018-08-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1667649$6FD1BF1C-837E-475B-BF31-DFC1586C6235","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1667649$911E1E1B-CA36-45FE-8FAD-E6ACBF9F75C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1667649$3A50766F-AD10-4058-A479-A43CF96D980E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"17932be7aad2b4f8e7ddcffcd97a0fe2addb3a47","datavalue":{"value":"6929617","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1667649$27A71C7C-EF49-4F15-AFB9-9A88DAECB90C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1667649$687AAB51-92A5-429B-9754-15B6E6F85270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1667649$C7F59AA0-4744-42A9-AE35-A75F033DF357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dd4662d46d663b6618638aff3454e7540c8732c","datavalue":{"value":"complete deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1667649$32AF5A0C-7EB8-41FF-92DC-99310A26E7E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fafcf953018573f92a433319a1c11197d7661331","datavalue":{"value":"coinduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1667649$C099D2CE-4D3C-4D97-B27A-71E543FC1B94","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":"Q1667649$923933B9-FDB1-4C48-8D9D-E02D540D78E9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"745e65046c044e4e57872acc68401e22a394f3a5","datavalue":{"value":"https://doi.org/10.1007/s10703-018-0321-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1667649$45F9E795-BF81-4C01-AE10-3A6E2F25BE04","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dc82cab196319c4d094ec57dd9712d71da1f5b51","datavalue":{"value":"W2901540136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1667649$B9D23706-E8C8-4CDA-ABF4-ECFDF3F0B3FF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6a31e0cf3ff6a73ad4ee5a92d1ed62572bdd89","datavalue":{"value":{"entity-type":"item","numeric-id":3317085,"id":"Q3317085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1667649$7817D8A3-240A-4A47-97EB-7A6FBFE46788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ce585837a919025fa0560b9c65a92d28da1c713","datavalue":{"value":{"entity-type":"item","numeric-id":1978242,"id":"Q1978242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1667649$BCCA47DA-B798-46A4-AF2C-3D09F966CBB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe06eda54f4cd3e438d9084b4f31164efa247afb","datavalue":{"value":{"entity-type":"item","numeric-id":3569195,"id":"Q3569195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1667649$BA466817-E41B-4DC9-9EA3-CA799FD7DF11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6162a47706be814c34042fd00c7c48b95d112be","datavalue":{"value":{"entity-type":"item","numeric-id":3662597,"id":"Q3662597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1667649$77496FF0-1C91-49A1-A677-9729778BCC62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2552a8939013b45e6ea2baa2db0a6428a5d43a9","datavalue":{"value":{"entity-type":"item","numeric-id":3718681,"id":"Q3718681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1667649$1B75386D-C4D1-42A8-8EF0-E2E1053D1998","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":"Q1667649$1DE23206-1CE3-4620-A2FB-DD2C846BCAAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b1e20aa27e3c87de1be2013b4394841d8c404dc","datavalue":{"value":{"entity-type":"item","numeric-id":5528648,"id":"Q5528648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1667649$C194778D-D528-411C-82C3-1465C3271F68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56cbcb19086ff4611752d8034078516f9ad64772","datavalue":{"value":{"entity-type":"item","numeric-id":1608324,"id":"Q1608324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1667649$CCB90F26-C7D2-4757-B7F2-83A245B408A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1667649$75A1F7CE-2F11-4D8C-85B4-4AA7ACAE07E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"742b32a578d3c568e0bbc4ca3a458619127605be","datavalue":{"value":{"entity-type":"item","numeric-id":835826,"id":"Q835826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1667649$D3DB5723-8553-4359-84A2-279B262BE8DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a346b3855c763f1bab453e9881e7e67219e28855","datavalue":{"value":{"entity-type":"item","numeric-id":1422628,"id":"Q1422628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1667649$1A08891E-3CEC-4731-89DA-5101994348BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1667649$ECCF5165-12A5-41DD-B8C7-59D339191825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d55d9d717b6dd928ca51f3a56f3933f99738e0a9","datavalue":{"value":{"entity-type":"item","numeric-id":4444910,"id":"Q4444910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1667649$BA9979B6-1C53-49F8-9366-783F18429C3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a03458cb76c813e714789d14b2f34159b9785fa7","datavalue":{"value":{"entity-type":"item","numeric-id":5283016,"id":"Q5283016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1667649$2F6EB447-5670-487C-BFC3-DE3A26FB63D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a905ba949a06cde66174f0d589d9794d6c05423","datavalue":{"value":{"entity-type":"item","numeric-id":3711745,"id":"Q3711745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1667649$4ECECF2D-103E-4A15-B139-6E4DE831D88F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4968b8cabc6e7e2146fbbb19353be5139e1037e5","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1667649$7F83668E-1C1E-4B87-9FDE-7F94EC957479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"007b3bdccae716a59e9fcd68043221be3f0adcfc","datavalue":{"value":{"entity-type":"item","numeric-id":3587259,"id":"Q3587259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1667649$DD4DC30E-F712-4376-9E3F-C88CF284EF6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6373225ca0fd8b276b99611bf9e3cf11d15d33","datavalue":{"value":{"entity-type":"item","numeric-id":5596826,"id":"Q5596826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1667649$2B448C54-5C7A-414D-9C09-F2C770605AC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88d1b205201f13d82c065e97ff01a6bc59a545ee","datavalue":{"value":{"entity-type":"item","numeric-id":5271073,"id":"Q5271073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1667649$1F4E8E1C-F16A-4B7E-8E81-235161A1C94C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b0aa4ad01438d9ae9b5bf38a845910912b22b88","datavalue":{"value":{"entity-type":"item","numeric-id":2900185,"id":"Q2900185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1667649$51F522EB-4B76-486B-85A8-D97229D8E549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a091fa96805ee8cc47c29cf15da844810699fe3","datavalue":{"value":{"entity-type":"item","numeric-id":2506491,"id":"Q2506491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1667649$2E86FC69-A35E-40FF-BB1B-D322F0CABC25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"546f4d086c0636fbf1f6ee05616645e1a9d8a89b","datavalue":{"value":{"entity-type":"item","numeric-id":4251040,"id":"Q4251040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1667649$A19E93C2-DD2E-4D2E-994B-5050EEEF0494","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"15730471614dfe70e57ed45136ce0a53c56c9875","datavalue":{"value":"10.1007/S10703-018-0321-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1667649$3E75347B-0C3C-483E-99AC-2D911847EE94","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96960112e498526eaaa39fc571da46f77d2fb146","datavalue":{"value":{"entity-type":"item","numeric-id":4737220,"id":"Q4737220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8966a323c68992620703d23195fe7dfb2476b94f","datavalue":{"value":{"amount":"+0.9225895","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1667649$C2E5F498-4434-4301-A9D2-8669E4891910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d911d0e7bc1e0f422691b4ac17253b29b112141f","datavalue":{"value":{"entity-type":"item","numeric-id":2900185,"id":"Q2900185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b5d7a406d5bd2040e4e0bbfa1827605bc33d909","datavalue":{"value":{"amount":"+0.92105305","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1667649$FCCBA719-40F8-46A5-BBC6-229E6B97B574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd389323a0ab574d9b53763364dbee4a972e5ee4","datavalue":{"value":{"entity-type":"item","numeric-id":4364518,"id":"Q4364518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b43abe7a685fa3c4c20f2b22e6f31570f9638172","datavalue":{"value":{"amount":"+0.91697973","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1667649$1BF5CB1C-318C-4A08-B51A-02E37853C077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e4cf482880c2b5728850189a6c1dffd76999ba8","datavalue":{"value":{"entity-type":"item","numeric-id":4451651,"id":"Q4451651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9271097566cb491b7a707362d636bbf238ba6a6d","datavalue":{"value":{"amount":"+0.91332716","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1667649$729306E4-7E8C-491F-B7BF-45A7250C83DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7e9f245eb4225131cc0caee62dec45b6bd3a214","datavalue":{"value":{"entity-type":"item","numeric-id":5485967,"id":"Q5485967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"677de0593327c3e2bb6bc7c8050f43b85f96d850","datavalue":{"value":{"amount":"+0.9091511","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1667649$2F07A306-0B9E-4635-A702-7B32872CF97D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7910f77ee4541f2d13ec688e3a4625b68d0812af","datavalue":{"value":{"entity-type":"item","numeric-id":4785458,"id":"Q4785458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af47fee4ab23b888538554dc504f5f0b1850aee1","datavalue":{"value":{"amount":"+0.9076933","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1667649$32ADB003-1918-4418-A9AB-1E3A39CB34AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f2fd32e463d03137b21bb2fe383e1943074793b","datavalue":{"value":{"entity-type":"item","numeric-id":2147173,"id":"Q2147173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69f89b20f71c3c77ac6e38a7e7ac4fdee27756ff","datavalue":{"value":{"amount":"+0.90707433","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1667649$BDB10091-6AF4-4922-8C66-BEB078405156","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":"5cc9e6c7670ecd37e024ab7e8f285a97feca12b9","datavalue":{"value":{"amount":"+0.90576386","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1667649$9748F1EA-DDD4-4460-ACDA-895ABDDD0C17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33e45e84af58c56f646c20ab46e110f7bce0bcdc","datavalue":{"value":{"entity-type":"item","numeric-id":2506491,"id":"Q2506491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d4d02aabb5b2dec7573c22305747f7ec0fb9fc8","datavalue":{"value":{"amount":"+0.90475935","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1667649$179373F3-FE09-4D20-A9E2-778316AEA898","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finite-trace linear temporal logic: coinductive completeness","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Finite-trace_linear_temporal_logic:_coinductive_completeness"}}}}}