{"entities":{"Q2931271":{"pageid":2941991,"ns":120,"title":"Item:Q2931271","lastrevid":58063275,"modified":"2026-04-03T16:05:26Z","type":"item","id":"Q2931271","labels":{"en":{"language":"en","value":"A proof theoretic study of soft concurrent constraint programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6373652"}},"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":"Q2931271$97A5E802-3E10-4532-B29C-F6E2ECF294D5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c594432053c6607db19fa96b75092f3b268b36ce","datavalue":{"value":{"text":"A Proof Theoretic Study of Soft Concurrent Constraint Programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2931271$E4404565-1403-4DBD-AEF4-70D1851F75E2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e986e15cc1ae9a4abf97b3e90e6e37d27b924e1c","datavalue":{"value":"1309.68034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931271$E062FE39-27D6-4165-9F7E-9E9DA2942185","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"53e10ab43f0047362b05f03806c8aa99e280c62e","datavalue":{"value":"10.1017/S147106841400026X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931271$184082CC-D68D-4ADF-A9ED-57F38360DC2A","rank":"normal"}],"P16":[{"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":"Q2931271$567FD505-8DEB-49C8-8E9D-A34F3181EB75","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":"Q2931271$7FC30EA3-66BE-41B9-B835-3630F62D91D4","rank":"normal"},{"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":"Q2931271$28D3BE15-8584-4A8C-A295-FA1C564552CD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931271$27035AAD-241B-4011-86D1-2857BB14AFB8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a882446bd128890a95a71deebb9cb2548da37a94","datavalue":{"value":{"time":"+2014-11-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2931271$640AD873-A5E6-4C61-A8D6-3C4C95BD0B1D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"93942c2e2bc08e978e3c398329dd7bbe110f140f","datavalue":{"value":"https://arxiv.org/abs/1405.2329","type":"string"},"datatype":"url"},"type":"statement","id":"Q2931271$FA867C0B-7B5E-470F-86D4-689A34FD7C79","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931271$9477825B-70A9-4D81-BFD2-3C810CCC87BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931271$E8DB6051-723F-407C-9640-CBF453CD5483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931271$D1547E49-1CF0-4814-A345-1B1BA0071F2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931271$797D9107-EB19-402B-AF2E-7295025143D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f66a3c6f6c4263d812ea49e5394cac6ea83ef9b","datavalue":{"value":"68T37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931271$E276B6FA-BD5C-4A47-99F9-5AB7F12CD38A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7367fe35ed85a883111362bf0da602fb52ab2a45","datavalue":{"value":"6373652","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931271$D538CA90-A545-4B95-9A8A-97D0BFFDE82B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d065d0bb21e03ad0fae41e182b54467e1268adf","datavalue":{"value":"concurrent constraint programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931271$E85965F6-4479-46BE-98D9-96224FAE45E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931271$43EC6429-6759-439E-985B-3E14D177FD8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5255d6bc95f67a9ca072e18d3acb3b764e225be","datavalue":{"value":"soft constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931271$93B6D82F-39C9-4480-B6D9-D3791DE1014D","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":"Q2931271$C56EE651-7F7D-4F6B-A8B8-D38C4A90C38D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"99d9a13d397e349926a4c14c874e124a08b2ba4e","datavalue":{"value":"Q57850758","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931271$4E9F8B7E-34BE-4EE6-A74B-23B98E576450","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7335a89b16e48568f0fcf80fee2746eadf20cce2","datavalue":{"value":{"entity-type":"item","numeric-id":2348541,"id":"Q2348541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931271$E62F1797-4DA3-4D9A-BCAB-818F70E241E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7516fc65ecac37755fe011fe1711991dc2a48599","datavalue":{"value":{"entity-type":"item","numeric-id":3184605,"id":"Q3184605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931271$E8332378-9124-4554-BC67-3A763958F7E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58896131077e962d2f5cdffd0705f235c9780331","datavalue":{"value":{"entity-type":"item","numeric-id":1854359,"id":"Q1854359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931271$AE25EDB8-378B-499B-87D4-2FFDE3C41745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931271$88248D81-6AC3-4383-996F-F4694F34DB47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0075cc4f82c18d864dcb2bee65932bb039b961c8","datavalue":{"value":{"entity-type":"item","numeric-id":1854410,"id":"Q1854410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931271$05B27D1F-CBCC-4CA3-BA58-F6B673387DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c94b3575873cc547ba5593ec73892c127ba61ad3","datavalue":{"value":{"entity-type":"item","numeric-id":1818347,"id":"Q1818347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931271$4B7869CE-8665-45E6-9D45-724967F34B7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98252c3c8bfd426068fb5d970e565df498f1ebfc","datavalue":{"value":{"entity-type":"item","numeric-id":671989,"id":"Q671989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931271$44E21079-2A6E-440F-A260-43592F3F46C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c93469e0198f6a91cf1f1f86ea66dbfc855feef7","datavalue":{"value":{"entity-type":"item","numeric-id":5277756,"id":"Q5277756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931271$C9DD65F2-80DE-4E2C-B844-447037418903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c8a11e59982d4661b56434a85f083056778ce45","datavalue":{"value":{"entity-type":"item","numeric-id":4377273,"id":"Q4377273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931271$F5C18129-2457-4252-A244-B5C8B093B561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42bdbea0160e788f4fb95a24a8a29ffb0eadc069","datavalue":{"value":{"entity-type":"item","numeric-id":4018167,"id":"Q4018167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931271$2546DC55-882D-449E-AB74-9519521A9A46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d9e175b0418f8d7c94c2df16fcb74fb6bd2b379","datavalue":{"value":{"entity-type":"item","numeric-id":2506231,"id":"Q2506231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931271$8BCB211E-CCBF-4C97-BFFC-7DB5B561DA7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02f05e5d64a6e6e44808e7f19556ff5151d11384","datavalue":{"value":{"entity-type":"item","numeric-id":679325,"id":"Q679325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931271$5507F3B1-9266-4566-BC00-B6FDCA027635","rank":"normal"}],"P1643":[{"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":"3e02ec5f6aa382277d3a1f42ad43e9eaf1bc4da2","datavalue":{"value":{"amount":"+0.8577719926834106","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":"Q2931271$DEF8EADF-3A28-42EA-87AD-B6B07651703C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"776444cdd297685ec6217423462f67924fa03277","datavalue":{"value":{"entity-type":"item","numeric-id":4847021,"id":"Q4847021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e2770c8ad0548314e6ec95e92b5af6493433d2e","datavalue":{"value":{"amount":"+0.8180329203605652","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":"Q2931271$5ABAE75C-936E-4635-8BEB-723FAC4ED64D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83c6e7d7afb58340c253340165ac0d09e36fe697","datavalue":{"value":{"entity-type":"item","numeric-id":5277756,"id":"Q5277756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e06883daa6be28c1eb1579b592017eb610d69607","datavalue":{"value":{"amount":"+0.8132707476615906","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":"Q2931271$0E6D85AB-3F5D-41BA-B5D1-4B36E8551F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1cbe10eeb0d4daf2e769f7cff5ff9c15abbd708","datavalue":{"value":{"entity-type":"item","numeric-id":4375591,"id":"Q4375591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f830188159141aef38dc82e30576c3e207b3e288","datavalue":{"value":{"amount":"+0.8103060126304626","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":"Q2931271$5B5D6CCF-C7D2-4A4D-87AC-D07BDDF670B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea22eabe532dbc9bba1b0ff447183e8c2fe9dc05","datavalue":{"value":{"entity-type":"item","numeric-id":2403819,"id":"Q2403819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c48c79beafe7a562ea25b8d9a8081e5d242e89f","datavalue":{"value":{"amount":"+0.8103058934211731","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":"Q2931271$A87983F0-AED7-48D2-9BA3-6E1B27EE96D2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2931271","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2931271"}}}}}