{"entities":{"Q507378":{"pageid":509145,"ns":120,"title":"Item:Q507378","lastrevid":62359698,"modified":"2026-04-11T05:33:23Z","type":"item","id":"Q507378","labels":{"en":{"language":"en","value":"Enhancing unsatisfiable cores for LTL with information on temporal relevance"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6680835"}},"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":"Q507378$7B464D69-BA1F-47F9-958B-383317A147F3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7488a159a7cbe5ac24a0620045f2c8551a34014e","datavalue":{"value":{"text":"Enhancing unsatisfiable cores for LTL with information on temporal relevance","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q507378$EA85EDA9-4B74-478B-947E-0C3366315AE7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1f0ed6d4cf8778715bef7d9df8b1e66257ca8c84","datavalue":{"value":"1356.68146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507378$927CBD00-96E7-45CB-8F66-7319F984946B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c48be433893868e131def341ae13b90f7ce04db3","datavalue":{"value":{"entity-type":"item","numeric-id":266862,"id":"Q266862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507378$6B34CA9A-E04A-4470-B49B-118A11817D3D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507378$CAF01E23-9F45-4062-8373-FC0FB9D7FC4A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"69224595960101be6ec21574e4c403135d7942f5","datavalue":{"value":{"time":"+2017-02-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q507378$D4BDAD52-8088-4775-BF1B-9A6C5A9C9211","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e1adfd9e4b0d92ccc2d6a41d3f5682c36b63ee1b","datavalue":{"value":"https://arxiv.org/abs/1306.2694","type":"string"},"datatype":"url"},"type":"statement","id":"Q507378$0DF731FA-179C-4A22-9F10-79D21535F55E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507378$FF86ED21-B94C-415A-8793-18B3B167CA5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507378$6B802414-8DB5-463C-9E29-3B34D6139D18","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"17b8a38a5a1c1c67ff78617770a19c4b0c4c9d74","datavalue":{"value":"6680835","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507378$CDF13509-73DA-48DB-9E11-0489FAB12EE0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85a839a7ba93b7be8ef2a01122562abb5ca55aa9","datavalue":{"value":"LTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q507378$E8C03276-CDF0-427F-ADFB-2477BC5E4217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef97bdf3760013ad46b9dda566d1f37df50f5a6f","datavalue":{"value":"unsatisfiable cores","type":"string"},"datatype":"string"},"type":"statement","id":"Q507378$FA22EC91-D2C7-4ECB-9DB7-91A2631EB553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc5ca6d9a779b252b72894fc0620e968a0761828","datavalue":{"value":"vacuity","type":"string"},"datatype":"string"},"type":"statement","id":"Q507378$ACB85C00-98D3-4721-928D-7BD8D193638C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42fbe7b8974cd7b1ee575530a886ee5b49b43806","datavalue":{"value":"temporal resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q507378$B493209E-EFA7-4585-8D68-AE685A38FF16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78a25c5bd5af06341c6f13e4a23bc8f9f5e9f658","datavalue":{"value":"resolution graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q507378$5EBF82F3-BF2D-4A03-95F7-6B547A5CB147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1950d7192e5e8c34dac38890154ed59bab821e7","datavalue":{"value":"Parikh images","type":"string"},"datatype":"string"},"type":"statement","id":"Q507378$ABC4A9F1-F6B8-4D0D-8E38-6D7CD4A67A07","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507378$21104591-5230-4BAE-826C-057263D2E902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6f52b2fee403cf4daa690005b8ad8a9d954b59f4","datavalue":{"value":{"entity-type":"item","numeric-id":31452,"id":"Q31452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507378$5C9809BE-3FC2-414E-AA76-90A5BD652685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5bf9d51a81fde970f73763c1b7d63013d05516a","datavalue":{"value":{"entity-type":"item","numeric-id":21213,"id":"Q21213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507378$64C27477-B783-4078-A794-0B0429685713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"351376af9337c9358d4b7714d8543cf671d9a4b6","datavalue":{"value":{"entity-type":"item","numeric-id":26576,"id":"Q26576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507378$25103D57-2CEC-4D0C-9BC0-14E1EACFF969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ce0f23a1450b88166e84d8a844a22644577f2bd2","datavalue":{"value":{"entity-type":"item","numeric-id":16271,"id":"Q16271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507378$DA302EE5-F30A-41D6-8C6D-A4481A3D5C9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ce2de31531be11f23bf0450911020aef11d3087f","datavalue":{"value":{"entity-type":"item","numeric-id":29415,"id":"Q29415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507378$E71EDAE7-0B82-43AD-8944-F1152BA92EA2","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":"Q507378$B940409E-52FC-492D-89D4-AD6982514C69","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f7dd9190ecafa1328c190bbe9ede7cb3e9cfbe9e","datavalue":{"value":"W2169191644","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507378$36670CDE-554D-4FA7-BA0B-DBB2DF880AF7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4dca34619e8cf4145d48a579d5c6a97af713e05","datavalue":{"value":{"entity-type":"item","numeric-id":4992524,"id":"Q4992524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507378$9CD2263C-CEA7-44BD-A899-6F3E0AFCC7B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b41054324accda6052718745be74c36c3bc0fd8","datavalue":{"value":{"entity-type":"item","numeric-id":433349,"id":"Q433349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507378$546C0C83-8FE7-403C-B44D-D4144074D360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"351e6790b87d174878f83df2eb0842ae7e7104f3","datavalue":{"value":{"entity-type":"item","numeric-id":4025905,"id":"Q4025905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507378$75151E87-073B-4AF3-A51D-6B875A30BAAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f162e20dc2fb76efac3e52f404a7c7a69ba6016b","datavalue":{"value":{"entity-type":"item","numeric-id":2996914,"id":"Q2996914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507378$4A7102D7-6B9B-4565-8837-F398EEBAF267","rank":"normal"},{"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":"Q507378$0A5367B7-06F7-405D-B168-B1BD0EACC550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8763ab6490670c5d0c807dbcb006e32ee088a12","datavalue":{"value":{"entity-type":"item","numeric-id":5943261,"id":"Q5943261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507378$55F188DB-861E-44F6-80C2-8EDC19603393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f13cbf57db59a7ee1ac7dbadb613173d3cb2ded","datavalue":{"value":{"entity-type":"item","numeric-id":5756614,"id":"Q5756614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507378$EB7A8AF9-26C2-4F0F-A846-4A628B6F7339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"852f71178dbc9d0684492ae16efe59e7249b1c9c","datavalue":{"value":{"entity-type":"item","numeric-id":5757229,"id":"Q5757229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507378$2079A62A-1C9C-4389-AD97-2BC845227E77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c85b13896b2a68b9bf78b69d462e062a7e049520","datavalue":{"value":{"entity-type":"item","numeric-id":5900691,"id":"Q5900691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507378$0B36E4C9-4AD5-4203-9BA8-2FE15753CD9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1372c25eacd52e889e17300f70d330595cb52ac9","datavalue":{"value":{"entity-type":"item","numeric-id":5308426,"id":"Q5308426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507378$020AE3B7-AEB4-49BB-97E2-A9A34998FCE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4ac952de32b0509166650e0bbd594e8feb5eef5","datavalue":{"value":{"entity-type":"item","numeric-id":3636856,"id":"Q3636856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507378$6FAA0963-8965-4360-A337-A798B8F983E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"363df53d3addb1810ec9823448e01fcd5b6e0581","datavalue":{"value":{"entity-type":"item","numeric-id":5308387,"id":"Q5308387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507378$C9308ED0-FC8E-407A-9088-EA32117CD0A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d52194a53e424e57cb8349dbef054a5b42933e63","datavalue":{"value":{"entity-type":"item","numeric-id":266863,"id":"Q266863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507378$FF7ADFFF-C58C-4861-A8F4-41226666D800","rank":"normal"},{"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":"Q507378$032BB9C6-D108-4AD7-A869-FBF208B7399B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2791adf62fcd6917e0cfb6ca40d21416a8677a76","datavalue":{"value":{"entity-type":"item","numeric-id":5738910,"id":"Q5738910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507378$F91C5727-4D8B-4F13-928A-0CE4848BF7FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fee4366155d183781470c4665ac1b93ea07de3ba","datavalue":{"value":{"entity-type":"item","numeric-id":1383357,"id":"Q1383357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507378$53B9100C-B99B-4098-8E74-1DB97A78D292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b330f5cd7a65a8735b5cd88f9d99cd7626efdb5","datavalue":{"value":{"entity-type":"item","numeric-id":4012170,"id":"Q4012170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507378$5EAA12D0-ED73-4006-B410-300183157A06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f541623726371fa1e6609e8c2eef0b9f81a4c6c","datavalue":{"value":{"entity-type":"item","numeric-id":4804909,"id":"Q4804909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507378$0EE7A892-060C-4413-870C-2EAC141375D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd5c6e7b0eb37ef56f1e2077a4894dc6f294127a","datavalue":{"value":{"entity-type":"item","numeric-id":5325852,"id":"Q5325852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507378$180A6BCC-0F46-4262-BD5C-EEF53F41C935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"212915fd370f63215c162b6371370a744ceeadf1","datavalue":{"value":{"entity-type":"item","numeric-id":5429344,"id":"Q5429344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507378$7F4BEA9D-9AAF-4614-B73B-C2E5EB19493E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3043584a63fc36f34b1f253742062e5fc8b4f9b1","datavalue":{"value":{"entity-type":"item","numeric-id":1102126,"id":"Q1102126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507378$D30F73C2-4E5F-4C70-9719-FA2C00D34B7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a062c7c896a22ba205263b316e2103cd82761158","datavalue":{"value":{"entity-type":"item","numeric-id":1124378,"id":"Q1124378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507378$8690E528-992D-41DE-88C5-5F46B0EF9845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5cbb3267a8d61ce8ea7cfed345a2e1d0a5908bd","datavalue":{"value":{"entity-type":"item","numeric-id":2996128,"id":"Q2996128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507378$28A02A22-7E90-4E39-A0F3-295EBC6CB8E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507378$364C7F00-E0D4-4C41-9C8E-EBA0128DE022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26b89896d12727ad637f84067fae27b2c42f93ee","datavalue":{"value":{"entity-type":"item","numeric-id":2760241,"id":"Q2760241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507378$113CC935-91F4-465B-B5A0-9981E1C93961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12de8834b4345a0a8992c9bedff5f82b9abe2d65","datavalue":{"value":{"entity-type":"item","numeric-id":5309957,"id":"Q5309957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507378$5CA81F4E-669B-4967-B917-D21F1B21A084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"519c79ee653ba8bff4080274509ed369064af9a2","datavalue":{"value":{"entity-type":"item","numeric-id":3523066,"id":"Q3523066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507378$C26C6468-ED81-489D-BDA9-65026890C404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d04800089a50be71ae129fd64747fa94ad4d8be","datavalue":{"value":{"entity-type":"item","numeric-id":3559281,"id":"Q3559281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507378$8F440653-115B-4BF6-8F5A-D731D5D8BE09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"309a715ecfe3fe3e4ec0e698ae13dce021cfc93e","datavalue":{"value":{"entity-type":"item","numeric-id":2724150,"id":"Q2724150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507378$5219E546-7112-4388-95D6-E3A1F97632DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e676da38d777563663597edd24cfe10db73770b","datavalue":{"value":{"entity-type":"item","numeric-id":3490999,"id":"Q3490999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507378$E7310433-A1DB-47EF-8F48-70EFB38F780B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3651c6ae0eff448b9c689ee43459c1ff0bf16e9","datavalue":{"value":{"entity-type":"item","numeric-id":5210809,"id":"Q5210809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507378$0EE764CB-8023-4688-B7B9-84CBC9E9CE7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"359f749287a157af61dd6c0648616c84c0050d06","datavalue":{"value":{"entity-type":"item","numeric-id":4952309,"id":"Q4952309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507378$7CC6634F-1C8F-4A33-8A8C-B8FB82C25848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2c16348d2365fe5ff2367aad1fcee0c6c204b10","datavalue":{"value":{"entity-type":"item","numeric-id":507378,"id":"Q507378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507378$D25831B6-2C72-4909-AB5B-476D637B8C9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d46d53aaa78e4e1f3286eef514e163c5ea4ffb6","datavalue":{"value":{"entity-type":"item","numeric-id":5534924,"id":"Q5534924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507378$9240D3ED-A732-4FBB-9ED2-BF6722127797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56aa7a343db226e6c7da9bd7db585a412df58862","datavalue":{"value":{"entity-type":"item","numeric-id":5678435,"id":"Q5678435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507378$037D6BB1-D8DC-4ECA-A08A-E835414B7077","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":"Q507378$BB88CAF9-57EB-4527-B09D-9CBA023A37A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e65515986f2572b67c0d20d1d5c16dc71b3862c3","datavalue":{"value":{"entity-type":"item","numeric-id":801682,"id":"Q801682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507378$8B6AD3A0-B902-4E42-AAF6-77651C3ADBCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d079b47cf1ba2d598f964b28ddec583cafa7821","datavalue":{"value":{"entity-type":"item","numeric-id":1088653,"id":"Q1088653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507378$1B9DB0FB-1CE6-49DD-9E15-FD07E58D55C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"008723b33cb14bbda59226503d753d137dc6f8ef","datavalue":{"value":{"entity-type":"item","numeric-id":1098330,"id":"Q1098330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507378$E692255F-FCD6-4BD1-AAA6-E8EA33DC0190","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":"Q507378$13D77308-B74A-4F58-9BDD-0221CE580525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507378$5030DEBA-DAE8-4228-B788-0F6ADCF5CB3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b1137cf78c4cad0e217f70ec321f2a593915490","datavalue":{"value":{"entity-type":"item","numeric-id":2751353,"id":"Q2751353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507378$54CB8B2C-9DBA-43E6-BFB8-EBB091667C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e1bac099fbe4678082a91d992b4ab581e8ee2e8","datavalue":{"value":{"entity-type":"item","numeric-id":4421285,"id":"Q4421285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507378$B8A96B4F-A666-467A-901A-35DA44A15ECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8d5e2e4d2538ce160b4da1a8a2f06f132f13f47","datavalue":{"value":{"entity-type":"item","numeric-id":4647556,"id":"Q4647556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507378$484F502E-9C67-4DD9-BF0C-54776EC569C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507378$D9FACD85-8286-43F1-83FF-789EC93F0467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27acd313ec28b40bb8436a9f5288c25efc3ff5ac","datavalue":{"value":{"entity-type":"item","numeric-id":5200060,"id":"Q5200060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507378$98EE89D9-7355-454A-9818-385A007B4421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c0b0a556d27c9aedb4fe4e3d78ab28860df7dcb","datavalue":{"value":{"entity-type":"item","numeric-id":4914313,"id":"Q4914313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507378$545EC685-FE48-42ED-A4AD-F64872EB2CE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7945a177b7df9279d2abc448c4d3d682b8426a2c","datavalue":{"value":{"entity-type":"item","numeric-id":5458321,"id":"Q5458321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507378$D558FB5B-9A0B-42DE-A583-B96F7E677911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3266cf602e4b81412055fec8ee73f4f237700521","datavalue":{"value":{"entity-type":"item","numeric-id":3653523,"id":"Q3653523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507378$EF80EE5C-C9EC-4861-BA9A-E9FDCEFE3CBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507378$88246E57-04CF-4EA0-AD26-D780E7A2799F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a647009c61b812b9dedd06c33e7d154aa982e27","datavalue":{"value":{"entity-type":"item","numeric-id":4941841,"id":"Q4941841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507378$D9850AB4-A10E-4BF3-93A7-CBF953E7B9A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa9aacc2c379e52cdf5a99fdab1f6137b9dbbfb1","datavalue":{"value":{"entity-type":"item","numeric-id":2362206,"id":"Q2362206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507378$836FC40F-F4C8-4F1C-B37C-721BDDDEF341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cf7b506953b41ce62c6bd6e4da3db80f9cc685f","datavalue":{"value":{"entity-type":"item","numeric-id":4583686,"id":"Q4583686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507378$DE0EC8C4-FE43-429A-B8F0-EACB6AD869DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c625dcf0809403f5b84f6d7cdfc8c33766e0658","datavalue":{"value":{"entity-type":"item","numeric-id":2471741,"id":"Q2471741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507378$C8A0CDB7-C54A-4B2D-84F5-A205876EEE4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6aafcb2eb6cfc5dc42790ff126c4e75a14da6921","datavalue":{"value":{"entity-type":"item","numeric-id":5756578,"id":"Q5756578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507378$8A246AFC-1560-4E9D-9A31-996E62CD7AE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a75db9bdf4ecf4e316a158af7db19da7d850d73","datavalue":{"value":{"entity-type":"item","numeric-id":3434726,"id":"Q3434726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507378$B4BA379F-5CA3-453C-8772-3CA9AC59B885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd73ca6e418060dc9aa1dc7053b40ae99fececfa","datavalue":{"value":{"entity-type":"item","numeric-id":5756562,"id":"Q5756562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507378$09442720-CD62-44BC-8A01-7CE1939BB1E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5d16bb0a0e79f0558ff4a248c38b6a8cb68b467","datavalue":{"value":{"entity-type":"item","numeric-id":1881365,"id":"Q1881365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507378$D4C7D42E-83C3-4755-A38C-39042AF78A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"929c7fd6fd4ff61ba771643784b8790660c51746","datavalue":{"value":{"entity-type":"item","numeric-id":2370661,"id":"Q2370661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507378$5DFF6432-AC63-4DB5-BAF1-3B71F7CE34E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8297b84c75fa22e3de1e73486c58c18a143ff25f","datavalue":{"value":"10.1016/J.TCS.2016.01.014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507378$EEB14F87-CC14-4DAF-A0DD-A2E0C6AFC9F6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"779e337747bacebae19017c758daf1aecc1261f5","datavalue":{"value":{"entity-type":"item","numeric-id":4992524,"id":"Q4992524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d285375351ed6d1a528eb1f7128a18dbec268d7","datavalue":{"value":{"amount":"+1.0000004","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":"Q507378$D5366C59-1AB3-4B46-9933-0323DD15C7D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40947bc6b44b23d6d946713e5752a47e78846cf4","datavalue":{"value":{"entity-type":"item","numeric-id":266863,"id":"Q266863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"763a9706e0b1d3120ea8ac3ba72edeff120191e0","datavalue":{"value":{"amount":"+0.9385799","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":"Q507378$CF0D1271-2061-4AA7-ABB1-B1826702B9FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a30b4d55194d040fcea1595b87e24275e383b833","datavalue":{"value":{"entity-type":"item","numeric-id":3400917,"id":"Q3400917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fa84261bf2edf6b2ae6c67d29d40e7088a72f9a","datavalue":{"value":{"amount":"+0.9101871","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":"Q507378$2894AC07-B90E-4BBB-8779-14D94B414C10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54ae42d5f00e21a630d21877709d5f8caba6fbf6","datavalue":{"value":{"entity-type":"item","numeric-id":433349,"id":"Q433349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faa0bda8c93fcf497f476bcfbadc28397d991936","datavalue":{"value":{"amount":"+0.8996312","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":"Q507378$44B67289-36A2-4CE7-A6CE-8628CC496418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f824eeedb981c29192c20ddb9b16f8e6447c86b","datavalue":{"value":{"entity-type":"item","numeric-id":716499,"id":"Q716499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8e07739d4708ca1d1d273f425019e72c442e9a5","datavalue":{"value":{"amount":"+0.85372984","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":"Q507378$6E74CDF8-6A8B-4D91-81BA-91252E5C9D48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c964a0de9d90a23e2357bc2e4c7d91c3a559d651","datavalue":{"value":{"entity-type":"item","numeric-id":2386107,"id":"Q2386107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c025bae77a773adfd3b5dddaecacd555c91297b0","datavalue":{"value":{"amount":"+0.8521385","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":"Q507378$4920D85E-4CB5-44CC-A6AE-B4671D2176B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdbb976e4111f489dde7bd3a7f1e79693bd91bc0","datavalue":{"value":{"entity-type":"item","numeric-id":5151002,"id":"Q5151002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c915641328f6789b8a4e953e8ab0fb8ab5ef910","datavalue":{"value":{"amount":"+0.8498136","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":"Q507378$A83B8073-3E32-4491-9CCE-A3EF84528C54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3322460689d578fd149859be8c1c0e6380cd9056","datavalue":{"value":{"entity-type":"item","numeric-id":1274294,"id":"Q1274294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15b19fa9562fdf725dafff407ea9e7f55d92bd09","datavalue":{"value":{"amount":"+0.84511656","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":"Q507378$0A90D337-7412-4348-AFCD-CB766D2CCB57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a132954b69803bda0e029f18cbec27ba1ef0151","datavalue":{"value":{"entity-type":"item","numeric-id":5357708,"id":"Q5357708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b0d5e15915c5d7c18394d2a72ea1de220db1874","datavalue":{"value":{"amount":"+0.8400978","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":"Q507378$AA5B1458-BD0D-46E9-BACD-F11697BBB4C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2af9800700ffdc6ef4126bb5d4b374332f86ca8","datavalue":{"value":{"entity-type":"item","numeric-id":2754166,"id":"Q2754166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"007ecb2fea0507bb5c9292d8069ce8408b403cac","datavalue":{"value":{"amount":"+0.8369981","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":"Q507378$E4135852-C25D-4278-978E-AED32A1360BD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Enhancing unsatisfiable cores for LTL with information on temporal relevance","badges":[]}}}}}