{"entities":{"Q1013082":{"pageid":1014930,"ns":120,"title":"Item:Q1013082","lastrevid":69418389,"modified":"2026-04-13T06:52:11Z","type":"item","id":"Q1013082","labels":{"en":{"language":"en","value":"Existentially restricted quantified constraint satisfaction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5544367"}},"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":"Q1013082$8670A23A-AEE7-43B9-BF04-9C04B37DBDE3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bb7299783a98205e84314e4e84925e9823baa994","datavalue":{"value":{"text":"Existentially restricted quantified constraint satisfaction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1013082$55582C08-9247-4B6A-B674-EF99680BB104","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5af26d30e1fbc05bd47319328d956ea3d3defda8","datavalue":{"value":"1168.68017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1013082$2FB0A9F2-60FB-4802-9320-BAE91AFED37F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de68fabe0331b50e2c0babeac4b29f27d03cc1ad","datavalue":{"value":{"entity-type":"item","numeric-id":361801,"id":"Q361801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1013082$2A177E23-37B4-4796-B8F4-17740B35E67A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1013082$3EEE40BC-FE96-400A-9B03-21BFFACBDB0C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f73738825ede14eb63692fa539d93eae768744cb","datavalue":{"value":{"time":"+2009-04-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1013082$E0825267-545C-42CA-8342-AD3765A3191C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1013082$5986BEA2-1DDB-4E78-9938-B7D4432CACFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1013082$217C8FFA-2DFF-490D-8C00-C29D18CFE2E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1013082$22640DD4-2319-4DCD-A564-E958EDAD5149","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9be9a8e1f7919137e71f0f0be800cdf0a14d5009","datavalue":{"value":"5544367","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1013082$05CC8828-BC71-49BD-916B-8E6D6B304C79","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b621ca676ac35c93bb24d287d2bcc1a78d01e3e","datavalue":{"value":"quantified constraint satisfaction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1013082$BC038D56-B074-4514-BF42-C94B66D4DFF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1013082$B6DBFD4D-90A1-41D9-BB22-8672C1F80961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a0dd3e1b83404196449aa90cc83aae915af1cf","datavalue":{"value":"proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1013082$361625A3-32B6-4AEA-9F27-3A81F4DD6E04","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":"Q1013082$62ECA830-BCE3-4D1A-AB07-66C9C3CEB6C0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4c0e9cc08ee514a9883681d29fc6a00885b1768e","datavalue":{"value":"https://doi.org/10.1016/j.ic.2008.11.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q1013082$C3A983E7-66FE-4932-9D29-AC250B485ADB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f75cd8296509c02cc9c53d59f0f36ea136ef2849","datavalue":{"value":"W1986406042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1013082$9769417D-CC05-4512-B705-0E3524282BE1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"47a1c7d10aaff003e9c8fe329c98ab634b3d8933","datavalue":{"value":{"entity-type":"item","numeric-id":2496183,"id":"Q2496183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1013082$1A46E602-1703-4538-BA3B-CD5802B81E4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9d3a07608acbb8cc51d11afe6c158e7eeeff974","datavalue":{"value":{"entity-type":"item","numeric-id":2754150,"id":"Q2754150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1013082$8B8AA1FF-4AE1-4ECD-BF6E-24AAB40A1DB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66dc68e6c689b43de1f59e8f72d560dd7595df1a","datavalue":{"value":{"entity-type":"item","numeric-id":5176025,"id":"Q5176025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1013082$25E1488C-0CAA-4679-9913-BED7EC9206AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72df03d77e1bc06662d09c4718408a862df26da2","datavalue":{"value":{"entity-type":"item","numeric-id":1891159,"id":"Q1891159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1013082$CFF4B88A-FDD4-4ECE-9BFA-BB3496A2A430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2f1bb038a1da50946a0172f14d7470c03c2894a","datavalue":{"value":{"entity-type":"item","numeric-id":5900292,"id":"Q5900292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1013082$00B0CCD2-F491-4B77-9467-54A77D1D2761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39882e5932c5b7e868db47b591000b3768d78b11","datavalue":{"value":{"entity-type":"item","numeric-id":5710685,"id":"Q5710685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1013082$8F245EBB-8640-4FEB-937A-CA5934210ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18e9495a4ed16f16782170d3d9f07275693b1854","datavalue":{"value":{"entity-type":"item","numeric-id":5900293,"id":"Q5900293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1013082$442A5ADF-E43C-4802-9C44-D12BA177DDD8","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":"Q1013082$055094B4-0730-431E-9DDC-9E095050CA49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba1799300032c514cdd2fb32fca6cb6dbb02d827","datavalue":{"value":{"entity-type":"item","numeric-id":4495111,"id":"Q4495111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1013082$498CA7B5-C17F-4E32-99AD-A94488EBF39E","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":"Q1013082$0A12DA8E-E34F-4921-8326-6FD6185293BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19a62d39b10622749e338de38252fcaed5d04493","datavalue":{"value":{"entity-type":"item","numeric-id":1276253,"id":"Q1276253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1013082$927F2EEF-AE5B-498F-ADE9-CA106808EB73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce20482255e0cc12b9b9d67540465d5e845e2b52","datavalue":{"value":{"entity-type":"item","numeric-id":1274280,"id":"Q1274280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1013082$B8A77F10-8398-4574-84F7-AF8D43FACDA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"215fd7f718e277ec69a088e44c413ed0b740deff","datavalue":{"value":{"entity-type":"item","numeric-id":4376981,"id":"Q4376981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1013082$47A00EA6-3F95-45E0-8EB5-B7302A5A1B96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e759b8ddc389f8b42bb244f19be1adfe6bb34c7","datavalue":{"value":{"entity-type":"item","numeric-id":5402560,"id":"Q5402560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1013082$11435A2E-3C9F-4AB1-872E-18074845FE5C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"96b1774ce6d841f8ec5032e93cf4a6e1d6412339","datavalue":{"value":"10.1016/J.IC.2008.11.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1013082$53D293FF-A23B-4CBE-9436-569F5957EBFA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4583c7dc34c912944ccacbd38ec48d05fd386e5","datavalue":{"value":{"entity-type":"item","numeric-id":1020500,"id":"Q1020500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c14eea134885eee94dfbbc7cef77f7891488a175","datavalue":{"value":{"amount":"+0.853905439376831","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":"Q1013082$7D13FED9-9457-4DD8-B5C7-D28E01B813BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d02daadcf5c2c9ecb46c7907e9bfd1f575febef","datavalue":{"value":{"entity-type":"item","numeric-id":5710685,"id":"Q5710685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1901f1503d8b2c2221308017aa1ea54055c12725","datavalue":{"value":{"amount":"+0.839084804058075","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":"Q1013082$31621DA5-0093-42E8-BF38-F2E76C34E555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4263a13b06ef769c88db32d217b2beb10c22ce48","datavalue":{"value":{"entity-type":"item","numeric-id":2897943,"id":"Q2897943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9efdb6f4e1d6b8efce217a249b8cbdf8a0c7f67d","datavalue":{"value":{"amount":"+0.832983672618866","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":"Q1013082$52D82A6B-C3DC-464A-88B7-7A3BFA9981DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"266fba7e3c162efc291a8c6472bbd3c7108e2ad6","datavalue":{"value":{"entity-type":"item","numeric-id":5292625,"id":"Q5292625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea1bb8799372f9ec7f4a18b6c7a68083ab5f0ff4","datavalue":{"value":{"amount":"+0.8273993730545044","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":"Q1013082$547170E2-C96D-4AF4-9A78-B5F5D07736AB","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":"5e3c540027f9e4dc38fb5ca4849e0481300a4f0d","datavalue":{"value":{"amount":"+0.8059554696083069","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":"Q1013082$48064BF6-0D97-437E-8704-BE684C8F9990","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Existentially restricted quantified constraint satisfaction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Existentially_restricted_quantified_constraint_satisfaction"}}}}}