{"entities":{"Q3457984":{"pageid":5237384,"ns":120,"title":"Item:Q3457984","lastrevid":52409510,"modified":"2026-01-22T14:18:07Z","type":"item","id":"Q3457984","labels":{"en":{"language":"en","value":"Decidability of modular logics for concurrency"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6517187"}},"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":"Q3457984$6CC3AE59-D6E4-450E-87FF-C8769A489DEB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8ee8331dde5f534aeca50869c55d67ece0a22a21","datavalue":{"value":{"text":"Decidability of Modular Logics for Concurrency","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3457984$A378ACCF-AC5A-45FC-9D6B-64FF19E96D0F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"462c1a0cae3b44609f05f12bd9357fcfbd73dd28","datavalue":{"value":"1336.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457984$9F4ACC6D-BE94-43BF-BE1B-3590B5E7D070","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"25b5f667b89d8039b74a6b90ad53a4a988107b8d","datavalue":{"value":"10.1007/978-3-642-29709-0_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457984$2F86229C-B43A-40C5-8863-CF96E6069013","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"281053ff0a7b1b4d8d0616e6259c142db607470f","datavalue":{"value":{"entity-type":"item","numeric-id":283760,"id":"Q283760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457984$B48A5077-B8C9-4586-9F74-9E272A664FD5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2ca3c59d5b4a9c62c9dad54b7259d1ebc3cdb0f6","datavalue":{"value":{"entity-type":"item","numeric-id":3401930,"id":"Q3401930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457984$C985E78F-8900-4AF7-8E77-E257ED5DA17A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cafd9cf1ea33c2ca629714ee3a1d874af717ffb3","datavalue":{"value":{"time":"+2015-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":"Q3457984$0DE25723-01BD-4492-B985-AC526E7CDCDC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457984$978B30F4-BB04-4921-9FCA-6BB28EF3791F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457984$A7E17351-F2C2-4870-A073-6364826DE743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457984$6B1EAB52-EF07-428B-AA66-06DF876CA690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457984$8310F9CD-65EB-477F-A5FE-FDCD0B794482","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"538fa8ed104a6dc136e9f436da8a6564601ac67c","datavalue":{"value":"6517187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457984$F232A96E-6E73-4749-B413-12BD6DA537B6","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":"Q3457984$3F0FBDB4-0E41-4903-9246-0FD251446348","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a2c087bc8a78969138a07aa6c6795142b8c6a925","datavalue":{"value":"https://doi.org/10.1007/978-3-642-29709-0_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q3457984$8700E751-E563-4980-B2BE-47B22CA5B1CE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f7d3676176bd5fcde9b7f259d23a62fbf47f7e89","datavalue":{"value":"W1122650559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457984$52AB89E9-BC1D-4EC0-93C5-CD073ABAFA40","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57e6920fc052676052685294f244267a1b1f0172","datavalue":{"value":{"entity-type":"item","numeric-id":5428831,"id":"Q5428831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e06e3f2ef269f945cfa34fea7efb1271a465f3e","datavalue":{"value":{"amount":"+0.7826453447341919","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":"Q3457984$2388E887-3196-4BDC-BAE4-3C845C0729A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"203c28359a7966de6bc2da073dd334f6adaa7c0f","datavalue":{"value":{"entity-type":"item","numeric-id":5311478,"id":"Q5311478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f99c32e3b8a9f5812e7693da0f7fb784da762165","datavalue":{"value":{"amount":"+0.7795475721359253","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":"Q3457984$9B0760D5-C93A-4EAE-9A1B-CB4A47FC96D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e84b6344986cc52961cc02df09f34681c2834e6","datavalue":{"value":{"entity-type":"item","numeric-id":1920224,"id":"Q1920224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f6952a24221b139ebee9ce9f6887421d4ce5a4b","datavalue":{"value":{"amount":"+0.7679169774055481","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":"Q3457984$EAC3E9E4-6F04-42FD-95A5-0B0CA63F8329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3d912c8ff41f37c9732862522f06fb1a162f224","datavalue":{"value":{"entity-type":"item","numeric-id":3005988,"id":"Q3005988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51b27fde901f2d616f8421b51ca3587fe5c926ab","datavalue":{"value":{"amount":"+0.7665658593177795","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":"Q3457984$35F3E4D1-0B1E-4C22-8923-72B4A8330A50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3d3bc9899d43e4bd875c825957fae1ea4c7b489","datavalue":{"value":{"entity-type":"item","numeric-id":2464936,"id":"Q2464936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d50dce5ded68dce25c73ea10c6abf486e7afc62","datavalue":{"value":{"amount":"+0.7511013150215149","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":"Q3457984$6C32D2E4-F49D-4F02-803A-EEE772C66F2B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3457984","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3457984"}}}}}