{"entities":{"Q1236879":{"pageid":1247629,"ns":120,"title":"Item:Q1236879","lastrevid":70397883,"modified":"2026-04-13T14:30:03Z","type":"item","id":"Q1236879","labels":{"en":{"language":"en","value":"Formal semantics of a class of high-level primitives for coordinating concurrent processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3551853"}},"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":"Q1236879$116A5360-E51E-4296-A99E-B3293AEFE730","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"54ea18810d03d5aefa4e716140b049eee082633f","datavalue":{"value":{"text":"Formal semantics of a class of high-level primitives for coordinating concurrent processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1236879$CB070E70-8F45-4700-90A4-2750261977E4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cacbfe4e5ec86a45e0511a71c087e70161c50a26","datavalue":{"value":"0354.68026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1236879$23EF53B0-5C8B-4F64-8891-89A279B209F2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5cac293bc01b28af9d738261a5004c3acc6f81ff","datavalue":{"value":"10.1007/BF00290341","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1236879$6B76B37E-EF4B-4037-8795-565CF51B8993","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a7b1e48311f2e5d6aeb3b0a1082dc2f457472df","datavalue":{"value":{"entity-type":"item","numeric-id":1219677,"id":"Q1219677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1236879$E0D6B200-6A86-4BF5-8805-CCD565509909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"45c6065481c2331fb0756742cd7aef75e8a67fda","datavalue":{"value":{"entity-type":"item","numeric-id":1083184,"id":"Q1083184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1236879$CCAA10F9-326F-45C9-B4F8-2DA03A045291","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1236879$C7E44222-09CC-4235-9484-E66C3413B81E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a49472451190faf858f564fafd4bcba399999753","datavalue":{"value":{"time":"+1977-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":"Q1236879$F4325490-CF5F-4DC6-BBD4-5304179A96FF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1236879$DB375872-84EF-4E7E-ADC2-B80E62692B52","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"71d37b59a9196d971ecc178318236206ce59d496","datavalue":{"value":"3551853","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1236879$70048175-3AFE-41D7-8754-A6EE83D0EFA2","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":"Q1236879$2EF68BA4-FA31-46C3-9F86-2ED3F3063E58","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"feaa3bfec002a82fc4585a2aa94686d76e5f78ff","datavalue":{"value":"https://doi.org/10.1007/bf00290341","type":"string"},"datatype":"url"},"type":"statement","id":"Q1236879$5F58D376-E502-4846-98E9-9992C0C4CC04","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"67c9719f9dbaae40c876749d842ff7b8dac0f700","datavalue":{"value":"W1991273199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1236879$F4B5E943-DAF7-432C-A2C1-69FB5AE440C2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal semantics of a class of high-level primitives for coordinating concurrent processes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_semantics_of_a_class_of_high-level_primitives_for_coordinating_concurrent_processes"}}}}}