{"entities":{"Q3533037":{"pageid":5562941,"ns":120,"title":"Item:Q3533037","lastrevid":49410994,"modified":"2026-01-07T02:59:47Z","type":"item","id":"Q3533037","labels":{"en":{"language":"en","value":"MSO Logic for Unambiguous Shared-Memory Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5359053"}},"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":"Q3533037$B3B1FAF8-7F8D-4C97-8F6D-28EFC8BC61FD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"980143eda45c098516a0cc1008721306b6b8fa1a","datavalue":{"value":{"text":"MSO Logic for Unambiguous Shared-Memory Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3533037$F38EA151-F69E-4832-AAFA-362CA2107692","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b48d07eb38d41fcd266d6b17021edf68bd411e9","datavalue":{"value":"1159.68025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3533037$13B575D4-C125-4E42-89AC-47AEC366E4F0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8fea184c6c95839e3c3b515afd9aaa21d04b1dcf","datavalue":{"value":"10.1007/978-3-540-85780-8_41","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3533037$62BE68A0-187D-4518-AD75-696EC6CFA905","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"849b60e05a4a17ffaa164c32ba2a356f11ee6926","datavalue":{"value":{"entity-type":"item","numeric-id":2769438,"id":"Q2769438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3533037$743B420F-AC9B-437B-801F-4FFE6BC231E9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"49baf02e74d2a198bc501af7d38d979f16ec31e6","datavalue":{"value":{"entity-type":"item","numeric-id":2817370,"id":"Q2817370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3533037$FEE75DB9-EDB6-42D0-9693-70776397B262","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9a314951617bacafcd051bc028a7f73602f45eed","datavalue":{"value":{"time":"+2008-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":"Q3533037$CA2E53B7-EFD5-4D07-9C71-89F4450308C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3533037$770D860D-4B3B-414A-AFC7-A6419B13D1EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a8ad18899f7daee4ed2b96373381fb2ababe12b4","datavalue":{"value":"68Q80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3533037$A4BE9A4D-661D-46A4-9B8F-F1A54459CA99","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d267d93c640a892f4f23fa24b9316f3faf098f51","datavalue":{"value":"5359053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3533037$2F711A18-7761-49C8-A430-1661157B2EBC","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":"Q3533037$8B78107D-8BD2-43AF-8638-42D0585D4ACC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b15df2be10d16fb6f6d5f4c939ba556a11adcc43","datavalue":{"value":"https://doi.org/10.1007/978-3-540-85780-8_41","type":"string"},"datatype":"url"},"type":"statement","id":"Q3533037$503A3992-9799-43BE-89E8-9FB54993FD16","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7858f19681c4727c597af27ec0e2e6d58bb359b1","datavalue":{"value":"W2151712167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3533037$379139F9-CDE2-4E6D-9A0C-0D22298C76E9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5dc5de059245f854355989fa9ec6aaf669bbdc0","datavalue":{"value":{"entity-type":"item","numeric-id":1056553,"id":"Q1056553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3533037$80F36F20-DBF5-4FC6-9179-C63E0D6BCCF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9352a473e0358519f684d86b4b2f5b86e16b64a","datavalue":{"value":{"entity-type":"item","numeric-id":3988805,"id":"Q3988805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3533037$E903BDBF-1079-4E93-B9F2-FB673884BA8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44215fba535e4838ff9ef2f49cee6494643d177b","datavalue":{"value":{"entity-type":"item","numeric-id":2503037,"id":"Q2503037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3533037$99BEB488-950E-4271-8025-BC8EB5584950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86cd8f03852f6c6d4863ae1aa71dedf8b7c9c087","datavalue":{"value":{"entity-type":"item","numeric-id":1269906,"id":"Q1269906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3533037$D776D2AB-8CBF-437E-8109-4879E1262C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e88580796b91d6f4f3cf3d4f3e2798396e09b0c","datavalue":{"value":{"entity-type":"item","numeric-id":1401292,"id":"Q1401292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3533037$2CF809DA-7BA4-43B5-AFE8-D5906F1DCA1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cad72f183563a822760617a5ef6445d62af8f5b","datavalue":{"value":{"entity-type":"item","numeric-id":690237,"id":"Q690237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3533037$85465A24-F7AB-4592-A220-9E5D171EBB5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e0e2fc579ef4fe265d6a6af547312be8351d925","datavalue":{"value":{"entity-type":"item","numeric-id":1583242,"id":"Q1583242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3533037$73905228-EE84-4288-B4EB-24CE213944F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01bdc88213ad901fc13d8a639e5a25c91349bfab","datavalue":{"value":{"entity-type":"item","numeric-id":2573333,"id":"Q2573333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3533037$3AC2BC2E-D33E-48E9-99E4-169C4B862901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ad8ca9dae48e3af1ee153b6f7cef1f634848990","datavalue":{"value":{"entity-type":"item","numeric-id":4508302,"id":"Q4508302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3533037$4E700EE0-FE56-4133-9DC8-F589091961A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4c706cf525e1e8895186e5fdf1a56f877c4c63f","datavalue":{"value":{"entity-type":"item","numeric-id":1887140,"id":"Q1887140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3533037$DDD6EE40-B8E1-49F9-9715-A795797EFA55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08116758716b7e63a44a9b6619b1bedac68a0059","datavalue":{"value":{"entity-type":"item","numeric-id":4251923,"id":"Q4251923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3533037$88391635-C2AC-4862-BABE-53F7B933778D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed9702c45f558cf37c1cf27f32342d8410b993ac","datavalue":{"value":{"entity-type":"item","numeric-id":4157944,"id":"Q4157944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3533037$E844D784-7376-4C5E-A1D0-B27DB9CE3199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1d1cd2f3fdb647a943fbadd4b89ab7d77358f30","datavalue":{"value":{"entity-type":"item","numeric-id":2769439,"id":"Q2769439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3533037$AF2D0AB2-30EE-4383-8141-17C2195F5AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1009d82f65eac479aaf1a74e4926f42a120dbd42","datavalue":{"value":{"entity-type":"item","numeric-id":5492900,"id":"Q5492900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3533037$E5E18159-E90B-441A-B7F6-062DEA4FA4E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70f77d078db101aabb237b07ec52562eb67e9ce4","datavalue":{"value":{"entity-type":"item","numeric-id":3541010,"id":"Q3541010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3533037$A13A4AD8-BF10-4F89-9E9E-982F48229787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"270a066a6aceb1912b7c375b7b589a7b3cd15951","datavalue":{"value":{"entity-type":"item","numeric-id":1148680,"id":"Q1148680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3533037$F5DAD04D-09B3-4E5B-B683-D99B5AFCAFFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"017ee968e085f601cf7496bb0d4aee5fe489c2dc","datavalue":{"value":{"entity-type":"item","numeric-id":1091134,"id":"Q1091134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3533037$7670069D-832C-4179-BC5E-345C1E95B71E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9ff1910bb3c0241d98d0996e4c11f3e32a28400","datavalue":{"value":{"entity-type":"item","numeric-id":3761703,"id":"Q3761703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3533037$76EEC048-96D8-4D64-8277-02108B53BA4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d64c4b5dab72504cdcbb4f6c6095768fc09cd017","datavalue":{"value":{"entity-type":"item","numeric-id":3835040,"id":"Q3835040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3533037$5B439080-FABE-46BB-B30F-4573556AE497","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47a2d1e21c1896894a3f419b435f04664dd865ec","datavalue":{"value":{"entity-type":"item","numeric-id":3586410,"id":"Q3586410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c30f3e6338c7312899fdbc678763a39a9d92457","datavalue":{"value":{"amount":"+0.89221287","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3533037$7D117C7A-A5D0-4CB9-A61D-FA175FE12EDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94f44026e46209e46398735ff69d5e3d6485bc8f","datavalue":{"value":{"entity-type":"item","numeric-id":3541010,"id":"Q3541010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93f569e10534e60510000e92ed0a66be0a7bace9","datavalue":{"value":{"amount":"+0.8703321","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3533037$FBFA3A41-27F1-4006-834B-1AC8129A10F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea5d628e56c3440758a0cbfd92dacbeb43c1297b","datavalue":{"value":{"entity-type":"item","numeric-id":3558227,"id":"Q3558227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d394bcad52ce5be354ed9091754c3bc716a616c","datavalue":{"value":{"amount":"+0.85153913","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3533037$E83652CE-DF82-48A6-A279-1889A6DB4F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f96abe8a31ba79f28d908a4d436b42a3d5c6c15","datavalue":{"value":{"entity-type":"item","numeric-id":3069911,"id":"Q3069911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50e40cb3bb269d04a20348ccacceb6fa5b7073a0","datavalue":{"value":{"amount":"+0.84862566","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3533037$0DE4428D-BF28-43F2-B1A9-865ADBEDAF3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13960a32f0259626006be9a582f01a0192b686aa","datavalue":{"value":{"entity-type":"item","numeric-id":792754,"id":"Q792754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8c8851f7b054f421c14816f751aae5b12c427d4","datavalue":{"value":{"amount":"+0.8465676","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3533037$6CACBA21-548B-4C86-AF8D-76BA917D7821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"beee2453f63198441b9b2c54c298a5f5230a08df","datavalue":{"value":{"entity-type":"item","numeric-id":3066104,"id":"Q3066104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c18354222deebdb1e57600579e7bc3f2afe633b6","datavalue":{"value":{"amount":"+0.84612584","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3533037$8D56EBDE-E57B-4E62-9411-2D86FA74D6C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2b8f1bfd831f64d2d36bee589a6cb786fd9725f","datavalue":{"value":{"entity-type":"item","numeric-id":2978551,"id":"Q2978551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a9669695911044c0c62efec13de29719640cf28","datavalue":{"value":{"amount":"+0.84250915","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3533037$FF67104F-6376-4E85-988D-5905D787CC77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a4e4514ad0898f78b9ddc3350d378a29c78aa27","datavalue":{"value":{"entity-type":"item","numeric-id":4778616,"id":"Q4778616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a11f935ec9d858b341c0a8d364b18256597f462","datavalue":{"value":{"amount":"+0.8411579","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3533037$9D6DB14E-AA43-485D-9528-683CE4B46DC9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3533037","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3533037"}}}}}