{"entities":{"Q266863":{"pageid":268630,"ns":120,"title":"Item:Q266863","lastrevid":60595980,"modified":"2026-04-10T17:56:51Z","type":"item","id":"Q266863","labels":{"en":{"language":"en","value":"Extracting unsatisfiable cores for LTL via temporal resolution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6566305"}},"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":"Q266863$0A79E513-9704-4E60-9EC0-1F75EC0A02B0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"98b1e48df6527ecff126cae9c0505e0a6069e70d","datavalue":{"value":{"text":"Extracting unsatisfiable cores for LTL via temporal resolution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q266863$F7A0BD8D-998F-4D67-9694-EF01AC14F0D6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8c0f90671f37590df7fc2cdf6301a270656c5c5e","datavalue":{"value":"1338.68170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q266863$07469764-5E0C-487D-ADDC-0345B120D412","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":"Q266863$43336137-8B04-4F7B-9BA5-FA4B2CCA6E0D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266863$1772454C-761E-474F-A562-38509000A479","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"64bf554456e45f50d4461f4a22c88ea8b86e4044","datavalue":{"value":{"time":"+2016-04-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q266863$ED41167E-85E3-4E9F-9EE6-70A527668CE9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bafe7fea7559b87507047ca4d68bea83ef6f8ccc","datavalue":{"value":"https://arxiv.org/abs/1212.3884","type":"string"},"datatype":"url"},"type":"statement","id":"Q266863$80805339-F5CF-4212-A20F-49D50C92EC26","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q266863$27724F3A-8772-4720-997A-62D747F4D2A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q266863$FC320FC0-1035-4221-A981-6F485550EE0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q266863$CEA23680-903B-48BE-9566-090BE1E224FF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d73f06018628a33ab1fa2dbe2c204a27e1f62cde","datavalue":{"value":"6566305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q266863$2CB49B31-D18D-48AC-9788-7701DA2C0EAA","rank":"normal"}],"P1463":[{"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":"Q266863$AB44B349-983E-49F5-9667-23DB6AAD514A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"eccc799476137f37e3c20b885e5f749810f32101","datavalue":{"value":{"entity-type":"item","numeric-id":26577,"id":"Q26577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266863$8430B002-1E3D-4B59-887A-992BCDD54589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a53c60b4a6705fea773760bf26d1cf153101d6dd","datavalue":{"value":{"entity-type":"item","numeric-id":26575,"id":"Q26575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266863$BF87E66C-3B8A-4277-B976-FA1BD9E4C896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"257ad6d8f8a34d3b938ce0839d1288673e8cec10","datavalue":{"value":{"entity-type":"item","numeric-id":18659,"id":"Q18659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266863$10F30082-BA41-43D8-8A28-7C299176EA03","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":"Q266863$DADD83FD-E3F8-47FC-9605-39C3E8189A5B","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":"Q266863$88A0F823-2DE1-4BA5-A0D4-14CB4DE39C0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9610c11cc8a90dd542e7dbbf77c0e56d86b59abe","datavalue":{"value":{"entity-type":"item","numeric-id":23846,"id":"Q23846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266863$98A8E236-9637-431E-A58A-951C961EBBC7","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":"Q266863$F375D8A6-4EF0-412B-AB8A-EE392D7A0EF0","rank":"normal"},{"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":"Q266863$6FA2690F-56C9-47ED-8524-C3E694B53602","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":"Q266863$578DB532-9093-4C9A-BD9A-C1D3958D80E5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ffb9d43fc94779e25264b75aedc08ba3dcc27066","datavalue":{"value":"W3099891702","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q266863$68D4D80D-98C6-41EE-8511-4C9D5FAB445D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"026283316668ea2e166499e502bc3070d1ecd884","datavalue":{"value":{"entity-type":"item","numeric-id":5178991,"id":"Q5178991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266863$128E48FD-A382-44B7-A8E3-E31191108AE9","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":"Q266863$C47B68DA-8F85-4DA0-B89B-99EF098F0781","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":"Q266863$1724E897-DDD4-4520-8F5C-BBFF2C1384E5","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":"Q266863$A79FE995-9C29-4508-A256-DB345DC0A4C8","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":"Q266863$38B593BF-97FF-4507-A0C0-B909C116B89A","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":"Q266863$7CE742F3-0946-4A19-B7BC-03FDD058CF64","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":"Q266863$4934282C-D1B4-4078-BB7A-009AE4E745A9","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":"Q266863$5B06599C-3CED-4143-87B9-5CA40A797F80","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":"Q266863$C78B0AAF-8F31-4E07-AF7D-7DF673E50AA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e2bc010ca9e9e167d9f77939dbf585500666510","datavalue":{"value":{"entity-type":"item","numeric-id":3007680,"id":"Q3007680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266863$AD1472E7-1266-4573-8B59-40CB6B92B1D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9989385b6d21787669f1b90c6937d74a8a738ea","datavalue":{"value":{"entity-type":"item","numeric-id":5310676,"id":"Q5310676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266863$A4BAC748-8270-4F23-A809-275EC560DFFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b0166ce76d2ce3cfbf78b55b964d693319214d9","datavalue":{"value":{"entity-type":"item","numeric-id":2741521,"id":"Q2741521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266863$90F225C7-DC53-4217-848F-0CBD173C4550","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":"Q266863$1179EBEE-31E8-4F9C-ACF7-1782525FABA0","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":"Q266863$B5010ACB-6D97-4787-A996-668CAC417804","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":"Q266863$02751513-2B27-4634-B8F5-F0BB21876DD8","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":"Q266863$784ED349-EB89-49CF-B22A-9DCF3D692B97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"378212bde2f853c9fc1900b4f7d4451454b04df3","datavalue":{"value":{"entity-type":"item","numeric-id":5452707,"id":"Q5452707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266863$4E2A2EAA-5B1C-4AA5-922E-CF32F9FBB6D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f42221eafb59709a6d2964c137b17785812806c0","datavalue":{"value":{"entity-type":"item","numeric-id":4885877,"id":"Q4885877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266863$6EA2A08F-4B61-4746-B9A0-ECF484C11E7C","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":"Q266863$0973BAC5-009C-4C67-A2D4-44D66F8FF95D","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":"Q266863$082371F8-5F46-4ED7-9EA6-7A35B5A2D92E","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":"Q266863$8DBABE60-2794-47E4-8809-5BB80399DDEA","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":"Q266863$1F0AA2C7-4729-4679-A5D0-935719CD8F24","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":"Q266863$0E4DB89C-7C13-4A92-8000-8EF59D138A61","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":"Q266863$3C613CB2-0D4E-4FBF-9363-7760BD303FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a1f27d5e14d456aa8b6031d92ee27db277fbe0e","datavalue":{"value":{"entity-type":"item","numeric-id":3656880,"id":"Q3656880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266863$AA0CD8CA-5669-4039-B42B-F8214B705416","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":"Q266863$662A7F53-7A8C-4CD6-9CC4-3A59132078CB","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":"Q266863$630E1997-D67A-4820-AC6E-39C82C9B21F4","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":"Q266863$23ECACCF-1C29-44AF-94D0-F714E2D4353F","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":"Q266863$6DA520ED-6F87-46D1-B438-74CD670155D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2a20135e39458ab90aba74357e707069bdc3754","datavalue":{"value":{"entity-type":"item","numeric-id":3568221,"id":"Q3568221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266863$89C6EADE-D98D-4C66-A498-CDC7645273D8","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":"Q266863$D6BB622A-7E0F-491F-8EF9-FB224B509A61","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":"Q266863$CBC2B167-C84B-413F-AC05-12FD37E3A0C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e3357d036dc775168d04915d1617ec768762023","datavalue":{"value":{"entity-type":"item","numeric-id":5391521,"id":"Q5391521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266863$F890CF4A-6536-4A32-8C02-EC2F7D224D1D","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":"Q266863$B660899B-2C28-42DE-B913-4A313C77AA2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5228823855efb83bd72957df80935faa3afe5b1a","datavalue":{"value":{"entity-type":"item","numeric-id":4494388,"id":"Q4494388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266863$21F8269A-2EFD-4508-AA0A-FD404B6ABB56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cca8012b9326308a2cafc256eeec2b7569fdd7c","datavalue":{"value":{"entity-type":"item","numeric-id":1677431,"id":"Q1677431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266863$478DBFAB-3630-47A0-9343-4F0493580C23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f127373c97d01a6ac57c65f762fcc6d06ae7e0c1","datavalue":{"value":{"entity-type":"item","numeric-id":5312943,"id":"Q5312943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266863$BA289243-219D-47AF-B44F-D31F9A18947C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b87722f4e08ce198f28850e6be813919b3884019","datavalue":{"value":{"entity-type":"item","numeric-id":1906037,"id":"Q1906037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266863$D856A8A8-AF95-41AD-80C2-397CD24F39EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"532d00baba3db8efca7b5c7c2b1e32a4dfd42f0d","datavalue":{"value":{"entity-type":"item","numeric-id":5942575,"id":"Q5942575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266863$611DE266-61B0-43CF-AD68-0CBD45289F72","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":"Q266863$EDE54F0B-3A0B-4600-86A7-F3039D999A9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b4caf38d1ea0bcd43c14e944f03b1e72e20f485","datavalue":{"value":{"entity-type":"item","numeric-id":479815,"id":"Q479815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266863$45B90BE7-552E-4D15-B38A-F55BC82EB0B0","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":"Q266863$4C41413A-78D6-4501-B817-3AA9EF3F2958","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":"Q266863$96EBFB68-2D9B-4CC9-9D1E-2EF40ED677A6","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":"Q266863$34C1705B-5DD8-47E6-9B51-63430FE45106","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":"Q266863$E337F61E-4EAA-4B7C-9855-DAE4DA4B6ACB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9b6987454091fe1e6054a433ff8491840d80410c","datavalue":{"value":"10.1007/S00236-015-0242-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q266863$5859B6A3-F7AE-4F71-9EEF-72AD50711643","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":"40b4d208622c88c4ce30a46b23bdfbbec71f94b1","datavalue":{"value":{"amount":"+0.9098272919654846","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":"Q266863$82885E67-828D-4BC0-8482-80B9CF444249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7e18286da20d4d3b4fa58395724f014efc35546","datavalue":{"value":{"entity-type":"item","numeric-id":507378,"id":"Q507378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa3bb8af25a9459c141443c2cd00017e2463b153","datavalue":{"value":{"amount":"+0.8964970111846924","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":"Q266863$C6692579-D8F5-4BDF-8C4A-1465898B1097","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":"1b328a4643923011710e58fbb077425af831b243","datavalue":{"value":{"amount":"+0.8826705813407898","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":"Q266863$852EBB12-386A-4470-A69C-74B816FA6F7C","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":"6e3716ac7861010c720f89c8ab6745311b7ca651","datavalue":{"value":{"amount":"+0.8651902675628662","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":"Q266863$27198E56-6572-46A9-87DD-DD2354402B80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27786181a7a6d42b0019e979b09ed156e1345b4c","datavalue":{"value":{"entity-type":"item","numeric-id":2996914,"id":"Q2996914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"038c80c941e6e2f6b836987c5cd8252414cf7508","datavalue":{"value":{"amount":"+0.7459405064582825","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":"Q266863$233AAEEB-ADA1-42AE-8373-BEA587D62C3B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Extracting unsatisfiable cores for LTL via temporal resolution","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Extracting_unsatisfiable_cores_for_LTL_via_temporal_resolution"}}}}}