{"entities":{"Q5278205":{"pageid":7307780,"ns":120,"title":"Item:Q5278205","lastrevid":91784471,"modified":"2026-06-05T00:03:47Z","type":"item","id":"Q5278205","labels":{"en":{"language":"en","value":"Parametrised complexity of satisfiability in temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6744589"}},"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":"Q5278205$B65F8311-715B-4F34-9709-D7409A8B60C8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"24d636db8c0f31ffc1e0f3a449fd525b53458555","datavalue":{"value":{"text":"Parametrised Complexity of Satisfiability in Temporal Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5278205$015A7D05-A851-471E-911B-00DC8F5188B3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0c0996cd75986c07d367224930dbaaac4312f658","datavalue":{"value":"1367.68111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5278205$A21E780F-D5D8-42DC-991D-496A0554383B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9ff62196ffad3032b59a93d3ccf90deef9ef372b","datavalue":{"value":"10.1145/3001835","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5278205$3491E4FE-C208-49D1-8E23-29940B872E96","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ab8b6eab35985e7b4ee49a042e43493ea64c2d5","datavalue":{"value":{"entity-type":"item","numeric-id":2193279,"id":"Q2193279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278205$3A7E499C-7D5A-45AB-B1A2-DC9BEE5205BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"686a3fe5d11b6343bdc23cbf052aabbee263958a","datavalue":{"value":{"entity-type":"item","numeric-id":393135,"id":"Q393135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278205$6D452573-B596-49F2-BCA1-8B75DF8F44A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f41002f96840f460839d3bb4ae5ed2a9e2e2828","datavalue":{"value":{"entity-type":"item","numeric-id":1725637,"id":"Q1725637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278205$71043369-6906-4397-B8BF-5C1518FC2013","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278205$51DF844B-A366-4CF7-9D8A-5B84C9F869FC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"757d56442149c8e74ad624bf696390baa904ca56","datavalue":{"value":{"time":"+2017-07-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5278205$AC2BA71C-92D7-4638-9233-45F64A31FEB7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5278205$C6906F48-0A0C-4AF1-A3B6-C1B4FB0D4463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5278205$AC301692-7D41-42B3-8597-4B80EEE2C460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5278205$FFC4AAA5-3F61-4FF5-A586-8E47494E6818","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b39c32c31cbdcda96247d179c86ed861de95d33b","datavalue":{"value":"6744589","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5278205$CE84B2F3-DF2F-4992-A275-D7DBDC414346","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be56aad476fe3b691df5d8b846b695fd8208a1af","datavalue":{"value":"parametrised complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5278205$F6AE6F1E-2B34-43AF-9ABE-845BA859BAFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75e78cd0204d4d31855e84e0e74f34cbe7774a40","datavalue":{"value":"computation tree logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5278205$CB6600BC-BAA4-4E54-9550-D122397C7694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5278205$E235F6A5-A0FA-49E2-94B5-EE7C0E8F9250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67f458d393b772a7cf36a53976d2b5be911e683d","datavalue":{"value":"pathwidth","type":"string"},"datatype":"string"},"type":"statement","id":"Q5278205$62DADE6A-CE46-4534-A531-B276E9F717A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ff0a2602dda426cf1e79110d04984cc7aa91137","datavalue":{"value":"Post's lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q5278205$076D7BE4-EF5E-40A9-B08A-0ABC861C86C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0dbcee432adf7069c1cadb2f9bccf1fcd37f8f38","datavalue":{"value":"temporal depth","type":"string"},"datatype":"string"},"type":"statement","id":"Q5278205$783F64E7-BFC1-459C-B742-387338AAB652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5278205$35A9694C-A36B-4D3B-970D-23863F9DD66F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d57d68ed777850433efcc3de197edd817953ef26","datavalue":{"value":"treewidth","type":"string"},"datatype":"string"},"type":"statement","id":"Q5278205$FB19C34B-05C4-463F-85DC-BCAADE56377E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c721eaa18e3952fe089d3a9b0069171cb6edb10f","datavalue":{"value":"Q57998260","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5278205$3AC48E35-A888-482E-B634-B77854311B2B","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":"Q5278205$B7A00E4B-B949-4317-B585-AEFA67DA15EE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7d93bf65b9eb71d18d4cc1639d51d97a9664a3bb","datavalue":{"value":"https://doi.org/10.1145/3001835","type":"string"},"datatype":"url"},"type":"statement","id":"Q5278205$392128CB-3161-40D9-B65D-69DC5DFFB664","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c3b3d056cbf22429ce20ec29a8cffd3f9829cf24","datavalue":{"value":"W2582211829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5278205$B3DF6FBE-9763-46E3-A8CE-5B96089160A2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278205$B6CA2E13-A999-4395-B4B0-24544B1B6DBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cd835cd92b4ffb8a8dc9181c7068cd47877b025","datavalue":{"value":{"entity-type":"item","numeric-id":2265816,"id":"Q2265816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278205$B0A32AD4-2390-40A5-B209-EAF1592ACE67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5f424ccf9c4641bc963cabb88102c4ae22bf96e","datavalue":{"value":{"entity-type":"item","numeric-id":1959381,"id":"Q1959381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278205$BCA011EC-60A9-4F42-9886-13005D9E8FD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e23b3752cbc4c769b60c95f20472d78f8e5e76f5","datavalue":{"value":{"entity-type":"item","numeric-id":3003330,"id":"Q3003330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278205$22B41017-F4C1-4F28-9EA5-F5A089A67311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7071eb8212d7883f252c9453af587af605bb1575","datavalue":{"value":{"entity-type":"item","numeric-id":3637157,"id":"Q3637157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278205$0615A45E-0A97-4B7A-853F-83FCC7D3FE45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278205$DE659B88-CD2E-41EC-80F4-D516AEE7F1A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"654ba11c0fb21df799c53959d6859360f896b833","datavalue":{"value":{"entity-type":"item","numeric-id":3166221,"id":"Q3166221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278205$A71EF65B-3234-440E-B912-8623B510065C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d282279ed10065867947540e184390ea8509d545","datavalue":{"value":{"entity-type":"item","numeric-id":1575132,"id":"Q1575132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278205$A4AD8830-6166-4B81-9417-32B03723418A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a156d0e955d918a0cf7c3031785e80a3fc845ba","datavalue":{"value":{"entity-type":"item","numeric-id":3077955,"id":"Q3077955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278205$6761BF6A-8011-4DF9-AEC6-C838C88595BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5f356e759f433be7e2b97f8a85bc8aa6050368e","datavalue":{"value":{"entity-type":"item","numeric-id":2946665,"id":"Q2946665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278205$E9FD6E7A-0185-4140-8E15-D0ADFFACAE26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32dcb19e5ef5b6a802e39b06593342561643f7c9","datavalue":{"value":{"entity-type":"item","numeric-id":1854521,"id":"Q1854521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278205$AC021919-A590-4A82-B8A4-4FD5725634AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15f66b4844bcb79a520b665f58fdec673994d537","datavalue":{"value":{"entity-type":"item","numeric-id":4393480,"id":"Q4393480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278205$5D845BF8-7BCD-4E52-A15E-9D2A9B1DC093","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":"Q5278205$DE362DB8-2544-4627-BDD4-44FA80C2DF0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae35b42269b65df7a1c59338bf97c0ea301c5c81","datavalue":{"value":{"entity-type":"item","numeric-id":2488567,"id":"Q2488567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278205$9749F5DA-2592-4313-BBC8-3C4EFB2470EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c3f72e4cfa0d440af72fe380c939fa418d344db","datavalue":{"value":{"entity-type":"item","numeric-id":3666827,"id":"Q3666827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278205$B4D5B9B5-05EC-48CE-9CA4-5074C08156A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"869a15415c06ddee7a0a734443b0523101f64181","datavalue":{"value":{"entity-type":"item","numeric-id":2269134,"id":"Q2269134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278205$767BF751-0FF7-42F7-BE5A-1AB7D5B75DB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"269af113feb3632279464e025fd9f9d59e022e9e","datavalue":{"value":{"entity-type":"item","numeric-id":1855229,"id":"Q1855229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278205$439D9F84-C054-4D35-981C-0128877DB672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b41120a1aefb8ef4531db2ab097b9e99aa7ccb9b","datavalue":{"value":{"entity-type":"item","numeric-id":988571,"id":"Q988571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278205$CE8EA12C-AA48-45D9-9E17-03E320DF1AD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1caddd34f077d456b01045d3541e659029d97320","datavalue":{"value":{"entity-type":"item","numeric-id":1591157,"id":"Q1591157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278205$DE5FF02C-5283-4734-B9E2-EDDE8079890A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23b008c640b2d8061e30defcaaf98e0ace1773df","datavalue":{"value":{"entity-type":"item","numeric-id":5339289,"id":"Q5339289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278205$78E596D6-7D42-4700-BB30-427043D3CFA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b734e6760bbdd08ae5a1fc852d30b434587c57bb","datavalue":{"value":{"entity-type":"item","numeric-id":3864500,"id":"Q3864500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278205$C4970EE7-8F22-473D-9CF8-0F235C281DB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab925dbc0396f91a56f506bbdb660794059c822b","datavalue":{"value":{"entity-type":"item","numeric-id":2799205,"id":"Q2799205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278205$E6C35764-3214-4244-A06C-309806A19C00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6be9e522a8a382b3a3dd054801106426e94ba6d","datavalue":{"value":{"entity-type":"item","numeric-id":631087,"id":"Q631087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278205$7D107AE6-DC45-4E52-A222-22B522A21603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fadf047eae02acc752fd99fdb0f376c7d3dbf224","datavalue":{"value":{"entity-type":"item","numeric-id":3646173,"id":"Q3646173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278205$513484B4-26B7-4573-A614-9DD746B2BB53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4378df8407971ba463bb1352c293bfa851187fd6","datavalue":{"value":{"entity-type":"item","numeric-id":2800418,"id":"Q2800418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278205$8BC581C4-BE99-42C9-8048-634FF8AABBD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee42b715fe6c2a1c46894843c38d4a3b91c6dac9","datavalue":{"value":{"entity-type":"item","numeric-id":2890211,"id":"Q2890211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278205$6699DD7B-CE41-49E2-96B2-36E85D23D992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52872a24b45453cde8887eb110be542aaac2e7ae","datavalue":{"value":{"entity-type":"item","numeric-id":393137,"id":"Q393137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278205$7868D58A-8FB7-4532-9967-0C2FD2352891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04fb702774e8379a072aabd3073f1f729a4f9458","datavalue":{"value":{"entity-type":"item","numeric-id":4354427,"id":"Q4354427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278205$780D50C9-E511-4D0A-B0D6-1894CFB54A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13405418b07c06902ae92c07b0e7a0f3676cc9f7","datavalue":{"value":{"entity-type":"item","numeric-id":5892171,"id":"Q5892171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278205$EBBA1B89-3E85-4B45-B9E1-CD780379740D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35e807ca0d12053bab51b75bb8a7e28c523159aa","datavalue":{"value":{"entity-type":"item","numeric-id":3246315,"id":"Q3246315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278205$2B649698-016C-4440-9BE9-60DDEAE927BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cdce0ec559ff09266887ff88222ddf5e00daee3","datavalue":{"value":{"entity-type":"item","numeric-id":3524254,"id":"Q3524254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278205$66C6CD09-97BA-4C3D-8206-AD9AED35C0FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a6550ec5d8cdaf90918aaf8a3cc7ce574778029","datavalue":{"value":{"entity-type":"item","numeric-id":847262,"id":"Q847262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5278205$2F9279A4-7809-4188-A01E-F1F0547899DB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecf30c55df55bc0d70b3bd9832b01f6049ee98c4","datavalue":{"value":{"entity-type":"item","numeric-id":2799205,"id":"Q2799205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd1f001ebacb39994754d289bd2958c2b86ffa0e","datavalue":{"value":{"amount":"+0.8771502375602722","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":"Q5278205$4B08898B-D342-44E5-8205-323121D5C8C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4edc491f35e560ebfd55a4f75425246989539c2","datavalue":{"value":{"entity-type":"item","numeric-id":3623013,"id":"Q3623013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9b275082eb66fcb8c0d0a8627e996f1275927ea","datavalue":{"value":{"amount":"+0.821033239364624","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":"Q5278205$DDEAE9E3-38C5-42B3-81CA-9C444D28D701","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":"c723430d89a87283fe56750207e4f52d9c1479af","datavalue":{"value":{"amount":"+0.8087167143821716","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":"Q5278205$EF9D0BD3-B0C1-43EF-B49B-F1B8201561EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d86aa90385bd2bf7d2e1383b2f033c4479d0589b","datavalue":{"value":{"entity-type":"item","numeric-id":2870113,"id":"Q2870113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"715099df44e0e76ab8f840f016f3bbdec14cb135","datavalue":{"value":{"amount":"+0.8054068088531494","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":"Q5278205$4511B66A-3CE7-4C8B-926F-16F5C405B8EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab234acaf5c68faf52640a6c31bd122fdc22d598","datavalue":{"value":{"entity-type":"item","numeric-id":3646173,"id":"Q3646173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ce5cf52a53249272a2027ed4f711b89488313e8","datavalue":{"value":{"amount":"+0.792497992515564","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":"Q5278205$7338C201-B4C8-4E88-9ADF-F23EBA972D6A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Parametrised complexity of satisfiability in temporal logic","badges":[]}}}}}