{"entities":{"Q6630205":{"pageid":14241357,"ns":120,"title":"Item:Q6630205","lastrevid":100007957,"modified":"2026-06-05T21:12:26Z","type":"item","id":"Q6630205","labels":{"en":{"language":"en","value":"Composition of stochastic services for LTL\\(_f\\) goal specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7936409"}},"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":"Q6630205$148E343A-2EC5-44AA-B7CC-E0B74D41D97A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4cec1cd83da897d0868de6cc67ce85c2b2429b32","datavalue":{"value":{"text":"Composition of stochastic services for LTL\\(_f\\) goal specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6630205$726EA85D-481C-4633-9197-901E555F93ED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"670633b8d9e6ecd8a5f307b164f3959921b1d963","datavalue":{"value":"10.1007/978-3-031-56940-1_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6630205$F011EC01-AB1E-4BDF-A456-909A51311F9E","rank":"normal"}],"P16":[{"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":"Q6630205$3209BEAC-2300-499B-8590-4F2B8A069EF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"45eadcfaf04f3878adf7751552597f92383d224d","datavalue":{"value":{"entity-type":"item","numeric-id":6630203,"id":"Q6630203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6630205$EE4578A3-622F-4337-888D-138411CBB07A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"228ba075f3b93378ab4242f9ce35f547835ee711","datavalue":{"value":{"entity-type":"item","numeric-id":6630204,"id":"Q6630204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6630205$B250B911-8356-4F05-B8DD-9A222B2F18B9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"64fbcb7acea0df8945200a3d2551e2bc51375e32","datavalue":{"value":{"time":"+2024-10-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6630205$A9C0B9AD-27D8-4EEE-B64D-5340475C59A2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6630205$9DD9F6BF-E209-483E-A8B4-C0370A9F9A6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"73dccdfb072fb026a86af92d74fe625efeb2b023","datavalue":{"value":"68T35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6630205$7108E42B-B00B-4842-81D2-2E82469BB92D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a50ad10d859c37581a66df0bd2c759d3d47ad6a4","datavalue":{"value":"68U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6630205$5E9A6737-7343-49FF-9E98-9D96E04A7E85","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"309242fd7cf6078793c0b7af0dee95a0d9fd1d0c","datavalue":{"value":"7936409","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6630205$4AD28CC2-8ECA-4FF2-83EF-F1E4BC0178C2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4674cb0f0bc5191405dd6b20eacdff1f8469c6d","datavalue":{"value":"service composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q6630205$B8CC51FA-9AB9-4AE0-B02A-70F8F38B6CFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3a7110e3b9a91ab117158351d9d9b1e891d4af6","datavalue":{"value":"linear temporal logic on finite traces","type":"string"},"datatype":"string"},"type":"statement","id":"Q6630205$6EB33B71-3B26-4792-ABB7-1C291C357006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8cfb635100bcc8a85463e6beac1ce534f15033d","datavalue":{"value":"Markov decision process","type":"string"},"datatype":"string"},"type":"statement","id":"Q6630205$247363B5-2359-4839-B858-F1C88ED8D81E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45e90949e0c9bec9d1a17afbdad54346054ef6f5","datavalue":{"value":"lexicographic multi-objective optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q6630205$766940BB-97F3-4E46-9414-46BEAEEFAAEF","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":"Q6630205$6A692D23-E61F-4ADF-97F8-4EAD22955691","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9906c5d717d47d4806529740bb94b92cc109d45c","datavalue":{"value":{"entity-type":"item","numeric-id":2226751,"id":"Q2226751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6630205$543475B5-DE8E-4110-A568-449286C8A520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d7f2d6fad5c26331e30e78154fc50caea5e9387","datavalue":{"value":{"entity-type":"item","numeric-id":5449810,"id":"Q5449810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6630205$85FFB244-67E2-47CD-B4E6-0AAB57E05518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c71ee253892b177799592f03938a61eb6c7732cc","datavalue":{"value":{"entity-type":"item","numeric-id":4369884,"id":"Q4369884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6630205$6318D556-2D7A-4CB6-AADE-F5D6CF835B18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78c7edfb4d256286d049ed049ae116976b40bbce","datavalue":{"value":{"entity-type":"item","numeric-id":360044,"id":"Q360044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6630205$CC39F4DA-1A63-4975-8F01-9B645FCF81C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e11ce6d7cae5817203b2754499822a3f997c5ab","datavalue":{"value":{"entity-type":"item","numeric-id":6488463,"id":"Q6488463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6630205$B3C0731C-FE92-4E6F-A215-7923C8DB7F25","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Composition of stochastic services for LTL\\( f\\) goal specifications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Composition_of_stochastic_services_for_LTL%5C(_f%5C)_goal_specifications"}}}}}