{"entities":{"Q2946575":{"pageid":2957295,"ns":120,"title":"Item:Q2946575","lastrevid":58062735,"modified":"2026-04-03T16:02:32Z","type":"item","id":"Q2946575","labels":{"en":{"language":"en","value":"Generalizing consistency and other constraint properties to quantified constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483084"}},"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":"Q2946575$F40786B8-C3A1-4554-A9B1-D65635FEB7A6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ec2caa19efe5fc8ebbcc4b916052c144bff6437b","datavalue":{"value":{"text":"Generalizing consistency and other constraint properties to quantified constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946575$4D784625-D936-4421-A06A-4F4CF056E91E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e90d426cc4a80542ad2796bd29af7a9b25e709f6","datavalue":{"value":"1351.68252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946575$8D0A4882-30EB-46F2-88B5-C890FC5321BB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eba828e413f1b6063bd25d49e3acec0be28d3059","datavalue":{"value":"10.1145/1507244.1507247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946575$11FD59AE-5735-4E5E-BEF9-B310C67792A3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"06ea339c15de9b3f589ab55d11e838eff2eab31f","datavalue":{"value":{"entity-type":"item","numeric-id":2891393,"id":"Q2891393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946575$D6558EEC-7C69-492A-B813-CF5DEF89589C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2deb60c19c76c83cf16f8635ff1486cb716b3c6","datavalue":{"value":{"entity-type":"item","numeric-id":846135,"id":"Q846135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946575$E8A35F2E-A4B4-464A-8AA7-6DD9A9F46D35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5b9f5cfb00713d388bb8fa24dc1e4b15d3949c7","datavalue":{"value":{"entity-type":"item","numeric-id":1020488,"id":"Q1020488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946575$1F12E6CC-CC71-4E29-A16F-569F5573108B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946575$6159D449-E24C-4AD5-BE9A-9B5AD4C73F73","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2946575$40263F93-FABD-4AAC-86DC-FB8182DCA249","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"564ec3ce5664a61ec1d1f162fb33dd48cc5e579c","datavalue":{"value":"https://arxiv.org/abs/0705.3561","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946575$50045E63-6F90-487B-8101-85B0C186B30C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946575$161584B5-7CCA-45C2-A496-1755DE7F0468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946575$EB1AC6F2-50B3-4ACB-8415-133884B4922B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"46bc24a4ef639081240b378a65f592d214d34477","datavalue":{"value":"6483084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946575$EF635202-A902-41F1-AC9C-55F442DC874F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00fab533cd38d922e3a2c54a153ccdfb1b56ca89","datavalue":{"value":"constraint satisfaction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946575$C63D56E2-BA7B-401B-B2AE-2AC6AF1DE1BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80a17d9c20fe73a9246a43e2e469966c5ac1c3ce","datavalue":{"value":"quantified Boolean formulae","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946575$AE52B5F8-ECCC-4DA0-A7B2-8AD9CEA554A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2358c6f306b2f0764b1088130dd2f7274cf9476","datavalue":{"value":"quantified constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946575$A9B91FFD-9078-4063-9FC3-26679AD4A809","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":"Q2946575$87337E26-000B-4F07-8F9C-956FCD67FA2C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"abc1e27e31193076eba95d37058e94b4cece1b79","datavalue":{"value":"W2022485444","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946575$296A2D9C-E243-485F-8E54-C1752BAC04C1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71c58254611120906a9ed912b72dab413f7c641a","datavalue":{"value":{"entity-type":"item","numeric-id":3608445,"id":"Q3608445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da2a5b7e4d29a0db67cb253a45124c2cd68d7b72","datavalue":{"value":{"amount":"+0.8173677921295166","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":"Q2946575$30379D06-716F-488A-9B25-E993820B93A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b9e7caf6f11dc4524e44df3ae2a356916673220","datavalue":{"value":{"entity-type":"item","numeric-id":3524224,"id":"Q3524224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"048c8d8ac911e53d3e8d9d64e1a2a25f4a6098c1","datavalue":{"value":{"amount":"+0.8005589246749878","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":"Q2946575$C23487C1-25D1-4AB2-B7EE-029233144479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecec7b62bdbbe3ef26576c24c5ab37789332711e","datavalue":{"value":{"entity-type":"item","numeric-id":5900335,"id":"Q5900335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfa287238bfc1d670bd1aa2aad9a077b72f7ae81","datavalue":{"value":{"amount":"+0.794179379940033","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":"Q2946575$9BB26BE5-0D2C-4E5A-AA80-C944D36373CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"363417256d8968c5d759791de63bd8286fb13ad2","datavalue":{"value":{"entity-type":"item","numeric-id":1959381,"id":"Q1959381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d6f343754d9fe542d8c0474338af502bf1d10ac","datavalue":{"value":{"amount":"+0.7880487442016602","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":"Q2946575$713ECBF2-9244-4CCB-BE28-FEB9FAA3A85E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51778c9f9513bee31c32620d070c3d658ef537bf","datavalue":{"value":{"entity-type":"item","numeric-id":2389634,"id":"Q2389634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8738489d85c0585a8b0553f72028ff64af382df","datavalue":{"value":{"amount":"+0.7871695160865784","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":"Q2946575$02A9AE47-BB76-4CDC-A90E-DD9D0AF1CD44","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2946575","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2946575"}}}}}