{"entities":{"Q2873802":{"pageid":2884522,"ns":120,"title":"Item:Q2873802","lastrevid":42413010,"modified":"2025-06-15T16:16:08Z","type":"item","id":"Q2873802","labels":{"en":{"language":"en","value":"A fully sound goal solving calculus for the cooperation of solvers in the CFLP scheme"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6250553"}},"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":"Q2873802$F7321256-9A5F-42A2-9D9A-1F520DB7F1E6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e456c72575165d12c4609c09ba9eff8b37909d59","datavalue":{"value":"1279.68039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873802$F5BB2B0F-F0E5-4BB5-BD26-44CD08A7B7B3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7680ddbf5e0a2f8c7aa33b00b39d4e1ebcde3347","datavalue":{"value":{"entity-type":"item","numeric-id":2867958,"id":"Q2867958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873802$5F6B85F1-6323-4340-8146-5DE112BFDF88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"04a044b7bf6f5b7b54eb6e7b14374b226aad4a56","datavalue":{"value":{"entity-type":"item","numeric-id":1579085,"id":"Q1579085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873802$C61183AA-08DF-4254-A4F7-676336986BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"49015e63764a6e0de5906cc44d21a37384728ead","datavalue":{"value":{"entity-type":"item","numeric-id":1110498,"id":"Q1110498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873802$483CF035-1918-4246-8129-42C9F3F6FB6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da5029835993a287b73cbda73f8b85671562e336","datavalue":{"value":{"entity-type":"item","numeric-id":236466,"id":"Q236466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873802$52012AB3-9C0C-41B0-A555-1F3CAD45BCA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"832f9ab49586722d7004b5343d25ac01a23823ba","datavalue":{"value":{"entity-type":"item","numeric-id":880984,"id":"Q880984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873802$A993E54D-BB16-46CE-950E-7C73C8891035","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873802$A3B3AEF1-57AB-410B-B1ED-EEF8D7D2DAA4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ec1d1b5de12363b743dc1edf0b2d387c6f9a8806","datavalue":{"value":{"time":"+2014-01-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2873802$501DDAA8-F5A5-466F-AC27-6E9276B51E0F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873802$1136CA97-312F-424E-8820-E3EFEB949C65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873802$5186ED54-6801-4083-B5EC-8437C897179E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873802$F4AC17CE-1727-4A5F-91FD-93858DE179D1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c3881a7b00dbdbbbab1479fe5160c06c5a8a5419","datavalue":{"value":"6250553","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873802$1EEB26C0-8B8C-48C5-A9EC-A7CDCC0E736A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b31ab37442150760a07b3d788efeeda8d46d4af3","datavalue":{"value":"cooperative goal solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873802$3348BE37-7EA6-4AEA-8C46-3E183D40F8FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc84523e41a1c93f98d4ea541c8bba23fa54716d","datavalue":{"value":"constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873802$7741AFA3-E689-4611-992F-DF7CE7BCC3EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85bae75b2024f4dd73d8610bb3ebb834d7409639","datavalue":{"value":"functional-logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873802$C2302919-C84D-480D-B33F-7F56B1AA8C50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8798e2970168b94b7c8139a32d09f7874a915403","datavalue":{"value":"lazy narrowing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873802$C14C61EE-8E43-4A30-BB40-F5310267110F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a62ee94bd0b8d1b9ebf73f2e4cee239afeda1b98","datavalue":{"value":{"entity-type":"item","numeric-id":30506,"id":"Q30506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873802$9743FD67-765D-4FD4-A840-78DF01255657","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":"Q2873802$41DD8495-9DFB-492A-851C-0C733E2AF802","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ac3f9bb002ceacab83f9f8932b39384e2185b44c","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2007.01.026","type":"string"},"datatype":"url"},"type":"statement","id":"Q2873802$38D2EA4F-7CD9-49D3-A299-23C5CDC36304","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f79810f38ad4fcacd9c958e5aca477e9104ebf5a","datavalue":{"value":"W2157290766","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873802$CEB4C41A-61F6-4D5F-A464-FBB4831D2C12","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c577458d7205599d8b9baa467f1fbba1bc739cb6","datavalue":{"value":{"entity-type":"item","numeric-id":2867959,"id":"Q2867959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873802$3BAB9505-727D-4EF1-87DE-3AF95E47A194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62f1eb69e361f6db0bcde23722ead8ea8389a69a","datavalue":{"value":{"entity-type":"item","numeric-id":5309079,"id":"Q5309079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873802$381118E8-C44E-418A-8793-7AAFC7A901CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cceccb93688824f733990b0efebd6bbcf8e1cca4","datavalue":{"value":{"entity-type":"item","numeric-id":2726286,"id":"Q2726286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873802$2767A47A-852D-4933-A276-80E01F2B6A36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47e3cbbc7a1cecf7d1d33d004e4b17e3712e3d96","datavalue":{"value":{"entity-type":"item","numeric-id":4780251,"id":"Q4780251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873802$7FD33786-612E-4183-96C5-411F86E40696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"130c22d7c05ae70d4984a360074fae709f0f981a","datavalue":{"value":{"entity-type":"item","numeric-id":5491899,"id":"Q5491899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873802$3975DE64-8BE5-4E89-AA3B-FC0298D46990","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6ff74be774ef64a46403a949826080769ceedc60","datavalue":{"value":"10.1016/J.ENTCS.2007.01.026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873802$38B371FD-C94A-4F6B-8DEA-7D57764F6037","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"245ec674fc9d1f6476bd25b20d2d0a1dd559f0e5","datavalue":{"value":{"entity-type":"item","numeric-id":4790441,"id":"Q4790441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e8d649bc499e92433e8bf7ccbf8a61cea52a500","datavalue":{"value":{"amount":"+0.83543307","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2873802$36DFFAED-0A3E-4122-AA78-5CFB2BC2126C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3ce04256f50c9472a9b1e4bab01e51f1487fefa","datavalue":{"value":{"entity-type":"item","numeric-id":2867959,"id":"Q2867959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c34a4cf97b9da621c6ea53aac97958862b4c656b","datavalue":{"value":{"amount":"+0.8315723","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2873802$8F2FA798-4D3A-4387-850B-B77A9E0C8E5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5ffbbd8545d4c9d3b87a7021241b13da1151e26","datavalue":{"value":{"entity-type":"item","numeric-id":4780251,"id":"Q4780251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a292629cc93c40054829f08c07909d151a96ec21","datavalue":{"value":{"amount":"+0.824919","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2873802$D3953E5D-1361-4725-80F6-AEF645888125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cc4b08e1fcb935b162b7aef49a3731c96f42b0a","datavalue":{"value":{"entity-type":"item","numeric-id":4473054,"id":"Q4473054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb1613811cbfb612b856f9257ab11528ecf106d0","datavalue":{"value":{"amount":"+0.82436424","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2873802$B287063F-0452-44EA-9393-5B019C7BC0A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ade0f48a45f62d43f7f60e44b7f783980857ad6a","datavalue":{"value":{"entity-type":"item","numeric-id":4377041,"id":"Q4377041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8587e96740da6882fdff443cc4524fa2381b69be","datavalue":{"value":{"amount":"+0.82072973","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2873802$FD32DCB2-9713-4C4A-8DAD-8DFDDBAF5A5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00bec8b89fde6d90f3b2492fd3204d995820c74c","datavalue":{"value":{"entity-type":"item","numeric-id":1371176,"id":"Q1371176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b0cade1d53d7f051d176dd43473913725d50beb","datavalue":{"value":{"amount":"+0.81687033","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2873802$C756C250-4B33-43CA-812C-8E1240784D7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3963f317e857667765922c7fc0914195f4bd4ae4","datavalue":{"value":{"entity-type":"item","numeric-id":1780247,"id":"Q1780247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fa302be5115921731f265fb0630be3fcc2668a1","datavalue":{"value":{"amount":"+0.81201243","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2873802$B8693F47-AD6C-4F14-9BCB-CAC131B3A64C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d35abe644c24f7a42882e4df579cf07e2c5239cd","datavalue":{"value":{"entity-type":"item","numeric-id":2180222,"id":"Q2180222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61812fec8d0cc03417cde73b2a52506060c0fcc4","datavalue":{"value":{"amount":"+0.81152403","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2873802$60113C34-3F72-4B44-8E7F-987044247864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d687aadb1ea52537f00cc87337e4759d672102e5","datavalue":{"value":{"entity-type":"item","numeric-id":3152957,"id":"Q3152957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5da52bd079aa464e958b1a7b22d37e1b3e47fea9","datavalue":{"value":{"amount":"+0.80697846","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2873802$64DD2854-A30D-4A3B-91DD-55FAE25C4D1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b045510da232792ed9a684715a57a1c6bcf1b6f","datavalue":{"value":{"entity-type":"item","numeric-id":4737452,"id":"Q4737452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5da52bd079aa464e958b1a7b22d37e1b3e47fea9","datavalue":{"value":{"amount":"+0.80697846","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2873802$606B5BD5-9966-4CB8-8FCF-5FFDAB348489","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"442427a60ac04ca43fdca8d296305d19bfc45d75","datavalue":{"value":{"text":"A fully sound goal solving calculus for the cooperation of solvers in the CFLP scheme","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2873802$C5DBF5FB-537B-4D6C-85E5-E4214EFBA130","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2873802","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2873802"}}}}}