{"entities":{"Q2938170":{"pageid":2948890,"ns":120,"title":"Item:Q2938170","lastrevid":85239284,"modified":"2026-06-03T06:23:35Z","type":"item","id":"Q2938170","labels":{"en":{"language":"en","value":"Symbolic analysis tools for CSP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6385977"}},"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":"Q2938170$3C1C84C4-A65E-4383-9FA6-2DC9EBA63BB2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0cdbdc609a0bdc9dc9ccd1a86a3102fafe1a93f5","datavalue":{"value":{"text":"Symbolic Analysis Tools for CSP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2938170$F31823AF-34B8-4EB4-BCC8-4D91718F4350","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"802264395fca1c56bc700bafb5b0cd9a813e95c9","datavalue":{"value":"1432.68311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938170$C7D0185E-BAAC-4B3B-A756-5C337F76680D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4fb01a02b65d69ff302b72d9c491bf51d81f4820","datavalue":{"value":"10.1007/978-3-319-10882-7_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938170$C65736A5-9C0E-48FB-9641-6598B5F322CD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d378529a8f593c214956752eb26fa0ff69f67ac8","datavalue":{"value":{"entity-type":"item","numeric-id":2119970,"id":"Q2119970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938170$BB23CB70-3D17-49E9-A22B-EFE49889209D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6a435034e922571557f9f6ce98bc841f26d1cb0","datavalue":{"value":{"entity-type":"item","numeric-id":930877,"id":"Q930877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938170$2C18CFD8-931A-47AB-844E-F32DAC30E11B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6fc9321e1ecf733a02499b42252d991dbda6a54","datavalue":{"value":{"entity-type":"item","numeric-id":1702903,"id":"Q1702903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938170$BADC8933-10FB-4150-AAAB-166BA760B23F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c440b8d1d21e884d119c2788cfaf3e8b7186450a","datavalue":{"value":{"entity-type":"item","numeric-id":2938145,"id":"Q2938145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938170$2269242B-77CA-4D44-B756-8629C5C0828C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7326fd6e0963f01b5d05d75894cb7d24907c61f1","datavalue":{"value":{"time":"+2015-01-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2938170$FDEBFD2A-349E-4255-9426-DE2F22CAC9C8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938170$4414C8CC-7E99-435A-A64B-94030A2E1577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938170$89DF0CD8-50B8-43D4-B795-D5886DF355FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938170$AF014CF3-F560-4FF9-843D-C485986F6269","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1034b852485227884b7322895e718a246c0ea473","datavalue":{"value":"6385977","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938170$E4ED6A06-B9C2-4B7D-B9B4-BE155D5613D0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"73bf07fb0985efe0166024eb806e5cf2244671a5","datavalue":{"value":{"entity-type":"item","numeric-id":18489,"id":"Q18489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938170$A1060436-C4D3-417C-89B4-728026D05496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"97873e1476593719fe9ae012a9df7469c6caafee","datavalue":{"value":{"entity-type":"item","numeric-id":24316,"id":"Q24316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938170$D5439319-2368-4BB6-AD3B-7D38D6B4F504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"968b92847a58b643f5d945b292f78cc16cdae2aa","datavalue":{"value":{"entity-type":"item","numeric-id":28108,"id":"Q28108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938170$678F4A10-B843-4C52-9548-9E16651B50C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938170$D8527297-86F5-4E75-87A1-04D24D77D91F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"abde918e525ebd74af14326f8ceb67bfaf5c3838","datavalue":{"value":{"entity-type":"item","numeric-id":14230,"id":"Q14230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938170$14C98B66-CDD7-47AD-B310-5586884CB1DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9466f0b26c1dc8acd437f28f29f075bef564116e","datavalue":{"value":{"entity-type":"item","numeric-id":23408,"id":"Q23408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2938170$F342EE44-B566-4F12-948E-218CC04BFCCD","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":"Q2938170$A96B3234-C320-4C09-A4C0-12A148BF2AFC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"20ab2b5196b96019d9d1b0214cf47db895ed56e8","datavalue":{"value":"https://doi.org/10.1007/978-3-319-10882-7_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q2938170$67CA0FDC-0DF1-4D1F-B336-6B20770BCB86","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3a3c908d681a377aa7cebac979151e7b00dddabd","datavalue":{"value":"W97582271","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2938170$EFC91A8D-FE11-41F3-A436-91E10282E65D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e4fc54586fe15d9ebb75ae147d497176b2170a0","datavalue":{"value":{"entity-type":"item","numeric-id":3575275,"id":"Q3575275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12175f35169e36fdd43a1734a6db80f55d91926e","datavalue":{"value":{"amount":"+0.7857547998428345","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":"Q2938170$41B6442C-21A2-46DC-801F-937B59BF1C16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f68341a74474fd0f40521699244eb2c878c544b","datavalue":{"value":{"entity-type":"item","numeric-id":5709366,"id":"Q5709366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0497126c3082279c8bfe4de81037bd7e854d4ce7","datavalue":{"value":{"amount":"+0.7804816961288452","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":"Q2938170$0F4B32CF-7A40-49A4-850D-28C845B4E83A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39aef16ac4183938f07a269228833823d11f36f6","datavalue":{"value":{"entity-type":"item","numeric-id":5262957,"id":"Q5262957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"323804276f83db343f43c78acbfadce37001993c","datavalue":{"value":{"amount":"+0.7790086269378662","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":"Q2938170$64F2863C-32CF-4F38-A7FD-85146B69467C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b79a279edef80bc8af95aeccca8c8f7aaff82ce","datavalue":{"value":{"entity-type":"item","numeric-id":1744391,"id":"Q1744391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e575e85c5ddfe9c9af1225df027bd171fc4dccc9","datavalue":{"value":{"amount":"+0.7715887427330017","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":"Q2938170$951C8BF3-4290-479A-A46C-4ADF0F45467C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ae772c6a3459e9fbabf3f56064e1b0c1cd84e9c","datavalue":{"value":{"entity-type":"item","numeric-id":5198499,"id":"Q5198499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"789fdfede0a4eebae380f9808f44f3ca524c5129","datavalue":{"value":{"amount":"+0.76690274477005","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":"Q2938170$7E7D5B4C-89DF-4132-B8F9-66A9B8B28987","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Symbolic analysis tools for CSP","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Symbolic_analysis_tools_for_CSP"}}}}}