{"entities":{"Q5111241":{"pageid":7140815,"ns":120,"title":"Item:Q5111241","lastrevid":58430826,"modified":"2026-04-05T04:47:55Z","type":"item","id":"Q5111241","labels":{"en":{"language":"en","value":"The complexity of quantified constraints using the algebraic formulation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7204361"}},"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":"Q5111241$DFFC6B89-9577-4710-AD58-037CB496F7F1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9d8dc437beefaebfca8f2a4352cf1707bf4ed850","datavalue":{"value":"1441.68087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111241$960BC67A-35E5-4A3F-B388-8AAC4D30F224","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"600d3a19753cf6cba81b7e42b63413a76fa78ab3","datavalue":{"value":{"time":"+2020-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5111241$2642FC59-89FB-43FC-B295-40AB8C1B57E4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a92a3fe0ae3acced645906ff9c62b6b18e15a909","datavalue":{"value":"https://arxiv.org/abs/1701.04086","type":"string"},"datatype":"url"},"type":"statement","id":"Q5111241$4A3EDA74-D7E6-4706-99BC-B0B663E47E5F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111241$E26A0FDA-D03F-445D-B26D-BB6275CACF43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111241$A4A4E234-3020-47DB-A3FC-45A6950947D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111241$D1403F9C-A24A-405A-B9C0-58CB64FC8CBC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0dcc603bbaa4f4d4d5b95aa3404e00685122e3b7","datavalue":{"value":"7204361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111241$9504602D-0C71-4054-8BB6-67EE20A0870C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2358c6f306b2f0764b1088130dd2f7274cf9476","datavalue":{"value":"quantified constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111241$DADFABAD-2E64-4951-8991-C5B09922D5E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111241$27AE859C-BD54-48D1-9A04-43841ECF6967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09a188bc590546995974b55a3f2f84f00e08b2a9","datavalue":{"value":"universal algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111241$FC6F6772-0C8B-4D8B-924C-AA8E507E5190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00fab533cd38d922e3a2c54a153ccdfb1b56ca89","datavalue":{"value":"constraint satisfaction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111241$4673DB0F-F1AA-46CE-A8BF-90AAD6563374","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":"Q5111241$F196612C-A833-4463-A19A-54D405430177","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d54781c797e11ddf9a6445d17b91230710600d92","datavalue":{"value":{"entity-type":"item","numeric-id":5390611,"id":"Q5390611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111241$B8790945-CB7C-4EFF-A6DF-70951A10BCAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d858fa38f46d03275312a8ea7f3b6db4597553b1","datavalue":{"value":{"entity-type":"item","numeric-id":929295,"id":"Q929295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111241$64718BA1-9191-4584-B6C1-08F3A2DFBAF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17d805b01b31fa9a707e4c2d8061776d6d2c3fb1","datavalue":{"value":{"entity-type":"item","numeric-id":840700,"id":"Q840700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111241$30FA03EB-33B3-4738-A93C-07C979A71610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d9d5f067eb958341991b2ee01dc0caab581f808","datavalue":{"value":{"entity-type":"item","numeric-id":5317171,"id":"Q5317171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111241$2E72E741-958C-4709-8B64-E70500996B3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42ab2e9ec1a1a633730b3e7918555e86be8ddc1f","datavalue":{"value":{"entity-type":"item","numeric-id":4635827,"id":"Q4635827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111241$67E992BB-8E7C-460A-A932-4DBA3BE6CE86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c97bea8313302d4aba346d0ce40d208fb04754b9","datavalue":{"value":{"entity-type":"item","numeric-id":3532582,"id":"Q3532582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111241$3BE5D53C-EFF7-4C3E-A409-B443AA2F9D03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de7744d5f540b8f83066a5ec864d298b1465643c","datavalue":{"value":{"entity-type":"item","numeric-id":539977,"id":"Q539977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111241$2C19AF0E-D3A8-4A37-8794-2E22F5696846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea5c9eccb9ad7e55410d02e1bab91d3b286f2caa","datavalue":{"value":{"entity-type":"item","numeric-id":2897943,"id":"Q2897943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111241$87504727-FE33-4F89-B88F-E2A07B1BE2D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a0297cd8b2c4389318bee7d3fb18d957b26e89a","datavalue":{"value":{"entity-type":"item","numeric-id":5278401,"id":"Q5278401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111241$6287F536-36F7-4996-B911-D0779BFA775E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b330a1fcd57ed03b5bb7894b903390953871d98","datavalue":{"value":{"entity-type":"item","numeric-id":2723175,"id":"Q2723175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111241$071A4F41-8347-4D98-850B-CAA513B0B2CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da5c6061c3f6daf7454d0e9c58daef6f441530aa","datavalue":{"value":{"entity-type":"item","numeric-id":4210136,"id":"Q4210136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111241$F94AC450-A8DD-4B8D-B392-A25AA980F963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97fd56514c595518f232124981e4dadb651725e4","datavalue":{"value":{"entity-type":"item","numeric-id":5283238,"id":"Q5283238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111241$E6111FCF-4AAA-4B90-B997-176AC15FFCD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ba4b9fdaaacf8298839013d8606dd45eb62d703","datavalue":{"value":{"entity-type":"item","numeric-id":2946653,"id":"Q2946653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111241$E183AA4D-2AF8-4C6C-B3FC-DB603B252B90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111241$E9C3D9BA-0E1C-42B5-99D9-EC0CDA7A3D19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d206966c07cc1b74f2d639545767f0df8964138a","datavalue":{"value":{"entity-type":"item","numeric-id":4003735,"id":"Q4003735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111241$7C332619-4715-46F6-9AD9-78B274118752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8dbf45fc4fe30be405cbf64bc258013724da0b7","datavalue":{"value":{"entity-type":"item","numeric-id":3759041,"id":"Q3759041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111241$44A98A1A-B4ED-4219-B231-D87A44C2F397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31b53e1ffc7cdd11df2d0a7596345d776fe53b3f","datavalue":{"value":{"entity-type":"item","numeric-id":2318479,"id":"Q2318479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111241$3A83B7C9-D155-46C9-A053-1EE6355C3FEB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"39593bddeebef191fc9cf1d75008543b8b2cd31c","datavalue":{"value":"W2963678585","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111241$AA74706A-0438-48BC-BBAE-30851FD3DA76","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"354fd619991f45c28ac1d335cb72eea9a7664089","datavalue":{"value":{"text":"The Complexity of Quantified Constraints Using the Algebraic Formulation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5111241$20FB7FA3-B5BA-42D0-B115-F096549AABD1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"544602d6f4909fc71ec1b50a42dbeaba842d4189","datavalue":{"value":"10.4230/LIPICS.MFCS.2017.27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111241$F6A54F8C-500B-4543-A243-62A01F3753C7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"faf46d200399ab7763d71514f872c75b1a69cf77","datavalue":{"value":{"entity-type":"item","numeric-id":3519502,"id":"Q3519502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccc5faa9221767c61e2583476545261cbc90b237","datavalue":{"value":{"amount":"+0.8814534544944763","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":"Q5111241$CF23A0E6-2BFD-4ACD-8BE6-1E926EAEBD6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0bca18790a77b5a0bd1e8686a085eb5278869b9","datavalue":{"value":{"entity-type":"item","numeric-id":539977,"id":"Q539977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e528cb831b9d82e500b41300566fa633605e63fb","datavalue":{"value":{"amount":"+0.8800138235092163","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":"Q5111241$8B70A435-9A4C-4784-B11B-66885AA14524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"585d83512c20efea5d780e269da2ee8f2cd63bcf","datavalue":{"value":{"entity-type":"item","numeric-id":4635827,"id":"Q4635827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d283a7a5b24ad6085471b89a779ead2ebeaeec6","datavalue":{"value":{"amount":"+0.7938616871833801","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":"Q5111241$79164FA9-41AD-4EF5-B04A-6EEEA95E1CA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36a465bdbd3dc8d9cb0ebb918e6c87e4ab802636","datavalue":{"value":{"entity-type":"item","numeric-id":3532582,"id":"Q3532582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9a1eb68cf2f50989542ffd4fab86ae596d16f83","datavalue":{"value":{"amount":"+0.7861289978027344","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":"Q5111241$C1957CFB-4EA4-43AF-94FB-49222C193F8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27f32d88d0834364b5ac589c6a23737e6f3167e3","datavalue":{"value":{"entity-type":"item","numeric-id":5278200,"id":"Q5278200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ace1d06373ac3b07993f22f9118857b4e8a2bc66","datavalue":{"value":{"amount":"+0.7560444474220276","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":"Q5111241$9F707168-B2A1-43B5-9573-42FECCC742C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5111241","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5111241"}}}}}