{"entities":{"Q4634407":{"pageid":6663988,"ns":120,"title":"Item:Q4634407","lastrevid":58312407,"modified":"2026-04-04T16:31:01Z","type":"item","id":"Q4634407","labels":{"en":{"language":"en","value":"Backdoors for linear temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6857819"}},"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":"Q4634407$5FC4727A-7B99-40D5-B460-96D154A92ADE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b623c1c8f1d098ddb7a04b697ef209496e93af26","datavalue":{"value":"1398.68257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4634407$F7E37447-9E14-451A-A569-BCD730DC15CB","rank":"normal"}],"P16":[{"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":"Q4634407$70150E8A-51F1-479F-8726-6B3F75B060C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbca0a8695640e57b3adfafa5a18c2abca385906","datavalue":{"value":{"entity-type":"item","numeric-id":261390,"id":"Q261390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4634407$4603E0FF-A5BC-4451-A62D-F87807122EBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e68bdc0feff7b6ec0f5b320c44ed6bad84aa64ce","datavalue":{"value":{"entity-type":"item","numeric-id":4634406,"id":"Q4634406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4634407$505C2D38-6502-4AF9-A296-72579EE7A3A3","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":"Q4634407$6FEEA340-5FF2-4346-9046-15579FC4A6DC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a7b04a932915a16080ff16768997e390c5868b4","datavalue":{"value":{"time":"+2018-04-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4634407$D71CBA97-FDC8-4452-8F84-2C236F7D47E9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"158f04383247815dba50a0d3ce184fb280c41d56","datavalue":{"value":"https://arxiv.org/abs/1602.04934","type":"string"},"datatype":"url"},"type":"statement","id":"Q4634407$DA7E82E3-9D87-4FB9-B2CA-E2938D59A3C8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4634407$3E941BFF-613E-430B-8B9F-2F6FB27EF062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4634407$3096867C-A26C-4CB3-AE03-0D0BE15A980A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4634407$1476E338-B515-434A-81BF-694C2BF741BB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3507700d792ba5842b7e1ffe179a74d69cf73e7d","datavalue":{"value":"6857819","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4634407$F7602107-5E82-4167-BF45-39B23DB68CFB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4634407$FB979B67-E925-4CE8-B8F1-A302B36C8F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee63604621b6fd9d90b10f19ccdd9c167a66b1b6","datavalue":{"value":"parameterized complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4634407$2B0D8A7A-2683-43FD-8FBB-5CFBDF169A79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66c90c48c1ab2c02d986907d0aa131d14fcd63ef","datavalue":{"value":"backdoor sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4634407$BBB751A2-ED40-4C8F-B520-ED585B6D5B57","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":"Q4634407$AFF43A88-D2E8-4733-9A82-3B09993CAA0B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aba012f819e1bc4adc497fc999552bd65a56bfc5","datavalue":{"value":"W2589788139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4634407$BC3ABCEC-35AD-4245-BBFD-C02903051E82","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"681a64ec7ce107f618e44659014266ae31d2ffc3","datavalue":{"value":{"text":"Backdoors for Linear Temporal Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4634407$EA263B3E-51E1-47CA-B58C-D9F3A2F82BDE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"582b40983c0886c9998a95d4288e173afd3d6aa0","datavalue":{"value":"10.4230/LIPICS.IPEC.2016.23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4634407$15CC072B-E6C8-4485-A29D-56FAE960638D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d37b2017a4737f38a1d6ae2e1720f2e04fc4b9f9","datavalue":{"value":{"entity-type":"item","numeric-id":1725638,"id":"Q1725638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd9ecab87f9c34e6de6be530c7ff57a8fefb51c1","datavalue":{"value":{"amount":"+0.9996585845947266","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":"Q4634407$435A0CB5-ABEC-46EA-92A8-C05E18652F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f34c1f42d4191d8923d70130e6982526f6460bf","datavalue":{"value":{"entity-type":"item","numeric-id":2908542,"id":"Q2908542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2170478e6ad64ea5bd8105ca03f13e12c192ebcc","datavalue":{"value":{"amount":"+0.7757700085639954","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":"Q4634407$9C3CBABC-EF39-4082-AECF-4D4164856DC3","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":"98dfd895099d4d44f086f89fe1ff404e20571ccd","datavalue":{"value":{"amount":"+0.7707784175872803","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":"Q4634407$5E802C06-F522-4531-8C87-0DBBB154CE64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f56b10768cd1df7681a372aa9bfe8ace97fc4f74","datavalue":{"value":{"entity-type":"item","numeric-id":2818000,"id":"Q2818000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed0687331065bcfb63a1e06e55e82a7cf21c0e35","datavalue":{"value":{"amount":"+0.7664429545402527","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":"Q4634407$F03E9EA7-EA3F-4A6C-A66A-872A9E255B40","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":"4f4ca2101ecfaeafc81b268a4f8cfe650f85ec62","datavalue":{"value":{"amount":"+0.7655497789382935","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":"Q4634407$1501EF41-D928-4B57-8203-DB8F22FB7C8F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4634407","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4634407"}}}}}