{"entities":{"Q4982089":{"pageid":7011667,"ns":120,"title":"Item:Q4982089","lastrevid":52231430,"modified":"2026-01-21T05:20:10Z","type":"item","id":"Q4982089","labels":{"en":{"language":"en","value":"The compositional method and regular reachability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6418598"}},"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":"Q4982089$6592E5D2-6717-43B5-B163-CDC1425205FF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2f0104271fd571f8d2c20249c27d798406abd7a3","datavalue":{"value":{"text":"The Compositional Method and Regular Reachability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4982089$F8780D2B-26B3-460B-8726-06E21BDAFB02","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"024f4ddd52c456d7e3e984c971eb4aebf99fc570","datavalue":{"value":"1337.68166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982089$9DACE13F-5BFE-439A-AC7C-2F949509B5DA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"59a5cca4d8cbd754cfd9996a83a925a1a1597b7f","datavalue":{"value":{"entity-type":"item","numeric-id":3646169,"id":"Q3646169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982089$F68D6106-9DE9-49D8-8C1C-987638B3FB4D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982089$DAF5D276-B62B-44F0-9B55-D8672B7DD57A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"809666719f9ff28a4fe4775444803d2f896fa4e9","datavalue":{"value":{"time":"+2015-03-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":"Q4982089$1C434639-5334-4FE6-A07B-1100F6DA4D46","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982089$974D395F-3577-4BBD-911F-41849B9A6E9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982089$AC62108B-8978-417A-B64B-9C8409351B1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982089$A8DA239A-FFA7-4D52-B305-E4EB9962B2B9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0fe9b7a32ce37ab72f59e3a964d9b2b898fe446f","datavalue":{"value":"6418598","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982089$0D06D85A-4F46-4362-9677-7A59EF7A70C2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdf79771632436c5ee52037ae2c9654072a7a212","datavalue":{"value":"Feferman-Vaught theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982089$C8C46F7A-CCE7-443F-9FBB-14CE984FDD3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"221a1917b02d86d9d34b96312834cf5db4574f14","datavalue":{"value":"compositional method","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982089$3A2DF4AD-538C-4CC7-BC26-C9128F266812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982089$4035A5A2-DAD3-419E-B55D-D37BA70A368A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91015ebb3167cb5932b8c23d9bcabd995d90c6c0","datavalue":{"value":"regular reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982089$069C2E89-63FC-4F4A-858C-4263A483A0B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8030409db56fb248021958d0216f017511a2813","datavalue":{"value":"asynchronous product","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982089$C76AB6CE-B8D4-464D-B049-7AE04A496D3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10cb836158593686b3c45835d6af87fe727030de","datavalue":{"value":"synchronized product","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982089$575739AA-C0E6-448B-8CCA-FC6F307D0D3F","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":"Q4982089$66C12526-2255-4A42-BBC1-9DE35B5F294B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"917e1c9409d103a29ecf1ddfe25e294a1de93df0","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2008.12.034","type":"string"},"datatype":"url"},"type":"statement","id":"Q4982089$6A2F050A-9E65-45A2-9730-576E00A5EC6C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8f58266530a74559dbf3234c298596de9f99fcb6","datavalue":{"value":"W2109607247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982089$4730364B-005D-42AA-AE80-C2E44DFF942C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c859dc9bc5c44c673f4132f2e7bef4d53162ec9","datavalue":{"value":{"entity-type":"item","numeric-id":1188602,"id":"Q1188602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982089$E77DC605-C79D-4F8F-AFAE-EA1FDC1D1D5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4753b4659469e60d103626aaca4d897985fe79a","datavalue":{"value":{"entity-type":"item","numeric-id":5428869,"id":"Q5428869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982089$FFDEC26F-678B-4486-A7B2-D6C60CF0AAD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c617c5bd71a15374f0a1a84b4d444764e97d0e8","datavalue":{"value":{"entity-type":"item","numeric-id":4894127,"id":"Q4894127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982089$4E88D14A-0CD1-406F-88DD-401E216DEF86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9a0035cf4540a200f752e67616ee09960bd2d41","datavalue":{"value":{"entity-type":"item","numeric-id":3261418,"id":"Q3261418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982089$806FD2E5-CDBD-4008-8C8D-5FF2E86FC949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b45af815584b281446704023f9f4c0865a4d4836","datavalue":{"value":{"entity-type":"item","numeric-id":4380448,"id":"Q4380448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982089$148D9F21-4BEF-478E-B406-46459B831181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaf66c6b46b567a5cdc53e98afdb0efcafa5e37d","datavalue":{"value":{"entity-type":"item","numeric-id":4789445,"id":"Q4789445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982089$FD26F24F-5452-4130-BF79-70C8A209DA4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5af7139c65837eb8115c64cb4d4e1bbefc86dded","datavalue":{"value":{"entity-type":"item","numeric-id":4198075,"id":"Q4198075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982089$FD8A0F2B-83BD-41B1-A764-4922D8B96A6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967fb55b31b6e02bb24043a438b43c2e3c9e09dc","datavalue":{"value":{"entity-type":"item","numeric-id":4003410,"id":"Q4003410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982089$4C13DB66-569D-4DE2-9A4C-CD38871C51D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26a3cfb3d7b3a2926cb83b99ae0b425e1b5d6abd","datavalue":{"value":{"entity-type":"item","numeric-id":5812176,"id":"Q5812176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982089$B955225D-26DE-495D-9B58-A80868E4E4D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1548cb3c88cb78e09d1e21df11b259c1b6b89fa7","datavalue":{"value":{"entity-type":"item","numeric-id":5277769,"id":"Q5277769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982089$6F2C3CDB-621A-4EC8-B0E6-1D50A24AB0A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"362d8d85e5479f3ae1495ae2d4a3faf835f96a2d","datavalue":{"value":{"entity-type":"item","numeric-id":4821650,"id":"Q4821650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982089$59C2D616-8FAD-4099-BAB2-1135E8BEA2A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c74e20c9157021aaf7d8167c88d779be5f8df1","datavalue":{"value":{"entity-type":"item","numeric-id":1233019,"id":"Q1233019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982089$D5AD9F55-F8A0-4263-8967-1E9FFEC09A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1d821bd2a1a38500df8bdaf1b0ad70b8c8ee08","datavalue":{"value":{"entity-type":"item","numeric-id":4385530,"id":"Q4385530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982089$614EEC01-3D9D-4A4C-A3F7-E1BDF8653E17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5444d62b61ec4f0092db6e9182c1367d48f1504d","datavalue":{"value":{"entity-type":"item","numeric-id":4362730,"id":"Q4362730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982089$FC5328A2-F0E2-4765-B615-FF35E367D8E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe929f01fa86af5ec1780a3fd0d8f9ac3346a63b","datavalue":{"value":{"entity-type":"item","numeric-id":4714446,"id":"Q4714446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982089$E9D67751-A9DC-4AFC-9BF8-DFCDE9E81459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b032a2997dce3d24d5f060f0b0e69c1e993b514e","datavalue":{"value":{"entity-type":"item","numeric-id":5453498,"id":"Q5453498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982089$197D68A5-E63F-426A-BDA2-238F1DF3E1BF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4843bc2c5ef9bf51d05430d43cc81104c4eec9cf","datavalue":{"value":"10.1016/J.ENTCS.2008.12.034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982089$2B4DAEAF-0A11-4A05-AA35-B2CBF44035DC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c40bd1aaf24849c8e838234af8d485396edd583b","datavalue":{"value":{"entity-type":"item","numeric-id":3646170,"id":"Q3646170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d951a0b898d56748064bdf6e8cbd29eb13130eae","datavalue":{"value":{"amount":"+0.8590484857559204","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":"Q4982089$12767088-686E-44AA-B37B-833B5A05DA38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b6ad1cb74c851c5ccbf77ee50e27b9083d6dad6","datavalue":{"value":{"entity-type":"item","numeric-id":5277769,"id":"Q5277769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32660a5d937b9c3a983a879b5d9ca36d9c9f7020","datavalue":{"value":{"amount":"+0.8397794365882874","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":"Q4982089$E0F459F6-8AE6-4651-A84A-3B172EAF8F56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8b6a53a1affc562967ec506b64a6cc88383f862","datavalue":{"value":{"entity-type":"item","numeric-id":2904757,"id":"Q2904757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ff9c46b265f1535a87e6fa6de41b38c47015400","datavalue":{"value":{"amount":"+0.7698829770088196","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":"Q4982089$2FCABDB6-FA71-4F4F-B413-C0AA78CA546A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7094a3c988c734ca21ea53bc6ec6f202282d2855","datavalue":{"value":{"entity-type":"item","numeric-id":3204034,"id":"Q3204034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6eb6e41d1a9e34d4e092fdead80fd72020360372","datavalue":{"value":{"amount":"+0.7401177287101746","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":"Q4982089$ABDAFB73-326D-486A-8FCB-10524C484745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfb0e469db8af7a009a867a359818028b3fb0366","datavalue":{"value":{"entity-type":"item","numeric-id":3402273,"id":"Q3402273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64fe8cb077ccd5482e473a1a3463651b83922848","datavalue":{"value":{"amount":"+0.739237904548645","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":"Q4982089$D2638B4C-3968-4CFD-A573-09ED89B8E19C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4982089","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4982089"}}}}}