{"entities":{"Q2842123":{"pageid":2852843,"ns":120,"title":"Item:Q2842123","lastrevid":79463129,"modified":"2026-05-06T13:58:03Z","type":"item","id":"Q2842123","labels":{"en":{"language":"en","value":"A general proof system for modalities in concurrent constraint programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6197915"}},"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":"Q2842123$9D409717-0F75-4291-A8FA-F2AF8C59FD5C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"156afa7b182a8e902f389f5f02a0a5208ce1c0c4","datavalue":{"value":{"text":"A General Proof System for Modalities in Concurrent Constraint Programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2842123$6F2BCFBD-CEA1-4F31-A975-F9845C18967A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"439ab59f7cd5350abe387e961445cd4ff83f5ea2","datavalue":{"value":"1390.68485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842123$D0E78919-6B58-4F87-8705-2B93505595BA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8437476a9fd88bc964078690be378a405a9f5576","datavalue":{"value":"10.1007/978-3-642-40184-8_29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842123$53250E09-0BB8-48C4-B958-B701BD81E0BB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ef528bc8876184f9d4707e8d3f50dda4f6f700b","datavalue":{"value":{"entity-type":"item","numeric-id":281158,"id":"Q281158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842123$6086C314-60A4-4DA2-8DB5-CE786779DF73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a291a40249c385e5a5b67f84938ffed092fc031","datavalue":{"value":{"entity-type":"item","numeric-id":281157,"id":"Q281157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842123$82553A91-00B2-4ADD-8E90-B740D2CD15B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9dab131966fa3a7c4d479908f52d38aee59c5d7c","datavalue":{"value":{"entity-type":"item","numeric-id":281159,"id":"Q281159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842123$C1D5DDFB-989F-4B11-972D-9BCA12F24C67","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2be6a3088c84110bcf5fd8aea373200c5bd18e3","datavalue":{"value":{"entity-type":"item","numeric-id":2842094,"id":"Q2842094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842123$441E3173-24DD-487D-ABEF-F25A2A60D7EB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f821b5a4e1b97d333daa587d84e241971425051f","datavalue":{"value":{"time":"+2013-08-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2842123$EB639FF3-0002-408D-88C4-579BAE2A7A14","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842123$603DE440-9CA3-465D-9905-DCEF6A0D0C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842123$515926D0-1272-43FB-B951-A1AF350FAF64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842123$71587750-6054-43A0-B425-A40B13F01706","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e74e0a73f05d5d9ebcbdcb84ea5c01d4c7e29a67","datavalue":{"value":"6197915","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842123$82C5DDB2-06BF-4F7D-B6CB-FAEA5F4EDC94","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":"Q2842123$5B4957F0-6FB3-4D87-8EAA-8E89A6B88CC2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"32a219ccf84c02f4df4472b1bcd1a32347a7fd36","datavalue":{"value":"https://doi.org/10.1007/978-3-642-40184-8_29","type":"string"},"datatype":"url"},"type":"statement","id":"Q2842123$A4CA2BAC-CBFE-49E0-AA8A-DF24B6B23812","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"606da7fa8e4c2f737855b35691043358bdec2cb6","datavalue":{"value":"W87267104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842123$17E90317-AB7F-4AC7-BE15-2FE674F98CFD","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"23f0052e03f2b925a1da5010c31bec99db32b425","datavalue":{"value":"Q57850801","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842123$80CEAEBB-92DA-46D8-98B1-B2A5808AF6D8","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"ac13351334226712e6082c92c722945857f1bebf","datavalue":{"value":"conf/concur/NigamOP13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842123$DE35D7C2-22E5-48AE-940C-FCB530F95819","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c84211086ae9e28c7ad0f106cb9b60bc123aed8d","datavalue":{"value":{"entity-type":"item","numeric-id":2404074,"id":"Q2404074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2eca63bfcba5fc3ad6a97cf24c42ed7e9ee2f6dc","datavalue":{"value":{"amount":"+0.8965963125228882","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":"Q2842123$1313D52F-BC4F-42C6-A6C3-94E8F880FFBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a8968ee0f616e78079e9035458de3b9be730bed","datavalue":{"value":{"entity-type":"item","numeric-id":897936,"id":"Q897936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"863c6512bdc5983f814b1a4e916214518b9bad1a","datavalue":{"value":{"amount":"+0.8472563624382019","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":"Q2842123$C8CEEB02-0A8A-4466-A37E-4F970E69F673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b956360f7a43523f46ff440485e2aa5393319b5","datavalue":{"value":{"entity-type":"item","numeric-id":2931271,"id":"Q2931271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db6f0503d9e6c16bee70b03509c75ed2664bfe39","datavalue":{"value":{"amount":"+0.7802374958992004","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":"Q2842123$B462458A-C0E8-4431-AC71-49FB18F2D405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9847ce7db61337134e7f0326570582b0dbcca0e9","datavalue":{"value":{"entity-type":"item","numeric-id":3677160,"id":"Q3677160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e808be9f34230763302da93e55281e9c2aeb94b1","datavalue":{"value":{"amount":"+0.7700535655021667","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":"Q2842123$8173BEFD-81E9-4ABF-99E6-1EF94220BDEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0745e883f776b5cbd440bfdbb7c40bbd13b305e0","datavalue":{"value":{"entity-type":"item","numeric-id":4738216,"id":"Q4738216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b1977bb25e0291469a9172250d6b130897c72c7","datavalue":{"value":{"amount":"+0.7470588684082031","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":"Q2842123$2C570C81-3D10-4961-ACA5-46E97F4532E4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A general proof system for modalities in concurrent constraint programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_general_proof_system_for_modalities_in_concurrent_constraint_programming"}}}}}