{"entities":{"Q2104556":{"pageid":2115299,"ns":120,"title":"Item:Q2104556","lastrevid":56991777,"modified":"2026-03-25T13:40:20Z","type":"item","id":"Q2104556","labels":{"en":{"language":"en","value":"Decision problems in a logic for reasoning about reconfigurable distributed systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7628216"}},"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":"Q2104556$9F3FE2B3-2208-4833-A694-DAC288F53F98","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f4cf801aa877bb5d6110a50bb9ece88bfd76f9ff","datavalue":{"value":{"text":"Decision problems in a logic for reasoning about reconfigurable distributed systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2104556$9D9AA62F-AA12-4CFF-BF3C-B1833EE40772","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"607ef3e193d13f6a79d9b0b78028e7b254306672","datavalue":{"value":"10.1007/978-3-031-10769-6_40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104556$CD3F4975-53B6-4363-B65B-C103A6948BE3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a20bf99fdb7ddd878f88c192741bf562f8917d0d","datavalue":{"value":{"entity-type":"item","numeric-id":537950,"id":"Q537950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104556$658273F4-E551-4D91-9DF7-6A35461A9D8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6629671d8efc9bd0a8ca49a10c7c29e91ff161e","datavalue":{"value":{"entity-type":"item","numeric-id":2104555,"id":"Q2104555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104556$B8A7DE82-32A5-4D6C-A754-495130E1DD67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ffdbfd7b9177bc6559af43c12c896a5d2e47038","datavalue":{"value":{"entity-type":"item","numeric-id":537951,"id":"Q537951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104556$89FDA427-1372-480D-9F69-F2106D0CA39C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db8b1b210f5d78274958848712ad4088833e6550","datavalue":{"value":{"time":"+2022-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2104556$894C4BDA-9BC4-4158-9CDC-364E913D0316","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ab1cc983eff0bd9b3fa38d5eb2ce8a5f926f598a","datavalue":{"value":"https://arxiv.org/abs/2202.09637","type":"string"},"datatype":"url"},"type":"statement","id":"Q2104556$9693159B-B5AF-4A3F-89ED-96E83ED5EF9F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104556$A0E8458A-0A75-459B-AB33-49B7CE5AC8EE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"acb1b7d030d8fdb599f8a9f36d59d760deb39680","datavalue":{"value":"7628216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104556$7986C936-1A7E-4AB5-B44E-B083521C18EF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5a8414726934ad74fc66bfb4dfdb61eea21cec47","datavalue":{"value":{"entity-type":"item","numeric-id":18479,"id":"Q18479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104556$AFBE13CB-EA99-4228-8178-ECB23711B326","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":"Q2104556$7F71BD44-9EF0-47DF-A061-27BAFB248434","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4dfc0ca8b7cc6373adde8bea5f377d27bf5db488","datavalue":{"value":"W4289104065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104556$A86CA1F7-67F7-426B-A1D6-7EE04EF94652","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a5ddc6c0766496c445e307e5e9c51907b2d428a","datavalue":{"value":{"entity-type":"item","numeric-id":4819114,"id":"Q4819114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104556$94C34811-F1F6-4A70-8DFA-349451DE7B51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2426859933ded65ecede93f0dda338fe32c6c26e","datavalue":{"value":{"entity-type":"item","numeric-id":4568312,"id":"Q4568312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104556$E286B021-A8B7-410A-B636-C81A9AFEE94F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f2aee0157f43a8190b47bb6300a0c0504b00ad1","datavalue":{"value":{"entity-type":"item","numeric-id":1996857,"id":"Q1996857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104556$70A57BEE-7F0C-4240-8FF3-153518B146C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"720ddbc225606ec696668d2945dfac90af50e274","datavalue":{"value":{"entity-type":"item","numeric-id":4635608,"id":"Q4635608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104556$DA55A909-54A8-41DA-82B5-E0DBAC5FCE56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3773d99da8181651784b836b03823b35fe7fabc2","datavalue":{"value":{"entity-type":"item","numeric-id":5457269,"id":"Q5457269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104556$E8DF800B-484E-49CB-BA0D-9DBC021A876D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"127db5097e77e5b4edc8afc4e762efcd27117ed4","datavalue":{"value":{"entity-type":"item","numeric-id":2931804,"id":"Q2931804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104556$A1CF7FDB-C33C-474E-9EF9-3651963F4CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad2f075c693b1dea2fd661e188c39b70cfe982c3","datavalue":{"value":{"entity-type":"item","numeric-id":4647842,"id":"Q4647842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104556$56CE3B40-13DA-4F0F-B4FC-A2DCBD6CE9A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ad8c79df9be7434470d2f99510ebe66cf515365","datavalue":{"value":{"entity-type":"item","numeric-id":2055854,"id":"Q2055854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104556$9CA0D4F3-18BE-47E2-8F9C-EDB4F15F4161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70434bd037c21613c35cc4a429ac64d577db822b","datavalue":{"value":{"entity-type":"item","numeric-id":5756496,"id":"Q5756496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104556$9CE34EDC-9D67-42EF-8DD2-FAB0EF370C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c3f72e4cfa0d440af72fe380c939fa418d344db","datavalue":{"value":{"entity-type":"item","numeric-id":3666827,"id":"Q3666827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104556$2E756F57-5EE7-49FE-A379-39249624C2ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7fbb642cd648c1a7a27f9c766d1ddd2f59e48d8","datavalue":{"value":{"entity-type":"item","numeric-id":2988661,"id":"Q2988661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104556$2441CE8D-7555-45CD-9596-373124369C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6115d0c7581e7debec0da1f2c63be61ad555c87b","datavalue":{"value":{"entity-type":"item","numeric-id":4608682,"id":"Q4608682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104556$C7644573-B103-4849-B1BC-199689992A9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"561c7757aad40f178f51a1a7fe9fafa0ef318250","datavalue":{"value":{"entity-type":"item","numeric-id":608354,"id":"Q608354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104556$7F676319-442D-40C2-BC6E-FBD52807F322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e55ee287c531c4fb4cdd25e362a76b58e7830fdd","datavalue":{"value":{"entity-type":"item","numeric-id":347359,"id":"Q347359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104556$2B8CC3FB-6346-4CC6-87CF-8ED87AB6B919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec596191c58c0192912d43559518df53cc026d8f","datavalue":{"value":{"entity-type":"item","numeric-id":879368,"id":"Q879368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104556$48805C77-08FB-4AB9-A365-7353A3BC378C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"162bdd4df93f8ffd3483f8a1810ab35d50492908","datavalue":{"value":{"entity-type":"item","numeric-id":4262604,"id":"Q4262604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104556$D80C6D02-6D7F-4914-B0A3-6AFA657EF820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd2791da5b87f3897ecd063b68e70aea276f020b","datavalue":{"value":{"entity-type":"item","numeric-id":4178461,"id":"Q4178461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104556$8D976DFC-4268-415E-9B05-A42B9682DB09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a044d972b9636de6b7dc4b49b32e31e8c4a501b2","datavalue":{"value":{"entity-type":"item","numeric-id":2728860,"id":"Q2728860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104556$33EA6534-6F05-400B-8BCB-4FC03A58DBFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13221a28888c9beff2950e6426d16471a2f129f1","datavalue":{"value":{"entity-type":"item","numeric-id":3525642,"id":"Q3525642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104556$3B3724D8-CA76-465E-9ADE-23F1EA054030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f8d006c39092a33b46ff13e7e29b1f7444b8195","datavalue":{"value":{"entity-type":"item","numeric-id":701031,"id":"Q701031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104556$263B87DE-2DC9-45FD-BBB2-BD2FC25538FF","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":"Q2104556$FAB3C71F-66C0-43BF-8670-02EBA55E5A18","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2104556","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2104556"}}}}}