{"entities":{"Q2947404":{"pageid":2958124,"ns":120,"title":"Item:Q2947404","lastrevid":44767188,"modified":"2025-11-25T22:51:48Z","type":"item","id":"Q2947404","labels":{"en":{"language":"en","value":"Automata and Logics for Concurrent Systems: Five Models in Five Pages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6484726"}},"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":"Q2947404$886C24B5-43ED-4E60-ACF8-0074A7D10A63","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8e233589e18b699df1afa0ee2964475a9fc85dcc","datavalue":{"value":{"text":"Automata and Logics for Concurrent Systems: Five Models in Five Pages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2947404$C45F1186-DEE0-4B01-8326-DADDAA25A05C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cfac7fc511b0ec17089d4703c8cfb351ba1267ff","datavalue":{"value":"1465.68133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947404$FB5B8CCC-57BD-482E-9548-D0C32BCA9794","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"57cb31519d9f43a4c14429d09d70e9299d225aa6","datavalue":{"value":"10.1007/978-3-319-22360-5_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947404$5388E22B-7452-40FC-A9CF-1B809EE2DB6D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"65221e215393442395d12a6532e173c4dee8b90f","datavalue":{"value":{"entity-type":"item","numeric-id":420854,"id":"Q420854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947404$252A72CD-1AB8-490F-861A-F02A825E92AB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bf83f812d2bbb21784a7f63045abdaccf0cc333b","datavalue":{"value":{"entity-type":"item","numeric-id":2830201,"id":"Q2830201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947404$FBDAC5E7-DABA-4749-AB57-31D5E2A030D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d0c16759a79b3d862c4193cb80c97ffad4225220","datavalue":{"value":{"time":"+2015-09-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":"Q2947404$DD6B42B7-4AD0-40E3-8CCA-097FB797645A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947404$78C52CB3-9B96-4735-81D0-90D0A9AAA1DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947404$C0AD4F68-90AE-406F-9B85-CC5AC4AB1644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947404$07C8A92C-C985-470B-95F8-2DE93555CC5C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"623eccaacb2d7cfda30e5a89e46084172364e6bb","datavalue":{"value":"6484726","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947404$10230B0D-99B0-4015-B691-94E992EC3CA6","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":"Q2947404$AA5F6B47-598B-47AC-84D7-7D7EFEE6BDE8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"50b2f82d28f473e1b299e65388a6f74a8122c44b","datavalue":{"value":"https://doi.org/10.1007/978-3-319-22360-5_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2947404$C24F05EF-8887-4CA6-9933-ADB07EE50956","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ac37d2755546b018ec4cb387ebf253cd512d7747","datavalue":{"value":"W2239010912","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947404$B4FB359F-709D-4856-A197-4C3BD3E9A797","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"390cca24b0dadfa15d988b1dc810b48004c14e9a","datavalue":{"value":{"entity-type":"item","numeric-id":3299221,"id":"Q3299221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947404$E0C3FEF4-0FD2-4D14-B10B-9DC61BBB0A3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aafe152d225aa7fd22548124305235260731e8ad","datavalue":{"value":{"entity-type":"item","numeric-id":3452213,"id":"Q3452213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947404$2DAA2E0C-40E2-4CDC-9227-DE2992809935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd11e93c75529377db826ac87ba05a72812a48a5","datavalue":{"value":{"entity-type":"item","numeric-id":3533004,"id":"Q3533004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947404$A54A2314-157D-487C-BD07-1D9DCD5F7911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f99b6b8d77e20e3628ebd7f7a63c4bcb3523ccff","datavalue":{"value":{"entity-type":"item","numeric-id":846359,"id":"Q846359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947404$058916BD-8853-4C87-AF20-5A93B9514D4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bb4a91e9cc7eca8e9ff5f00e4ce6d5e415cf749","datavalue":{"value":{"entity-type":"item","numeric-id":2946646,"id":"Q2946646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947404$6B3CC440-9F94-4FBF-A8DF-F0CB2AB13970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20aa14d2574db0bf9a70a5e30d2097dd69c5ce61","datavalue":{"value":{"entity-type":"item","numeric-id":3623011,"id":"Q3623011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947404$4D93B4AB-9EC5-4C4D-896B-962DD327301B","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":"Q2947404$8B334095-16B4-4DFC-AAEC-29DFCC7287A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a05f05f61b46a8fd8bda9fb47a75f81f498f2f8","datavalue":{"value":{"entity-type":"item","numeric-id":3657436,"id":"Q3657436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947404$192D6824-C701-44B0-928E-F4CD783E4A50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"465c44674a94414cb55e7dc8cbdf974e7462af9b","datavalue":{"value":{"entity-type":"item","numeric-id":3287248,"id":"Q3287248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947404$47189878-59DF-46FE-A9AC-FAADD1F2CD66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"664c83bf274f93d861a5c0c6834d01ddb129bcbf","datavalue":{"value":{"entity-type":"item","numeric-id":2912701,"id":"Q2912701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947404$3EB0789A-5C9C-498C-8317-29B4826E6C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"610f18af86e72d607815e49bf82138004c1095e4","datavalue":{"value":{"entity-type":"item","numeric-id":2496297,"id":"Q2496297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947404$756637E8-7106-4D0A-9C23-771AC3AA6528","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":"Q2947404$44B077BE-9F5E-4C98-9B05-14D34A4CEFFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cff16a935c2034837354d981dfd2339633b57e2b","datavalue":{"value":{"entity-type":"item","numeric-id":3557012,"id":"Q3557012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947404$79ED3CAE-4788-4C06-904A-19488B0B6890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"345881c85bc4e207457b192e218d19617e3a2bb4","datavalue":{"value":{"entity-type":"item","numeric-id":5891814,"id":"Q5891814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947404$C6EA06D6-C4EA-4DB2-A876-90001A80C35F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c6905418d13acee63d1d7cf97dfabef840c0ce1","datavalue":{"value":{"entity-type":"item","numeric-id":2922031,"id":"Q2922031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947404$1FD9E97C-12C0-4A7B-97A4-0EA24BB1B958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c5cea71c6aacfcb4cc8bc4d70a2c543dbb0d272","datavalue":{"value":{"entity-type":"item","numeric-id":5408550,"id":"Q5408550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947404$609AC620-33FB-467B-AAB4-0401999E1DF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0441297862d6952d12b989e3b55db9b72ad84dca","datavalue":{"value":{"entity-type":"item","numeric-id":4353626,"id":"Q4353626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947404$28672E47-8EB7-4374-8F1E-4FD6576710D2","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":"Q2947404$F1DC159A-AA91-462E-B28A-2D51ADBBC8D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e765617be6c53999db47622e1c6d446a84e10149","datavalue":{"value":{"entity-type":"item","numeric-id":5586356,"id":"Q5586356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947404$9D93651F-4C68-4CCB-90A2-9CFFE2CD0617","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":"Q2947404$ED33B742-FF85-43D0-9C9E-1814B40376E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2947404","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2947404"}}}}}