{"entities":{"Q1744391":{"pageid":1755133,"ns":120,"title":"Item:Q1744391","lastrevid":53070158,"modified":"2026-01-24T04:09:12Z","type":"item","id":"Q1744391","labels":{"en":{"language":"en","value":"Reducing complex CSP models to traces via priority"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6862932"}},"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":"Q1744391$DDD0CC32-D145-4BDD-8B0A-79C41650883F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"207678e5fc6092a3f8b6a5343eee558e496a4dad","datavalue":{"value":{"text":"Reducing complex CSP models to traces via priority","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1744391$66D2A1D0-E3FE-4937-B577-4EC2CE58DC34","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fd1209d9a021cfc1a57c040cacef9d1a44b5cc5f","datavalue":{"value":"1392.68310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744391$B476BC56-CCFA-47C0-8658-F79EC441B690","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e1e478b6222239183e0333fb040629772f64490","datavalue":{"value":{"entity-type":"item","numeric-id":1744390,"id":"Q1744390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744391$CDA43024-808D-4FA3-A659-BC0521C4305D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"80461d6d9d7339257b40c85e88b219a6425c5ace","datavalue":{"value":{"entity-type":"item","numeric-id":333321,"id":"Q333321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744391$5CB67838-FFC8-4D7B-89E3-1A1B6AA82251","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1744391$D3DB5F46-8902-4CF7-A9D4-E40E7C640D8E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744391$081CE5C1-4383-46A2-9A32-7ED5D5ACF3CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744391$B17A6FFD-15AE-451E-B37A-4FD4BFE65F65","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"adf7e3ef365a72ea29c3a89c8b949feb2fc796a2","datavalue":{"value":"6862932","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744391$DF91D9E2-A4CC-462E-AB0E-045B71FA2B66","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb1658b60e766a02ebffc17e47bf24ae50d17b7e","datavalue":{"value":"CSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744391$0A2E2E71-41DB-484E-9FED-028D318AA390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744391$AC5639E7-86E6-466D-A4A7-5BB7822C6A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24cc4d29473a9d86b573a92b75d8cb8b9ea2650d","datavalue":{"value":"priority","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744391$F2BE67A0-0893-4137-942F-F1703DBA295C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2fd33cd8664edf90b5e7c2282bf35aa35fbd8cde","datavalue":{"value":"Q113317631","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744391$28E5D8D8-AB41-4818-848A-A019AFBB7478","rank":"normal"}],"P1463":[{"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":"Q1744391$A9E598DE-4CC4-4BA9-9890-513881A97DE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"90f139681161cf03fca3b88a13657b8b8fd37862","datavalue":{"value":{"entity-type":"item","numeric-id":25180,"id":"Q25180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744391$8BFE9DCC-B797-4D53-BE34-1D9F0D780903","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":"Q1744391$C2D67929-8B79-449F-A54B-8391A229F6DD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9c5d2a6d5b85e6976dd2467a2468e4f1c38efb78","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2016.09.041","type":"string"},"datatype":"url"},"type":"statement","id":"Q1744391$D743CD15-669D-4766-87D0-D40CCDEAFCCE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"be10b18958c31f8c1872d10e9ac6f77fa02ec846","datavalue":{"value":"W2524715524","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744391$5B8B4F36-B4DD-49E0-A66B-E2F05896CB91","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"41784b41e82c7d8df17e662f07c318e13e61df41","datavalue":{"value":{"entity-type":"item","numeric-id":2432234,"id":"Q2432234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744391$F11AB8DF-D6D4-46EB-BD29-24FF443C9EB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3cf1cedd6927db9ac791d4260e61eec660e0495","datavalue":{"value":{"entity-type":"item","numeric-id":5498738,"id":"Q5498738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744391$AC8DB9C3-C9D6-4D95-84CB-CDCF89C8469D","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":"Q1744391$3182E7F4-D441-425D-8723-ECFC80B7565D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668d4f42d16e3c68cea406be368e7edeb30ca51e","datavalue":{"value":{"entity-type":"item","numeric-id":1198548,"id":"Q1198548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744391$B894328E-5380-4A06-AB18-023A28E3C141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c516c05f43b68537a5c72310725dbfca17470f25","datavalue":{"value":{"entity-type":"item","numeric-id":580961,"id":"Q580961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744391$D146B299-65B6-4536-AA0D-F48B32ED02A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8669f9e7807afc87465ee19084a4ff33202c1fed","datavalue":{"value":{"entity-type":"item","numeric-id":1007236,"id":"Q1007236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744391$273CE537-8633-43BE-98CC-E416442E4C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fafb0e0a58c3353a14f65d9b53dc934fe5ec110c","datavalue":{"value":{"entity-type":"item","numeric-id":2269718,"id":"Q2269718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744391$112A307F-522C-4278-AE0A-E00427FC07D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"decff93033d498c13d632f961d6ae90a0e5b00a8","datavalue":{"value":{"entity-type":"item","numeric-id":2520703,"id":"Q2520703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744391$DEEE55FD-69BE-4AA3-9A0F-9DC3A3E6A3A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bb261d04fba6b34bcf6ef093e8e25e1dde3475b","datavalue":{"value":{"entity-type":"item","numeric-id":580970,"id":"Q580970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744391$C6F92DD0-1AA8-4BC4-8AE5-2D35A71129A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77a4547249dafed21cce646ab91a238a96340f7b","datavalue":{"value":{"entity-type":"item","numeric-id":2842644,"id":"Q2842644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744391$703ED1CD-0E45-481D-ADCA-21A6195FE590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f99d516f03f630b465144bf2edfacff7e586661f","datavalue":{"value":{"entity-type":"item","numeric-id":3549457,"id":"Q3549457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744391$1417DCB1-8FB7-4416-92DF-D16CAFE0B689","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"af8ff1da25cac6eb923637fd7ebdd6da23064820","datavalue":{"value":"10.1016/J.ENTCS.2016.09.041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744391$583630AD-EA73-4C7B-B5FD-06BA199DD514","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8be820f4b30e5f46c065976a2e5b14ab0686ce71","datavalue":{"value":{"entity-type":"item","numeric-id":2182666,"id":"Q2182666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbf333095c85814086fe23de7655aec781b7006f","datavalue":{"value":{"amount":"+0.8592326641082764","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":"Q1744391$D7887602-C2B2-4FE5-8518-689243E34F19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"351591f5f6503f4c4917224f41ed1b263bf455fb","datavalue":{"value":{"entity-type":"item","numeric-id":2938170,"id":"Q2938170"},"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":"Q1744391$9E121EEE-7FE5-405C-8E2E-A210CE3A9363","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":"3e4da7320372f474cdbb8468e4add9321e2139de","datavalue":{"value":{"amount":"+0.7545610666275024","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":"Q1744391$0E1767E4-0DCB-40F1-AB6A-D45179DEE094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11351d9ded01274c0234849fddccb49b5b2345a7","datavalue":{"value":{"entity-type":"item","numeric-id":5498738,"id":"Q5498738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c735c16ca48d18a2980c2fef8c14e8d337dafe27","datavalue":{"value":{"amount":"+0.7524780035018921","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":"Q1744391$C1D749AC-BB3B-428C-8A96-923D1C5C9B20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50dd0939824a2bf3e37fea19f1b873eaf30decd8","datavalue":{"value":{"entity-type":"item","numeric-id":1941896,"id":"Q1941896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"891daffeb87953665f227fffae5827fe1656317f","datavalue":{"value":{"amount":"+0.7426206469535828","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":"Q1744391$E8213587-61F2-4097-A5EF-7F485170CC65","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1744391","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1744391"}}}}}