{"entities":{"Q685459":{"pageid":687308,"ns":120,"title":"Item:Q685459","lastrevid":78189044,"modified":"2026-05-06T10:59:59Z","type":"item","id":"Q685459","labels":{"en":{"language":"en","value":"Graph rewriting for a partial ordering semantics of concurrent constraints programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 417380"}},"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":"Q685459$C9A20870-F875-4815-B475-FDB22BB2A3B2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"09f418e96d7cde8925c78bc358146926825d246d","datavalue":{"value":{"text":"Graph rewriting for a partial ordering semantics of concurrent constraints programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q685459$0D416FD9-79AE-4D73-B3A4-89CF9651BF5E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b56d31e435cc4a51079b88bc5f89be024c13e27b","datavalue":{"value":"0798.68095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685459$A602788C-82D8-4C2F-A1BF-C9E0A4B24B77","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e20bebc6c62c6940d75ccca4db73ee11d1c30ccc","datavalue":{"value":"10.1016/0304-3975(93)90069-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685459$AD9A0874-6D7A-4D76-8E2E-19997B556082","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ab74128b30d9d3177b548d034f074daa4c15d68","datavalue":{"value":{"entity-type":"item","numeric-id":239557,"id":"Q239557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685459$C923B9A7-6E26-4B7C-BC8E-5085B8C4796D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca052cd75ae8866cea759c6abc9962056ebfaf0b","datavalue":{"value":{"entity-type":"item","numeric-id":239558,"id":"Q239558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685459$D378A8C9-6692-4265-8147-55AC2AE20971","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":"Q685459$DD399534-6A52-4D18-BD1B-2E0043D36712","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"984246259ef39e1986d26ac7775e6cceef3e99e4","datavalue":{"value":{"time":"+1994-10-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q685459$2972AA3D-5F14-45A5-9471-056DF4E773AD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685459$76639611-6EDB-4F7C-B9E4-990C96C794B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685459$760AA191-D6EE-4D9A-92AF-D777805A6FA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685459$3C0385A5-A815-4BFC-AF83-F4E690160E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685459$A149640A-BD49-4A70-9D94-143C7C9019F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e67cb276a8b9de442d4aa1473a400df5173e50f0","datavalue":{"value":"417380","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685459$04837F26-930B-45F5-9505-9CA1E2770E98","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffe802cd0c56541564b404252646a442e231b0d8","datavalue":{"value":"graph rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q685459$881CE215-BD4B-485B-92A7-A1EB7688A4DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4b5604ef74d6725c59d4fc8f53acaee8f41abbd","datavalue":{"value":"partial ordering semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q685459$9BC39F97-73B1-49D4-BDD8-AB48E29FF991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d065d0bb21e03ad0fae41e182b54467e1268adf","datavalue":{"value":"concurrent constraint programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q685459$7D726B10-68F5-4043-99E4-0F337B7787E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63a0b5bbdbffeb2f6d94dda6a7bccbc2173775aa","datavalue":{"value":"hypergraph","type":"string"},"datatype":"string"},"type":"statement","id":"Q685459$4C89EA17-20A5-40E7-A2DE-B3E102A0B376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q685459$809C41B9-6092-4B7F-A215-81F2C56F120E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef005c57ec72bf1e5b47bd8f6a8adaa20239b969","datavalue":{"value":"entailment","type":"string"},"datatype":"string"},"type":"statement","id":"Q685459$AF3F1141-225C-44AE-A434-7CB1E7A3703D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32eac32b242003d985c73176875eac51e6e2005a","datavalue":{"value":"graph derivation","type":"string"},"datatype":"string"},"type":"statement","id":"Q685459$8C15F9CA-0D58-4469-9B23-A947C40B9B3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ec036bfb2fefcb5d618fe6c581d4d7c4e68a2f9","datavalue":{"value":"true-concurrency semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q685459$11C55F02-DAC8-46CD-BECD-4D4F7A5E75E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10aada1bcebcea30af443e4c20bac92e26c0b2a7","datavalue":{"value":"graph grammars","type":"string"},"datatype":"string"},"type":"statement","id":"Q685459$E935DAA7-E1E6-46A2-B76C-F427C11D303D","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":"Q685459$C473A01A-5EE7-4DEC-8153-AF56C132E27D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"55ded2bad387a689a6a1356c2a9637a225d775a4","datavalue":{"value":"https://doi.org/10.1016/0304-3975(93)90069-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q685459$5FC58BE0-2105-4DB4-9E76-6146539A371C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"02ef8e710796636bd71683c398a9492970319d28","datavalue":{"value":"W2008511866","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685459$C5EB1CD5-7FDD-400E-9B86-0AED7A0849F3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"78bd4d37c74978248dc9e96b49498af42c4bab8b","datavalue":{"value":{"entity-type":"item","numeric-id":2736349,"id":"Q2736349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685459$0EDE7D27-E0A6-4E9C-8485-F8EA2BE08CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c4e91402aaf1eb219be76b5f8d8520f3591ddd3","datavalue":{"value":{"entity-type":"item","numeric-id":4037311,"id":"Q4037311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685459$6A8D4308-8FB1-4AA8-90F9-C8B0DE22F973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"111853608d89f70e25fbbab39398b87db304186d","datavalue":{"value":{"entity-type":"item","numeric-id":2736348,"id":"Q2736348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685459$E0B03DE0-FAF7-46CC-8D75-B6FEB4BAFEE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685459$F52DC70F-32E5-4DB9-B58D-F138D9BE4CB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685459$00741426-A051-477F-B51D-5F7CC72ED09C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685459$0FCB587C-E260-41D6-8D47-71684C409D2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685459$DD599D0C-D880-4CE2-800A-C07624248706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c64567cd2ed636c3912e6b591566c2c8cac9d84","datavalue":{"value":{"entity-type":"item","numeric-id":2384384,"id":"Q2384384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685459$6FE7F2EF-74F4-469B-8368-1ECE8704C2E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3831ed99dc596a0250261761568b92b9560f0cb7","datavalue":{"value":{"entity-type":"item","numeric-id":4038718,"id":"Q4038718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685459$52594436-DDEA-4990-976A-CD1F84E4A12A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"558e06cc3ddebf10ee88da203fbe6115edbd40a7","datavalue":{"value":{"entity-type":"item","numeric-id":3873555,"id":"Q3873555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685459$011CADAF-B5F6-42A6-936C-FB42D9A13082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66d102eeedc0eb3199ce5808a637283d2af0ab5d","datavalue":{"value":{"entity-type":"item","numeric-id":1878719,"id":"Q1878719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685459$920BA510-4F20-4705-B7BF-564B4639A88E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"178038c420b9380f89f1a3e49617f7b6840655e2","datavalue":{"value":{"entity-type":"item","numeric-id":3670575,"id":"Q3670575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685459$DFFFA58C-2160-4DB0-B64E-2CB600F853DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f857559f497d88c44e56392a1ad488904465dae7","datavalue":{"value":{"entity-type":"item","numeric-id":3959414,"id":"Q3959414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685459$F6EE7B21-FC3B-4A38-B4B8-BEC10C4B5BD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eb4f47a7131723dd2e4a4daa9f6dc9e584962f3","datavalue":{"value":{"entity-type":"item","numeric-id":1605181,"id":"Q1605181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685459$36D6435D-9740-4FA8-9181-2203464E1EA6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7b6fde90db49e401b580f3d572059ce287e761bc","datavalue":{"value":"Q127001668","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685459$CB5D76BD-5980-4D30-83AC-B1AD7B6C997D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dcf36a4e64cb418cf86010ad63159a0d4366903","datavalue":{"value":{"entity-type":"item","numeric-id":1605181,"id":"Q1605181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b39e57f52e993a4aab318fa04944fd701dc35274","datavalue":{"value":{"amount":"+0.7745233774185181","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":"Q685459$5422B00E-50C2-4CA2-9104-FB1E5EF24044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bc3b21aa179960a1164f70a4d9eb76e6ea3e4f8","datavalue":{"value":{"entity-type":"item","numeric-id":4645280,"id":"Q4645280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7687269a180e01134310d45221e6ce663b85de3c","datavalue":{"value":{"amount":"+0.7682937383651733","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":"Q685459$4BE56AB7-A42A-47A0-8998-BE59107D9BB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0eb1f2284cb362951057bdf19d3fae170075a6f3","datavalue":{"value":{"entity-type":"item","numeric-id":4222806,"id":"Q4222806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6146dbb6d9171d018c099452183f0f9e38c19af0","datavalue":{"value":{"amount":"+0.7678993940353394","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":"Q685459$A6736F3B-83AC-4EBE-817D-42FACFE2171B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4196ccea6f1412b32cc08d9616bbed591b5cffd1","datavalue":{"value":{"entity-type":"item","numeric-id":6104366,"id":"Q6104366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90cebafcbff0abf0e8d1c401f7318ee9b3d07fcf","datavalue":{"value":{"amount":"+0.7675969004631042","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":"Q685459$ABB6E802-043D-47C6-8E6D-2F043BBF4A9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"704731fb2a9c63862fd8732a231c624316729372","datavalue":{"value":{"entity-type":"item","numeric-id":3785911,"id":"Q3785911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efd68908c6267ad11ecae59f8776c8d72ab24719","datavalue":{"value":{"amount":"+0.7599278688430786","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":"Q685459$17640D37-FA46-4D48-B7E0-B7CD456C9BE8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Graph rewriting for a partial ordering semantics of concurrent constraints programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Graph_rewriting_for_a_partial_ordering_semantics_of_concurrent_constraints_programming"}}}}}