{"entities":{"Q3787981":{"pageid":5817887,"ns":120,"title":"Item:Q3787981","lastrevid":52813820,"modified":"2026-01-23T13:43:33Z","type":"item","id":"Q3787981","labels":{"en":{"language":"en","value":"Concurrent dynamic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4051576"}},"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":"Q3787981$6A0DA52A-EF34-4116-B3D0-898222055542","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c989c9e8aa279f84741bd717da34010735a2be96","datavalue":{"value":{"text":"Concurrent dynamic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3787981$4AA6F076-CEED-47F9-802C-505E51D774C3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4b07e2a8242c532e4b4a8438b4c585d86860f133","datavalue":{"value":"0645.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787981$D1491299-82CD-4074-896B-FB27995CBF72","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"63c21940de6382f70e96506549d3aa3fe49f0935","datavalue":{"value":"10.1145/23005.23008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787981$07EB96D2-E8A5-4FC3-9130-236764AE2CF0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3787981$E76840B6-CC62-4603-8129-457C15BF9AA9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3787981$4E46D43F-803A-4E2B-9CFC-B16DAC6C49D8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787981$E0560022-1183-4FE5-976A-F42FD71B556C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787981$C369EF53-9A5D-4758-8FBE-DA35ADB19D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787981$A6A0E92F-9066-4F41-8ACB-78B38E2D09DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787981$CA75734D-C9EE-454A-BA27-1133B7E594C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787981$1F7FDD28-7AA3-4D58-B9EC-C00CE96FDBE3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6679c0b1d00dcf2bc70499541a8343d6195ad190","datavalue":{"value":"4051576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787981$631FAED0-839E-40A5-8862-3C109D47D39F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3787981$43039F5A-8698-4FD8-A78B-E1F119269CB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60fc32d1be7a31b5e8ab31b4478270530f353f23","datavalue":{"value":"Concurrent dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3787981$73C77798-00D6-465A-AE21-3D9976DCCE55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a850ee01f9fe6c0e93ae692ac21d7eb4a5f1f68c","datavalue":{"value":"concurrent programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3787981$9312EA9C-CDA4-4685-93E8-E0C2B80D5AD1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"27618d3afb5e8d09bd379eb0df3ccd8566897b24","datavalue":{"value":{"entity-type":"item","numeric-id":244948,"id":"Q244948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3787981$63058793-DF81-4F00-936C-72D8E4A39C61","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":"Q3787981$F4481965-5152-4E81-BD13-AF5E1AE12214","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9beb6ccee48e7a80a1ab4024613dd5cffd218d62","datavalue":{"value":"https://doi.org/10.1145/23005.23008","type":"string"},"datatype":"url"},"type":"statement","id":"Q3787981$DBB2DA55-A550-4635-AFC8-9E3D38F3F991","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"203a891db57b57f94817cbb0e235ff012dca6a20","datavalue":{"value":"W2059396299","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787981$3E80F62E-C597-46EE-8125-005FAB1A3F21","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e93c1ce841eb359cd93c627252590f55043ec4a","datavalue":{"value":{"entity-type":"item","numeric-id":1095653,"id":"Q1095653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81a08f31443e003e9b2bc3f7e423a786194b226d","datavalue":{"value":{"amount":"+0.856161892414093","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":"Q3787981$4E43095E-48A6-4FF8-A9A4-14213A3EEEFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c3d8d3de5d42b3ace4f0b4f9e040702d696c481","datavalue":{"value":{"entity-type":"item","numeric-id":2488268,"id":"Q2488268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d05ac700af2f6f604a7b5de45b6ce2b5caf82ef","datavalue":{"value":{"amount":"+0.837289571762085","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":"Q3787981$C82E64D6-73F3-4230-8937-F23896F7DB68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab5cf9af7c3753ca49859a1990c2ccf9d498a943","datavalue":{"value":{"entity-type":"item","numeric-id":4928449,"id":"Q4928449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82517d9b3fcae9b79ca486d70d127b6b06bf2733","datavalue":{"value":{"amount":"+0.82174152135849","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":"Q3787981$06B14AEC-BF1D-4A77-9019-CD44E4763B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1696c4ca228238e4beb09001c17ecb040f1e3e7e","datavalue":{"value":{"entity-type":"item","numeric-id":3185762,"id":"Q3185762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d793361563c5386153d18a76f53ded5cf4748913","datavalue":{"value":{"amount":"+0.8196848630905151","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":"Q3787981$D72AC012-A94F-456E-A8C3-EB41D8380010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d64f7cf5a4a8bef95f15d019d7e2ebc07da1af6","datavalue":{"value":{"entity-type":"item","numeric-id":1207436,"id":"Q1207436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8e8a995fc7d37d593e98c49e702c5f87a11631b","datavalue":{"value":{"amount":"+0.8193272948265076","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":"Q3787981$D0C2C738-2CA9-49A4-8FDC-26790D1C9589","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3787981","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3787981"}}}}}