{"entities":{"Q2265804":{"pageid":2276547,"ns":120,"title":"Item:Q2265804","lastrevid":43789887,"modified":"2025-11-14T06:44:57Z","type":"item","id":"Q2265804","labels":{"en":{"language":"en","value":"A note on specifying and verifying concurrent processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3892579"}},"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":"Q2265804$B70379B1-006B-4D4D-97A5-F1995E20A8FA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ae4367b9d3f7a693a0f8b8d46ce06e54e20c8077","datavalue":{"value":{"text":"A note on specifying and verifying concurrent processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2265804$E487B25C-449E-4B44-A87A-62FA701A934A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"57ad4cf33168867096d803defbed3f68537a09f3","datavalue":{"value":"0559.68033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2265804$EA301B3D-1462-47F3-AF9E-DA46FA5B93E1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1ffa464e6fd714f27a12ca25b7a3c4b583dd7c2c","datavalue":{"value":"10.1016/0020-0190(84)90028-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2265804$1E1D9803-CAF3-45FE-B36A-35800175D089","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a0b7caa867576126152d465e12b8f30421d1e09","datavalue":{"value":{"entity-type":"item","numeric-id":1111369,"id":"Q1111369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265804$F8DEE9FF-5880-4C16-A75E-ED9D4CE78BD6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265804$EFD40E3E-2586-4CFE-9B98-5D0AC9D58935","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q2265804$09637B0B-3321-44FD-8CD2-831B1BA36C2D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2265804$F4A8441B-C41A-4987-B8A1-630E2084B18E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9b4d4a08f55b6ff5553056f74bb334425d70da8d","datavalue":{"value":"3892579","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2265804$213121FA-E2CD-46EE-AB6D-5EEB4A272C8A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c513ca51c10b43d75d56f3224babbf385037b0ef","datavalue":{"value":"model for concurrent processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2265804$CAF8F532-7F25-44E2-A858-618CF7439B87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5b2a5971e522b8e36fe2968ce8dbe6bcfd1fd1b","datavalue":{"value":"synchronized shuffle","type":"string"},"datatype":"string"},"type":"statement","id":"Q2265804$8968EDEA-3BC3-44EB-A8BD-B1851487EC3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6f29d69eea86114a2be02dd9493ca2b3a6cf803","datavalue":{"value":"extended regular expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2265804$F517A389-8532-47C7-8914-255A4667F874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38bc031ff8efd5106fbde46782dd09ba37b5089","datavalue":{"value":"unbounded semaphores","type":"string"},"datatype":"string"},"type":"statement","id":"Q2265804$F254B854-F2A2-4B6A-9D83-5CA25DF0444B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1d37acf1280c5b9851f1c9025a580adb30e23db","datavalue":{"value":"binary semaphores","type":"string"},"datatype":"string"},"type":"statement","id":"Q2265804$6AF0DE7C-09DC-4FB7-A5C0-56E2E5306342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c053a6b16bc6ce5ed758dda423f5a33eaf6c684","datavalue":{"value":"counters","type":"string"},"datatype":"string"},"type":"statement","id":"Q2265804$5414BE1A-8695-4F24-926A-D11322E219F6","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":"Q2265804$A9791B2B-5107-4A9D-8E33-607FFEA0A23B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4bf075de82f08bb2c0b1804a36bbd8d7ee9319ac","datavalue":{"value":"https://doi.org/10.1016/0020-0190(84)90028-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q2265804$38BF2B0F-1A34-481F-9DB0-297470BBFCDB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"66a9e111325d59f0962a2929214aae7b9ddc29c2","datavalue":{"value":"W2071904954","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2265804$962979A6-8615-4556-A221-4CD98F1DB509","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d1761a09004f51b7648c0040bb836638e110177","datavalue":{"value":{"entity-type":"item","numeric-id":1249432,"id":"Q1249432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265804$873F976C-A20D-4880-8647-AF7A45C3DF74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7abb4d5aadd197de7bfe25cc729a40b39875c154","datavalue":{"value":{"entity-type":"item","numeric-id":1164413,"id":"Q1164413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265804$3B1CD463-127D-4242-AA42-1E98D3260B64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5284f7991c38fae99078136506785628d19da5a","datavalue":{"value":{"entity-type":"item","numeric-id":4158461,"id":"Q4158461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265804$73AB6F20-62C7-49CF-BBD7-DCE321654801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23cf470858ca8a0b7734ec92fbd477fe30122737","datavalue":{"value":{"entity-type":"item","numeric-id":1162167,"id":"Q1162167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265804$1F73A885-586E-475A-AED7-0D621C1B3604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3e79c1198a5adad0b28f20fcd66d4c98012ceb6","datavalue":{"value":{"entity-type":"item","numeric-id":4162475,"id":"Q4162475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265804$358CE6E3-380F-4A2A-BC58-6BA28F97E79B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2265804","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2265804"}}}}}