{"entities":{"Q2147181":{"pageid":2157924,"ns":120,"title":"Item:Q2147181","lastrevid":57749352,"modified":"2026-04-01T06:30:34Z","type":"item","id":"Q2147181","labels":{"en":{"language":"en","value":"Learning linear temporal properties from noisy data: a MaxSAT-based approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7546596"}},"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":"Q2147181$D68667AC-831B-43FD-B300-77BAF8DA8ADB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c3f9b17ee117eecdb6a7708918ed03191f5b5392","datavalue":{"value":{"text":"Learning linear temporal properties from noisy data: a MaxSAT-based approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2147181$84470692-6DB0-472D-A5A6-934A553DCDB0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bc6d8965e84a0a2ea6b4644532aa45a627a37909","datavalue":{"value":"1497.68420","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147181$C28E455B-B256-495F-ADB0-2E4588769C7B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f7a5c4efe74fbf7f68bccc0c648ba662aeb86e9a","datavalue":{"value":"10.1007/978-3-030-88885-5_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147181$E5EB5241-0AAA-4572-B883-A2CD43F09CAF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"48d29f084b0cb763036b1445a07bc9dca8838c7b","datavalue":{"value":{"entity-type":"item","numeric-id":2147180,"id":"Q2147180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147181$A4BD96B5-C8E9-49E5-976F-7B15592E41F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"985ba93433527f6d082a450a60d069993898369d","datavalue":{"value":{"entity-type":"item","numeric-id":477196,"id":"Q477196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147181$420A13CC-6AD3-488B-9EAB-486F6C85B946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"380a716c90a6ec4c02942aaacbb2cd16d6008f90","datavalue":{"value":{"entity-type":"item","numeric-id":537998,"id":"Q537998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147181$22BECB8B-8FC9-40F2-ADAB-0BF254C2F660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"487073ada51865d122949c4ee8319cc409a27d36","datavalue":{"value":{"entity-type":"item","numeric-id":306318,"id":"Q306318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147181$BA1E216D-28E1-41B1-AC56-4F2E29ECE0A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f18df74a15d9f7681bfbca2158383a74d3fd7f90","datavalue":{"value":{"entity-type":"item","numeric-id":903376,"id":"Q903376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147181$C4043252-0CEC-4007-8D83-449BFF72E9C6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ffa612dd361e50848b97ee1c8010430ebd9d5009","datavalue":{"value":{"time":"+2022-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2147181$E8757D0B-ACF8-4BCE-BC8E-D994488663CA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aa10af251421d8a62da7631a6f5c76697b958c31","datavalue":{"value":"https://arxiv.org/abs/2104.15083","type":"string"},"datatype":"url"},"type":"statement","id":"Q2147181$6DDB8D23-E44B-4EF9-92AC-9CEB93FDB000","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147181$9288D862-0BC5-4EB1-B8BC-B95C97DF8BE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147181$480F35CC-3675-4190-9ADF-4FA7360B3F11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147181$108FCF60-1B31-4459-BA10-AA6C26FCD495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147181$14FDE1EA-5770-439A-A024-3A4DAB90A6E0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5986179d85f7558604480d417299be2258fc7ef2","datavalue":{"value":"7546596","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147181$79CE7E18-2914-4376-BC10-935ABBED586A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2147181$10DB8BEF-853E-4F8F-BE65-21D4C883623B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"853cd219b01d0e69f349bf0a8aab55d19e3326d6","datavalue":{"value":"specification mining","type":"string"},"datatype":"string"},"type":"statement","id":"Q2147181$FD6EBBE8-64EC-485E-A9FE-50F2874FE599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c0da07767d8b05079480d036496c8c447d6ee6a","datavalue":{"value":"explainable AI","type":"string"},"datatype":"string"},"type":"statement","id":"Q2147181$FBA0068E-945D-4020-812B-40CF3AFB6647","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147181$90FD61BB-8174-4AAB-9497-4F8866E81DCB","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":"Q2147181$AC6D942B-0EFD-471D-A757-83BFFB42F021","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"99cb8ae886516bfbfd4020f615f1bf4de8c8b18d","datavalue":{"value":"W3208221999","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147181$8E0D1D99-99D1-43D5-84DE-000BFEBE8B6A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ce585837a919025fa0560b9c65a92d28da1c713","datavalue":{"value":{"entity-type":"item","numeric-id":1978242,"id":"Q1978242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147181$131C581B-7F4D-49E9-B6E3-35EC1BB51E30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b258316c285708820091587d3f7589a3d9be4639","datavalue":{"value":{"entity-type":"item","numeric-id":2988954,"id":"Q2988954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147181$ABAAC134-BC72-4BF5-8C6C-D022C7808F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2e3cc1c8978d8493665186c82b15d184971f7f3","datavalue":{"value":{"entity-type":"item","numeric-id":2296763,"id":"Q2296763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147181$06FC621D-B0A4-4166-8415-12A94929CBD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6331f2a80a00e27562f1f976eb4a738ed8cc4d5","datavalue":{"value":{"entity-type":"item","numeric-id":5282370,"id":"Q5282370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147181$51033F08-68C8-4260-939F-F698FEDD2E66","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e7c09edcb49850caf43a32b68bccac3dd13fc0f","datavalue":{"value":{"entity-type":"item","numeric-id":2008282,"id":"Q2008282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"927e9b7910a2f49146da2bbd22b8fe4a8cdf8a73","datavalue":{"value":{"amount":"+0.768731951713562","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":"Q2147181$3042F105-7C58-4613-9F7F-183C4149FFA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db0983fb235afd310c42c7ee296a4dbbd36def64","datavalue":{"value":{"entity-type":"item","numeric-id":2986980,"id":"Q2986980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4131828eb7586e8192d902801f368e5f8304e24","datavalue":{"value":{"amount":"+0.7645343542098999","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":"Q2147181$630BFAFC-3A66-4CF3-9FBB-B4E189C49EA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc0fa8af1edc7d5e1ef57e04cac3659b64a54428","datavalue":{"value":{"entity-type":"item","numeric-id":5500551,"id":"Q5500551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9591474d4b2b74ba8ac1ebe2c8527a261441eda3","datavalue":{"value":{"amount":"+0.7418491244316101","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":"Q2147181$B6F4B264-A861-4B42-84FF-AD118F93537B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4782ec169a913db447c2ebf483797b644872a83c","datavalue":{"value":{"entity-type":"item","numeric-id":2642669,"id":"Q2642669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e6d0db04467ae4f54004ef06e4f866852617ca0","datavalue":{"value":{"amount":"+0.7206805348396301","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":"Q2147181$687D4DF9-33A8-4632-BAFE-FC5353040520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aeeb3f83defefcc8d568f9f48997321d992746ec","datavalue":{"value":{"entity-type":"item","numeric-id":2988954,"id":"Q2988954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"953deb064d977cf6ee5bedfdfed7d7b4604801b8","datavalue":{"value":{"amount":"+0.7202798128128052","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":"Q2147181$DC125B2E-CCC8-47D0-AB60-2015E843E477","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2147181","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2147181"}}}}}