{"entities":{"Q475420":{"pageid":477187,"ns":120,"title":"Item:Q475420","lastrevid":62102985,"modified":"2026-04-11T03:47:17Z","type":"item","id":"Q475420","labels":{"en":{"language":"en","value":"Efficient solution of a class of quantified constraints with quantifier prefix exists-forall"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6374370"}},"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":"Q475420$69DB34F7-D120-473A-B5CB-7069ADCFF0DB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e26e0e273e1485d0e195cb6eb62d00f7cddb2269","datavalue":{"value":{"text":"Efficient solution of a class of quantified constraints with quantifier prefix exists-forall","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q475420$443127C3-554A-4639-B306-9999862FC2A9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"95bb60b8466930768050c9087b43e74d2d6f839f","datavalue":{"value":"1302.65118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q475420$9A893780-D113-4348-911B-02E14B0856BA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"df418f98e254966e6e875214da0e6ce555059de0","datavalue":{"value":{"entity-type":"item","numeric-id":249510,"id":"Q249510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475420$B638A7AE-2936-4DF0-ACB0-B529FEA0CD9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e504e5c78f160847d88d111e5ab65b0189aa771b","datavalue":{"value":{"entity-type":"item","numeric-id":389833,"id":"Q389833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475420$03935468-91D4-4732-B05D-0009979D6CC0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e5cf57799e8c41ecba181c21bc95047b71cb3443","datavalue":{"value":{"entity-type":"item","numeric-id":294368,"id":"Q294368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475420$6DEF72D5-37A9-4912-9262-FE9B0E11080E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d2caf1be9256fb0d3734f25532efe298070e0f96","datavalue":{"value":{"time":"+2014-11-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q475420$82623966-5C5E-420E-8653-E516A0991520","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"da82bf9c059368c6285bbf4641860cee134568a4","datavalue":{"value":"https://arxiv.org/abs/1312.6155","type":"string"},"datatype":"url"},"type":"statement","id":"Q475420$6799A243-CBFE-41D6-BD81-54349CF95611","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7552bdbce121bf883055f4f08f72933da7729068","datavalue":{"value":"65G20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q475420$49E219BB-9A4C-42AD-8FCB-57C65AD0A0BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"90958f30368d78c65d38f37dd9adc75b766a7ef5","datavalue":{"value":"65H20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q475420$E349BCAC-7A8D-46DD-A87B-60A79803A2C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4d2aa49789d35e35613e1a84ce4788bfee1559e6","datavalue":{"value":"65G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q475420$E65043B4-4815-4843-BDB8-046D72517F1B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"940c27cb439fbd787ecfd52240a1204400df3f47","datavalue":{"value":"6374370","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q475420$B7757457-A7CE-4F7B-A707-6652DBFDF335","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2440c6394e2ac24533843222855bcea18333dee","datavalue":{"value":"constraint solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q475420$9F9811CD-827D-4D38-8D92-8C63974544FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q475420$58ADC4D6-F05D-45DD-8DA7-8FCFD210C90E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"485264fd43e516c745514254597699b30556253f","datavalue":{"value":"interval computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q475420$1B462C47-F697-48A4-B281-CE81ADB15AD7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3c22b4e6c24037f313b1837c22cc6ae0308a77c7","datavalue":{"value":{"entity-type":"item","numeric-id":13503,"id":"Q13503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475420$EB8063B0-CFEF-432C-AD1D-DC00C0F2B60E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fed35f2083e1592d074e2b779038b334adec1c0c","datavalue":{"value":{"entity-type":"item","numeric-id":16433,"id":"Q16433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475420$AC81867A-6081-40A2-A79F-2A72B7D3FC08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9fa3b81611e1bf0770894470aca332a1511c9c7e","datavalue":{"value":{"entity-type":"item","numeric-id":16513,"id":"Q16513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475420$2A15F1F1-66DE-4362-BCD0-4F6E726BA6BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"586abd5aa3e73f6652a0a54ae2a02fc283d78be7","datavalue":{"value":{"entity-type":"item","numeric-id":13635,"id":"Q13635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475420$424B39AD-695E-47F3-AFEF-EC9820A53371","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":"Q475420$5E111C4A-D83C-4E0B-8C12-C227BDF334F9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"de7cd24f460d126232b0c3543dd75f40e8d4bdce","datavalue":{"value":"W1999758876","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q475420$500017EA-9624-4D1C-A3C1-0B8BDFA38531","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a707b674693ad1e1d950930d4096a03ee1af3ca","datavalue":{"value":{"entity-type":"item","numeric-id":4472553,"id":"Q4472553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475420$814C2FF8-3AEC-4B74-ADC7-D6C7E28381DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2601a05a1e709fca09151d43fc2b61e821dace","datavalue":{"value":{"entity-type":"item","numeric-id":1355986,"id":"Q1355986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475420$04F2ED52-ABE5-4B2A-AE72-2A3350C1664C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cca9f9428ea63e6117d5a41c3da120c355291ed","datavalue":{"value":{"entity-type":"item","numeric-id":5711486,"id":"Q5711486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475420$A4DA606E-E95B-422B-8305-F0F9A03E4232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"706b3099670887e328050460693e20ef3c7d7e45","datavalue":{"value":{"entity-type":"item","numeric-id":5949926,"id":"Q5949926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475420$0706BFC9-A94B-493B-BEA4-038AFBB91772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9683e302e5fdf87d9b1cb178cfb92eca7b5004ad","datavalue":{"value":{"entity-type":"item","numeric-id":4340792,"id":"Q4340792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475420$4A3F7774-9E57-45E9-853D-F4354A83B1FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d3f5f0e6d39b0610560c479018fc71a2adcd20","datavalue":{"value":{"entity-type":"item","numeric-id":1098624,"id":"Q1098624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475420$92345C9C-4D92-4651-8BD2-1E3BB2268525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06234344309d5f59150f7a65c217b13cd45cc291","datavalue":{"value":{"entity-type":"item","numeric-id":2260419,"id":"Q2260419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475420$5222999D-4DD6-4652-9808-56A7FB6F294C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10e4e2ffaf392d35d5a4a728c94da30e8cd6d4b0","datavalue":{"value":{"entity-type":"item","numeric-id":1020499,"id":"Q1020499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475420$37700A9F-3F69-452E-B0F5-AF0D52894A0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aad6e6ad88528ca9b844ff5d196bf31a7433b318","datavalue":{"value":{"entity-type":"item","numeric-id":389688,"id":"Q389688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475420$DA49497A-BA1B-4AB3-805F-A9D6EEE54C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4245e2c144d2e7cbcc9ef39e10d0138294ef4a59","datavalue":{"value":{"entity-type":"item","numeric-id":1272602,"id":"Q1272602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475420$F00E8EE2-3175-4C95-BC89-385C324185D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7958d3309e4973c2ae7283d5a018118458104e7e","datavalue":{"value":{"entity-type":"item","numeric-id":1923056,"id":"Q1923056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475420$599E15E2-370A-454D-8EA9-FB596239BDE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52b76e379d67a63dcfbf1966cb6f73851d58c1a4","datavalue":{"value":{"entity-type":"item","numeric-id":2771497,"id":"Q2771497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475420$3B5F5233-6319-47C3-8711-D14FD03BD89E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c001dd397cb92a2c48ebf13d0157bcc10fabd150","datavalue":{"value":{"entity-type":"item","numeric-id":3998722,"id":"Q3998722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475420$7217B7FA-D1DD-4890-B8B6-A5156CBD7D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f035e7ce71fa36b05517fb3b1000527a247baf6","datavalue":{"value":{"entity-type":"item","numeric-id":5901912,"id":"Q5901912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475420$8DACB48C-581B-4E5E-8A3E-53DF0E71B5CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4255110d00dc0e5bde2ee4d30379d46889e51095","datavalue":{"value":{"entity-type":"item","numeric-id":4681657,"id":"Q4681657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475420$B6BA6089-268A-40BA-B622-63996348A937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bab2ccc3d7a901a1c526f28f15ff9937dadffe42","datavalue":{"value":{"entity-type":"item","numeric-id":1862173,"id":"Q1862173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475420$E351B373-1B67-442A-83DD-3AA485DAD123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd173596d7a74de8f64338b828f706cbd4fbeca3","datavalue":{"value":{"entity-type":"item","numeric-id":5277761,"id":"Q5277761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475420$29D9982F-FEEB-402B-9824-6B1C3A2606BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"423a8be0980ebaa01d852c56c93e10a96852834a","datavalue":{"value":{"entity-type":"item","numeric-id":3083226,"id":"Q3083226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475420$F02A7D76-5488-4816-8142-B583C5E22079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29e2b7a6bd7a5f7a192b9dd9b1850490db36beed","datavalue":{"value":{"entity-type":"item","numeric-id":4657335,"id":"Q4657335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475420$E540CC55-8363-46CB-8E54-55404089E178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26099e5bd285541d0b431561588583eb1d1f034b","datavalue":{"value":{"entity-type":"item","numeric-id":4322528,"id":"Q4322528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475420$860F605F-2783-4B9A-BDC0-D42D5DBD4B5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb7a095c5324affb0457dc3c701ea0f2b468905a","datavalue":{"value":{"entity-type":"item","numeric-id":2475635,"id":"Q2475635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475420$9972B742-4D5A-4CD0-94D0-4FD1A2B9AF23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e91b777c2cab7fa4ae0ce2dd6016ae3ee552f10","datavalue":{"value":{"entity-type":"item","numeric-id":5254190,"id":"Q5254190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475420$5C7BB8C2-E58C-495C-ABEF-04F1A3F6FAE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8be9375a315209f41df1b38374a5e7e956d28bf","datavalue":{"value":{"entity-type":"item","numeric-id":5807665,"id":"Q5807665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q475420$85923C49-9C6F-4FA8-B858-1B13C58A0550","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e27d3c0c9e3449923a4b3e85eff39f33ac972ce1","datavalue":{"value":"10.1007/S11786-014-0195-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q475420$EA04A7FA-E2F2-4A9E-842B-85AABF7056FC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05a52485301c29bd44a90dcbd8e4e6bcbe20ebd1","datavalue":{"value":{"entity-type":"item","numeric-id":5897219,"id":"Q5897219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ef82abc2a324cf0bb015062ee6f77559d8acd0e","datavalue":{"value":{"amount":"+0.8885155","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q475420$6BCF1EB3-BFDC-427C-9B4C-AE277A90CC5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b200d3ff11ef58ecf946bbffa23fa7bf5c7e997","datavalue":{"value":{"entity-type":"item","numeric-id":1013082,"id":"Q1013082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea00e4104df61c33e2da11b6a38ed5c4ac033137","datavalue":{"value":{"amount":"+0.87802154","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q475420$5982E10D-92F9-431E-AC99-6A757018CDA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2b9e5df668a1fdb9ba01479172185859d674a02","datavalue":{"value":{"entity-type":"item","numeric-id":2938767,"id":"Q2938767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"483d33904ab43a6a50d3adee557c6f0e690afd51","datavalue":{"value":{"amount":"+0.87560976","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q475420$66171EB3-6F92-42D5-AB53-A9F6EF2344B3","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":"cf99747689929d2eba12b027ff78378674745644","datavalue":{"value":{"amount":"+0.86356264","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q475420$C7267EB7-D9E4-4EA3-86BB-4E33E42E3E63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e3d10e9183572962abaa593b3a619cebbb758f7","datavalue":{"value":{"entity-type":"item","numeric-id":2303241,"id":"Q2303241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66dbbb77196134bb36133e03eca067344471cc87","datavalue":{"value":{"amount":"+0.8617065","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q475420$C62A0362-07B2-4F25-A196-64405B050CD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05e29e47ae59b643a8b13a7a0d0eafd7a7d8fdab","datavalue":{"value":{"entity-type":"item","numeric-id":5898535,"id":"Q5898535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"054cff6da4ffef788d82bd4394b55207b40f5945","datavalue":{"value":{"amount":"+0.8615578","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q475420$29A3B9C2-98F0-47D7-8FE0-6C6056AEEDB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc53839b9e580ff2a0fae3b4af3476c6958c14b9","datavalue":{"value":{"entity-type":"item","numeric-id":3524242,"id":"Q3524242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c52a4a2b970e5ca6c6084533bfae8f82e8c0c0e","datavalue":{"value":{"amount":"+0.859238","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q475420$0DE94948-38F2-4A54-920C-DD715C23EC2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bcd81f4798914af84e8a3e5c09a831e5598f4c3","datavalue":{"value":{"entity-type":"item","numeric-id":4930775,"id":"Q4930775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2cb7446ff7f495eb0a29d6243f1ef3c8927a0df","datavalue":{"value":{"amount":"+0.8581166","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q475420$13B5732F-F265-4CAD-8F55-F761A434B8E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb13cc492623077969c467c8b5baad17f6203901","datavalue":{"value":{"entity-type":"item","numeric-id":4536400,"id":"Q4536400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b80eb99f8d0e657ab5b60d74014d0ba9f578dc1","datavalue":{"value":{"amount":"+0.84747285","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q475420$1D3143FF-7A0C-4218-99CE-98E21C51D77A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bb3304b82485a7343d52a4666bef076efd8ea87","datavalue":{"value":{"entity-type":"item","numeric-id":5310643,"id":"Q5310643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bc83bdfc599a2f284d1f7e5e2a94d8c94e360ad","datavalue":{"value":{"amount":"+0.84731716","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q475420$744E9621-CFCC-44FE-AA37-C38357341005","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Efficient solution of a class of quantified constraints with quantifier prefix exists-forall","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Efficient_solution_of_a_class_of_quantified_constraints_with_quantifier_prefix_exists-forall"}}}}}