{"entities":{"Q6535567":{"pageid":14146710,"ns":120,"title":"Item:Q6535567","lastrevid":57576012,"modified":"2026-03-31T11:26:09Z","type":"item","id":"Q6535567","labels":{"en":{"language":"en","value":"Scalable anytime algorithms for learning fragments of linear temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7793099"}},"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":"Q6535567$9396EE77-D1DD-4845-AB52-0353E6BE41F1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bf9c197487741ec0b5ce6c878ec49574629f108e","datavalue":{"value":{"text":"Scalable anytime algorithms for learning fragments of linear temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535567$27ABABB2-B891-4312-A030-D1A6EE200411","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7ea77642eac26f9991fd8a1d7435783cef8e6ee9","datavalue":{"value":"1547.6845","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535567$178B1D7B-2B83-4F83-BCF0-55051C45FF24","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a6792902c0f4e051ae4478d01ddfc17f674a669e","datavalue":{"value":"10.1007/978-3-030-99524-9_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535567$71B08A04-4C24-4768-961F-6EFBC1CDA25F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c65d9027714351a51b18173b299210413031dff","datavalue":{"value":{"entity-type":"item","numeric-id":2672230,"id":"Q2672230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535567$F426115F-F1FF-488F-B6E5-A9025141898C","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":"Q6535567$590B0CC7-A479-418A-A0F6-DD5A4F3495DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"07c1ff3f49573b4e6a48bbdac70ef6acb00c631c","datavalue":{"value":{"entity-type":"item","numeric-id":529061,"id":"Q529061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535567$D781D6CE-1683-4235-B46D-FD20672BA3C1","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":"Q6535567$4EFB2AFA-0E99-48CD-9BAC-1214E87562E2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7341346045afe491aec3502c1a5c7ebe2712f57","datavalue":{"value":{"time":"+2024-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535567$2430CF0A-FF50-4F03-85AE-0CBC69AD49E8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535567$09ABE33E-5368-435D-A04A-B58422B38233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535567$478D6565-4B8C-4BED-AEEE-BDD008C40AA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535567$B2CD4BC7-1583-491E-9C19-0A8408D36B99","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d625b01e5e71be3c0804498046d79f76ab73cdad","datavalue":{"value":"7793099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535567$C1423899-D73C-4B66-B681-BDE94A2A82A3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535567$33D6A906-DDBF-4987-B109-46DB73D3C7A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c823b56192bce445b4b9ec3d99d959d2bc7a655","datavalue":{"value":"artificial intelligence","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535567$EF74E9A8-1B16-48FC-B564-A18EA4F33896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"853cd219b01d0e69f349bf0a8aab55d19e3326d6","datavalue":{"value":"specification mining","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535567$028278D0-DE52-43F6-805B-8940F2C9E13A","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":"Q6535567$378A6DFB-18D4-4594-809C-7BBC8C92B32E","rank":"normal"}],"P223":[{"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":"Q6535567$51C22927-A257-49D9-9F55-D30633B5949F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d00a694d0f3c2004e75a830c958cf154ee868c4d","datavalue":{"value":{"entity-type":"item","numeric-id":5259598,"id":"Q5259598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535567$36D86E4A-AF8F-4582-9968-253E659FFF6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3811528e3e7d7937580c2dd4bcb9a89711daebbe","datavalue":{"value":{"entity-type":"item","numeric-id":1012729,"id":"Q1012729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535567$1BB73A83-49B3-493E-AF77-B951D7A6A553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51ef8fac80d379bd80260f843138869332bd9384","datavalue":{"value":{"entity-type":"item","numeric-id":3549563,"id":"Q3549563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535567$BAD93010-9F46-4102-B954-DB15F332D610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7845e28d58d136a0ee8db04a8b7b150559ea69cb","datavalue":{"value":{"entity-type":"item","numeric-id":2181939,"id":"Q2181939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535567$502DD754-041E-453E-B192-38B60D31173D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16686b926ade248f8826fb4ffc0a50f1d1459e68","datavalue":{"value":{"entity-type":"item","numeric-id":2147181,"id":"Q2147181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b80e7a9bb5ce0b0319d83dcc05a0ea063223005","datavalue":{"value":{"amount":"+0.7856364846229553","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":"Q6535567$27F081B3-A531-4772-9F96-DF229B582F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92edb522c9d04bb4fdf0bc59fc438fbbf39a9b88","datavalue":{"value":{"entity-type":"item","numeric-id":2999221,"id":"Q2999221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6887c230f7a69ef6ccda5615e3dea35a4eaae9c6","datavalue":{"value":{"amount":"+0.7520728707313538","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":"Q6535567$357230BA-3C00-45EA-AA92-D2609FA0D145","rank":"normal"},{"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":"83ddd678b6628d8e0c73decbd21e50fb48a03c19","datavalue":{"value":{"amount":"+0.7383789420127869","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":"Q6535567$CC4E754B-8229-457D-8891-C83B07E162C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f2fd32e463d03137b21bb2fe383e1943074793b","datavalue":{"value":{"entity-type":"item","numeric-id":2147173,"id":"Q2147173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d430b839ddbd146c3e428c997a70e7d3c5e0430","datavalue":{"value":{"amount":"+0.7361668944358826","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":"Q6535567$CA2616D8-4C6E-48B2-8EA4-6DBF399B9193","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535567$59548EA0-9385-4D10-A9CD-71AAA7CA5519","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535567","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535567"}}}}}