{"entities":{"Q3400917":{"pageid":3411620,"ns":120,"title":"Item:Q3400917","lastrevid":50889935,"modified":"2026-01-15T14:45:24Z","type":"item","id":"Q3400917","labels":{"en":{"language":"en","value":"Towards a notion of unsatisfiable cores for LTL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5663809"}},"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":"Q3400917$08547D2B-FA8B-45CA-9841-9FD0D93B7FBA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3f000ef1ff1721056e492eb678b7a65ba3b1603a","datavalue":{"value":{"text":"Towards a Notion of Unsatisfiable Cores for LTL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3400917$ECE02F83-4EB5-44E8-8924-AACE9E480432","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e5869aa433b0fbb24f0810d632ba0648718a0bea","datavalue":{"value":"1274.68203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400917$8EFEFD63-B089-414D-87D6-57DF60EF7B8B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"774bb348c1914750882539e4181ea373bf9e9f17","datavalue":{"value":"10.1007/978-3-642-11623-0_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400917$CB8B427D-28B3-4918-B55F-65C4C6EBA462","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":"Q3400917$EDEA824F-38EE-43DE-A46A-287AC793BBF2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dead0a4f465a856a9668a57715bd30d3d7951a4f","datavalue":{"value":{"entity-type":"item","numeric-id":2894546,"id":"Q2894546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3400917$1180B518-E994-4327-BBA6-D8FB27F55263","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"12a65b7d3eabbb46878e927de404f33a8ce894af","datavalue":{"value":{"time":"+2010-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3400917$7ABD1993-67D5-47CB-B6E1-80193918D57A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400917$E731B81E-AFD4-40AB-8AC7-5ACE7FE8DFE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400917$D1832AB6-9986-4011-AF1A-9D08AB490922","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"690e20dd2c0d3c2582f3775e143f007d6bb81899","datavalue":{"value":"5663809","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400917$5AEE9527-ACB4-42AA-8E89-97D825DD0B29","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":"Q3400917$5AB77A14-87C9-4BA4-850E-4B3A77645932","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a245140eb2ba1fc81f99f9af1da1cae5ab002a48","datavalue":{"value":"https://doi.org/10.1007/978-3-642-11623-0_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q3400917$0B136888-9883-4AE4-84F5-6A39D29571CC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ecaba32d530ab29c1ef54efe567629f49f0266b3","datavalue":{"value":"W2171746860","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400917$C4C6136F-0290-46AD-9899-3F77C24167FE","rank":"normal"}],"P1643":[{"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":"269930299d5bd5e5e760f1839e5ea7f731e311dc","datavalue":{"value":{"amount":"+0.9719409942626952","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":"Q3400917$9315392D-CF9B-4836-A516-AC2DA32E5C1C","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":"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":"Q3400917$541F5C30-2E58-4F57-A815-5F96CB85E474","rank":"normal"},{"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":"88fde6d77bdd643e69b9f91c7d38f176c91301c2","datavalue":{"value":{"amount":"+0.8816782236099243","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":"Q3400917$B1F05129-36AD-42DE-AC84-F1A516D15DB8","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":"b61984acd5334323d15acd06c45fccdcede963d3","datavalue":{"value":{"amount":"+0.8729369640350342","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":"Q3400917$C27DBD7E-5138-4F7B-85A2-FF4C7A7C3092","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":"2ceeca5dc62433a9a60022586e74a1c066a29e97","datavalue":{"value":{"amount":"+0.7714120745658875","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":"Q3400917$3237B048-D172-4155-994D-E9FB816117EE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3400917","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3400917"}}}}}