{"entities":{"Q6861687":{"pageid":20666746,"ns":120,"title":"Item:Q6861687","lastrevid":104070509,"modified":"2026-06-06T08:48:26Z","type":"item","id":"Q6861687","labels":{"en":{"language":"en","value":"Engineering an \\(\\mathsf{LTL_f}\\) synthesis tool"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8156709"}},"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":"Q6861687$817232FD-9E91-499C-91D8-496A2CCEEF54","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e5d1d82a75271c664d92f378138d83eed7ad070d","datavalue":{"value":{"text":"Engineering an \\(\\mathsf{LTL_f}\\) synthesis tool","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6861687$5F55CE46-224A-42F6-851D-BEAD3364AA97","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0fe447fbe527b67dcd6991bd02675de14c1395a8","datavalue":{"value":"10.1007/978-3-032-02602-6_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6861687$86360F81-D1A3-4EE4-9372-E831CBF31AD3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"81bd03577a130e98610847cb49b30922e30427fb","datavalue":{"value":{"entity-type":"item","numeric-id":2165216,"id":"Q2165216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861687$4080BC82-B15E-4B9E-9938-8B9E8C23CA1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6a536585d62e38c74bed12e5dc7618ea16138bc","datavalue":{"value":{"entity-type":"item","numeric-id":1707339,"id":"Q1707339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861687$3B67CCAA-486F-4B40-BE5B-70AAA3FD5D2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2dd1d437ad385d0c2e631f017473e3c972acd186","datavalue":{"value":{"entity-type":"item","numeric-id":439953,"id":"Q439953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861687$7149C539-AF66-4066-A669-FA5820E1F862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2099869b514aeb1a2ed840658681e19bf61d79e","datavalue":{"value":{"entity-type":"item","numeric-id":286404,"id":"Q286404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861687$E2F8BCCF-886D-491F-A038-34E605623B0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce87cbb6ded942a7df2b71cd7e21808de8efe775","datavalue":{"value":{"entity-type":"item","numeric-id":208771,"id":"Q208771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861687$BD6C0AA2-82BD-4FF9-8C6D-228C401FEAA6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f115c6be43614d2596ce7cf4daadf566de48c39","datavalue":{"value":{"time":"+2026-02-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6861687$ABA8E9EC-366F-4576-A98A-3FD190FF19A6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6861687$B3E662F7-0A77-46DE-B6EA-23CA7164BECB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e67c28760a73f97e412d464dd1c4dd6bd95e0ec2","datavalue":{"value":"8156709","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6861687$67C7C0B2-8586-4212-86B7-DCB87C739A20","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":"Q6861687$B57264A0-CFB9-46DF-BE07-F26A49C20025","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad1627b0ef0dc706a0d145ad59d2ccb2cc61cb36","datavalue":{"value":{"entity-type":"item","numeric-id":672142,"id":"Q672142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861687$AC2F9806-2D4B-431C-A3D4-7D0AEA51D619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"692f33298e12548a7de121e9b379ab5a875cd0fd","datavalue":{"value":{"entity-type":"item","numeric-id":1383350,"id":"Q1383350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861687$4320C35B-7430-4D0C-AAEA-F841B4F5A2A9","rank":"normal"},{"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":"Q6861687$9B72880B-EFEF-4D8C-823C-098145D158C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861687$F8C8D0FD-9495-4F24-8C95-93890971B9FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41e7ff1139dda6caf30f086ee8bbcc3bc037598a","datavalue":{"value":{"entity-type":"item","numeric-id":5632482,"id":"Q5632482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861687$4F8C4E48-BC83-4520-ACBC-0636F7827CBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f887475056f853e69431dc44504a1f573af60cf6","datavalue":{"value":{"entity-type":"item","numeric-id":814470,"id":"Q814470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861687$EA43B54D-914C-4CCF-B038-3DF7DE449394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"115ef96bf99331e3ed47d04557a5b1c7b96446bf","datavalue":{"value":{"entity-type":"item","numeric-id":6487335,"id":"Q6487335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861687$B123E8D9-1606-48A9-AA72-767FFA749AE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb24b2fbbc8df282d5ad9fab3a580bd2906e1de4","datavalue":{"value":{"entity-type":"item","numeric-id":1693819,"id":"Q1693819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861687$D173E318-0590-4CA5-9A58-BC64DB1B6AB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"618c35694b758a9839ac566e69a497bebcf10591","datavalue":{"value":{"entity-type":"item","numeric-id":5145312,"id":"Q5145312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861687$20406715-708C-4744-B2DD-8759A29FCF3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"742b32a578d3c568e0bbc4ca3a458619127605be","datavalue":{"value":{"entity-type":"item","numeric-id":835826,"id":"Q835826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861687$D17CAD5E-A074-4228-BF54-FA20F21C2135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab230edae2be541139bc78dcd8f9573c0d8eeaa4","datavalue":{"value":{"entity-type":"item","numeric-id":6084567,"id":"Q6084567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861687$80489B7F-BD5B-4EC7-906C-35D8FFABFEE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee375c7bcc9847e2999b97cdff8f98ca7e0a19de","datavalue":{"value":{"entity-type":"item","numeric-id":5898629,"id":"Q5898629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861687$A67088ED-242C-414A-B644-BB72F1239CFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc6441ba6cd46f4776d1a7ab95042dff17b7fad","datavalue":{"value":{"entity-type":"item","numeric-id":2165218,"id":"Q2165218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861687$4985C07A-1B23-4560-B537-ECFEE0E92BD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46405ed79f498d48bb3bae83bca14400c633792a","datavalue":{"value":{"entity-type":"item","numeric-id":6151759,"id":"Q6151759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6861687$C27C0678-F978-43D2-AB5B-9DCAF4E43A94","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6861687","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6861687"}}}}}