{"entities":{"Q817845":{"pageid":819693,"ns":120,"title":"Item:Q817845","lastrevid":49802062,"modified":"2026-01-10T21:00:04Z","type":"item","id":"Q817845","labels":{"en":{"language":"en","value":"Syntactic control of concurrency"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5013339"}},"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":"Q817845$5CC76A71-168B-4981-A4AF-7CBBA441D290","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e00388557b90756007928220d4fec5e8c1487bb6","datavalue":{"value":{"text":"Syntactic control of concurrency","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q817845$23C1E271-88F2-427F-87EE-DB6F8E8A4AB5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a0b8096e6457693a18730059d66a26dfaad8b39c","datavalue":{"value":"1086.68087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817845$64D1973A-B20F-4872-AB09-3331EE25D477","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5832f8876614de1887b6fff71a1066143db327e","datavalue":{"value":{"entity-type":"item","numeric-id":786129,"id":"Q786129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817845$A98F0C24-F82A-494F-8798-3470E5FB54D8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817845$0652F74E-8FE5-403D-8204-AC0324C35A53","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"87871fabe918b62ae0b497aecc54a3998d2fdfae","datavalue":{"value":{"time":"+2006-03-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q817845$20EE0DEF-2FC3-4710-9F05-F8CF84A6868B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"39acaf6f5709e8265256da41690839788deb2030","datavalue":{"value":"https://ora.ox.ac.uk/objects/uuid:c9fcbd8b-2adc-43c6-951d-ed6a6efc76e4","type":"string"},"datatype":"url"},"type":"statement","id":"Q817845$1074B1B4-6F55-4AF1-A140-63F78440F3B9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817845$5162C9C7-0EC5-4773-8A14-C4E07E63AF08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817845$36F72FD3-44FA-4C7A-ACA3-4CC450020B18","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f31545fc27b542155e22d243243583a3a5e91de1","datavalue":{"value":"5013339","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817845$0850B7BA-493C-4F31-93A6-3F7888BBF1F7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q817845$DAB29FF1-0A6C-47E0-8CBF-94A93CF081A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaba8710741c3625f74acb34aa4edd5eb82e000b","datavalue":{"value":"type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q817845$6B7A538E-D029-4487-A680-977B3B87E8DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q817845$27E5E59C-DC5E-4566-B95E-F862673E1AB0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817845$087F7E8F-10B0-47AF-9CDA-01363B677284","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":"Q817845$449AF42A-8E8C-4D1F-AF87-B2BF2CE79E88","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"24fe7f8c8d51b4bec46a4f614c76e3cf8bd2e43e","datavalue":{"value":"W1981776739","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817845$55ECC5AB-AD20-407E-90B2-0B10FF9C4CB6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea27c2074b50bb307d13b5988cbec7e603c4989b","datavalue":{"value":{"entity-type":"item","numeric-id":5308424,"id":"Q5308424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817845$AC21CB06-39CA-4319-88E6-941846A15D94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"598d99525e9a0094b9fed1dcff845cc4b8ee91b7","datavalue":{"value":{"entity-type":"item","numeric-id":1854394,"id":"Q1854394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817845$1DAAA1AB-2D7F-4304-8AF2-BE6E6A3B6959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efa47c2b0855dbdfacffce47bc2ab6416235baa3","datavalue":{"value":{"entity-type":"item","numeric-id":1575874,"id":"Q1575874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817845$88EE23E8-49AE-4960-B2DF-23A728C1EB09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d969bd9e9070eb4e4b53be99bf5557f5f64d3d3","datavalue":{"value":{"entity-type":"item","numeric-id":3455546,"id":"Q3455546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817845$848ACC87-8740-40F4-8383-D7D1A04FA9A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19bc50e2f4d2cceaac2ab96d0b4ab028848b7d4b","datavalue":{"value":{"entity-type":"item","numeric-id":4023900,"id":"Q4023900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817845$512A789A-7AD0-4CE8-8B7A-BE3C0DBADC30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e73fc23e0e328f8c04156aa61bcdb245b6a446e","datavalue":{"value":{"entity-type":"item","numeric-id":4917052,"id":"Q4917052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817845$D17DED13-F32C-47B5-B753-1FC0393757F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50a57ad67cddac85a1ec8508c32d92cfd4c3ce3a","datavalue":{"value":{"entity-type":"item","numeric-id":2754137,"id":"Q2754137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817845$796B7ECB-BAE9-4285-9F6E-8668E24CF771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5325ab86e194e972949f4e2ea81be95ad8740878","datavalue":{"value":{"entity-type":"item","numeric-id":5308452,"id":"Q5308452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817845$23298E8E-37DC-475C-9179-05F5139F5A14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74af4cdd486c184b87b1edc999f8771463eee416","datavalue":{"value":{"entity-type":"item","numeric-id":2712583,"id":"Q2712583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817845$1C95CBFF-4CC2-42AB-B4D1-3763BEF9FAA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e082ddd83e4fa0c5d575c8b793e54d1f8ee2dce","datavalue":{"value":{"entity-type":"item","numeric-id":2817712,"id":"Q2817712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817845$875CB7DE-7AA8-4796-923F-8311EABF4C91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b44d5c81f7735368555911d4bd1908764544894","datavalue":{"value":{"entity-type":"item","numeric-id":1854393,"id":"Q1854393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817845$6C3960F9-0A53-4E36-B9AC-C062ED719F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b1d274c6ee4b9c24930fb83b43c12797e99121","datavalue":{"value":{"entity-type":"item","numeric-id":5590814,"id":"Q5590814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817845$65F2AE23-3CC3-4D4F-AB3C-545B4C043EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc340352b2684097bd113c10d2abffefaca30754","datavalue":{"value":{"entity-type":"item","numeric-id":557802,"id":"Q557802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817845$0E3D5814-BA68-4345-AFC1-C397FE3A8F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fadda360858226e24fbd9d7369bc08b7623968d2","datavalue":{"value":{"entity-type":"item","numeric-id":2754132,"id":"Q2754132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q817845$BC7EE7BA-AC84-43E9-9D3E-B580B4114D9C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5590e1206c7db4e1a41a657e1db6f63ba418298d","datavalue":{"value":"10.1016/J.TCS.2005.10.032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q817845$2DD2A5E6-CFFD-4CFA-BDC3-A9BA63485D90","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5211719b55ee38e7692c5fb8769dd77bca47b426","datavalue":{"value":{"entity-type":"item","numeric-id":5466504,"id":"Q5466504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f09fef9e52c125f48b2b419020192f9c836114ef","datavalue":{"value":{"amount":"+0.9997721314430236","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":"Q817845$758A5A2F-91C2-4861-B478-FC35727DC9A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01edba4ed38d353d002634ec28fce9720240e5d7","datavalue":{"value":{"entity-type":"item","numeric-id":5716838,"id":"Q5716838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fd5c86f1086e02f94253bda615c1a1dbae2e802","datavalue":{"value":{"amount":"+0.7977079749107361","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":"Q817845$53EA9347-7FA4-4128-8CDA-C380A299DF32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fedefa125589c02f0ce9a99219a9e854f6af2802","datavalue":{"value":{"entity-type":"item","numeric-id":2481977,"id":"Q2481977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c64ff61a477b88175403c9b557eac14e8d32763f","datavalue":{"value":{"amount":"+0.7896089553833008","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":"Q817845$206D7A1A-5E9D-4A08-8226-03DDA9056EB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2624814dc00433bef8e8c2caf5d89ae0494215d","datavalue":{"value":{"entity-type":"item","numeric-id":5308452,"id":"Q5308452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1935e0ce1871a034508d75765c11687130065210","datavalue":{"value":{"amount":"+0.7440205812454224","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":"Q817845$73FB43ED-0561-4D54-91D8-CBCA9F864931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9459b8efd97e06345174de23923e21c182a43d9","datavalue":{"value":{"entity-type":"item","numeric-id":2474441,"id":"Q2474441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6973a4186e404492b235d108904a522e10f2595e","datavalue":{"value":{"amount":"+0.7247980237007141","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":"Q817845$5D1AC48F-7680-4447-BBC0-A1B037779B22","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:817845","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:817845"}}}}}