{"entities":{"Q2946608":{"pageid":2957328,"ns":120,"title":"Item:Q2946608","lastrevid":85133174,"modified":"2026-06-03T06:00:24Z","type":"item","id":"Q2946608","labels":{"en":{"language":"en","value":"On the distributivity of LTL specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483116"}},"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":"Q2946608$AC2FDCAF-1599-45A4-A231-F45CC0951A0A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2d04023e4d17f6f60adfe5477377272317a96ff6","datavalue":{"value":{"text":"On the distributivity of LTL specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946608$08DCAF43-ADA9-4F39-8E1A-5063B4061250","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ba20a20006990dc8f1eee49acbc6f0ebb4621bd0","datavalue":{"value":"1352.68162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946608$0DD4C899-9896-4DBB-9088-66236B6E1A05","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e4f25a19297c38c4a67f2eb1d86560e7de3566cb","datavalue":{"value":"10.1145/1740582.1740588","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946608$8EB8F5D6-8C79-4201-BB74-248B3AC8AC8A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e255ef244e1fa5f91cdde68347c08d5a61e015d5","datavalue":{"value":{"entity-type":"item","numeric-id":847261,"id":"Q847261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946608$C2EC3A00-AC84-4469-914A-1A4D50D36C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab766bab7d2d121997187bafff958b477c6b8a01","datavalue":{"value":{"entity-type":"item","numeric-id":234696,"id":"Q234696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946608$3BC6B06E-E5F0-483D-B445-221789EC685B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946608$2F61E56B-C3E7-45C7-9F44-83D13DA77A86","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2946608$AC4FDE1B-B9B2-43D4-B592-3635E757BC7A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946608$A521DC49-5D24-4D7E-9C13-F6E1220A8EE7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7662c5b8ec6ebc63606a993647704b4af9065883","datavalue":{"value":"6483116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946608$F08B2BFF-CD68-476A-B4D5-07EA1977B182","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00fab533cd38d922e3a2c54a153ccdfb1b56ca89","datavalue":{"value":"constraint satisfaction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946608$7297BF79-1C45-4395-B765-35F4CD23AF95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85a839a7ba93b7be8ef2a01122562abb5ca55aa9","datavalue":{"value":"LTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946608$D7468EA5-0254-40A4-AF1D-79575E96A84B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"efe1669a7e1b16aad3d3a4304c7ea9e102405670","datavalue":{"value":"distributivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946608$E4BB7280-6612-4C35-8CA2-5B8F68FE5E42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08225494522e66b17b3e98e8bd1dd082668626d4","datavalue":{"value":"query solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946608$23B2B098-3856-43E3-AACA-15E0461A8BF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"563735ff6d5f0aabc891be9beb9f468ceb42cf74","datavalue":{"value":"strongest solution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946608$1AD7AEB6-356F-41E3-A59C-AE55F83C30D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5f37a320fdbde9930be84e0be2ae70f06cce0f0","datavalue":{"value":"syntactic characterization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946608$EC554B96-0410-46C1-8D32-E385FA83653F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8356f303cf8a430d6bae45f7a8b6a938726662f6","datavalue":{"value":"template characterization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946608$A346E701-A429-4DE3-BB31-E9E64B1BBC20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"946d03254910cc41ad507f20e06c7f20b02d605c","datavalue":{"value":"unique solution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946608$C019541A-E79D-46F9-AD2F-3F3294C22C63","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":"Q2946608$FBF35653-AB6A-477C-918B-4CBFAF8DC589","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cb84d7e095e861ea45124643cae2337858b7f07f","datavalue":{"value":"https://doi.org/10.1145/1740582.1740588","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946608$3A3C5693-051D-422B-B820-4EEA9BFE82EA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c5459a3c80ac06ad98c6ee593742acbca31a7207","datavalue":{"value":"W2107594468","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946608$0D8A219A-7250-467F-A5DF-F23A7BE0439B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6961ab67e91526553c6d5b885ad743a60a3f6413","datavalue":{"value":{"entity-type":"item","numeric-id":5466541,"id":"Q5466541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e83dfa292b969043acdda4ad696677bd79da3f3","datavalue":{"value":{"amount":"+0.8535598516464233","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":"Q2946608$591D666F-AF0A-496D-AEDC-DFF9315C6354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"846408758bb6e4d2687c2e21f6bb0f7344083758","datavalue":{"value":{"entity-type":"item","numeric-id":5292659,"id":"Q5292659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e59c461bd154618226d96555b20ca301e11f5b9","datavalue":{"value":{"amount":"+0.7213332653045654","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":"Q2946608$8B255474-AA48-4424-9F47-E5F59AA967B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a62560326269fdfef0ac1d6cf81c5f8feb871688","datavalue":{"value":{"entity-type":"item","numeric-id":5391524,"id":"Q5391524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7419abb93ed9c2ce8cadb938ef2783aab6b71911","datavalue":{"value":{"amount":"+0.7192915081977844","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":"Q2946608$072F7491-203E-49AF-974D-EBE884936127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6dce66b79bb13435bc9235b0b2d3173b653bbf0","datavalue":{"value":{"entity-type":"item","numeric-id":5711540,"id":"Q5711540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf23bda5280d0275204ef2d108c988a95624779a","datavalue":{"value":{"amount":"+0.7176775336265564","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":"Q2946608$6632D125-02F0-4385-8751-B9318F6E4E0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca07257e84d697ffbe7b480a5f2a3d06bf9f7511","datavalue":{"value":{"entity-type":"item","numeric-id":2988557,"id":"Q2988557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ef7c2f9184a33bc9e19676dc057668d7979a84d","datavalue":{"value":{"amount":"+0.7151074409484863","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":"Q2946608$55DA78B5-29D4-4706-BFB4-55DC337C9EB3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the distributivity of LTL specifications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_distributivity_of_LTL_specifications"}}}}}