{"entities":{"Q1774557":{"pageid":1785299,"ns":120,"title":"Item:Q1774557","lastrevid":72522798,"modified":"2026-04-14T05:29:36Z","type":"item","id":"Q1774557","labels":{"en":{"language":"en","value":"Constraint solving for proof planning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2168287"}},"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":"Q1774557$A145BC85-E43F-4C74-8FEE-0BF38EDEC23D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bbcbd577bcdb43b0f43c90a516ccfef4e6a49b09","datavalue":{"value":{"text":"Constraint solving for proof planning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1774557$4E4E6602-3AF2-4B6F-9CEA-39E5954EE284","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1fd6d778ae4f14057a3de81c3fe7712bbbd401a6","datavalue":{"value":"1071.68093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1774557$DF109E75-18DB-4A8D-8E37-34174586A651","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6743b8c5637e4b78acf3eab5940e3ccdcf1ab86e","datavalue":{"value":{"entity-type":"item","numeric-id":1774556,"id":"Q1774556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774557$4DA16437-9669-4326-928B-F7E0F1E3B18E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8277b97ee89f3f6e73af930a736006548fe36efb","datavalue":{"value":{"entity-type":"item","numeric-id":1188507,"id":"Q1188507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774557$9C64FDA4-CF70-479E-BA87-9FF869B82A87","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774557$98EB63EF-B90F-4682-A17A-4551D1D7456D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ee0106d888569bdcc9b3d8e1252f7ed63c68c81","datavalue":{"value":{"time":"+2005-05-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":"Q1774557$2BD653F1-E873-453E-98B6-A1666B2EE638","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1774557$8F613EA6-A5B0-4875-98A0-96D474D73EB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1774557$DD826775-8354-4EA8-8C02-71AE20435529","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dd1c46ceb4b2f3f4e235e36aaba6051a680458c0","datavalue":{"value":"2168287","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1774557$5EDED774-29AE-421E-ACCA-E105239FDA8F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1774557$7E93A575-F11C-4638-B169-25372306DA8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aeabe59d4757581b815c17ebf3296713b3550096","datavalue":{"value":"proof plans","type":"string"},"datatype":"string"},"type":"statement","id":"Q1774557$B1A95223-236C-405F-BF01-FD5EB3B4FB07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00fab533cd38d922e3a2c54a153ccdfb1b56ca89","datavalue":{"value":"constraint satisfaction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1774557$3AD9A74E-046E-4394-AAF1-1C9A3B682C05","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774557$097338CF-4953-4CDD-985E-1EC1094CD70F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e312142cae88d90a183ea896054e812ea7e86a85","datavalue":{"value":{"entity-type":"item","numeric-id":16927,"id":"Q16927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774557$A0493F44-6866-4C94-BC96-D57D0F66D640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d56ac8facfa5b02a0614330bdebcbd3f4015efec","datavalue":{"value":{"entity-type":"item","numeric-id":35808,"id":"Q35808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774557$BBC59651-DB8B-414A-9AF9-D42804C22C84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d89eed7087f93c1cdf4120c868b02779d34eaa8b","datavalue":{"value":{"entity-type":"item","numeric-id":13309,"id":"Q13309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774557$BC81A3C2-0E5B-43E4-9E81-4CEBE88D2662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2ccbbe6930c8e1cc299a9de96016fd336eaa915c","datavalue":{"value":{"entity-type":"item","numeric-id":18874,"id":"Q18874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774557$0D2B4A1A-6DBC-4FAA-9D08-B9589AD64F17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774557$ACA5DB81-D373-40F0-ABA6-EDBFF9FF85CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d4b47ce3ba240cb2e5f738c61850addd1730efeb","datavalue":{"value":{"entity-type":"item","numeric-id":22255,"id":"Q22255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774557$A2253F2F-9BC3-4020-B0DA-67663D9AF2B3","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":"Q1774557$1BEC70AB-80D1-4D0C-B5E9-3B398FA53CFE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e530827f321e3d4b2fbcb6d48428d1a695bd3c6a","datavalue":{"value":"https://doi.org/10.1007/s10817-004-2725-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1774557$D9FED818-0A60-4DC3-BA0F-E19F70875A09","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1013db9e91e27b1a3101a7a7dc606c4aa645e73f","datavalue":{"value":"W1979721470","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1774557$98FB9CD7-833A-45C1-A4A8-27643FD6B086","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"819a2535befb2a67f49ee5e43432525215be36de","datavalue":{"value":{"entity-type":"item","numeric-id":4702972,"id":"Q4702972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774557$7FB7E412-F222-4EE2-9473-EB3F342F061F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb64f8b7745166e348b41a7109c37c633201964","datavalue":{"value":{"entity-type":"item","numeric-id":3957169,"id":"Q3957169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774557$A89459C0-19B2-4950-929D-1BF34BE6CA14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b89ce8ea7cd58535e4c628f0869ac738a13473ec","datavalue":{"value":{"entity-type":"item","numeric-id":4730771,"id":"Q4730771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774557$A9DCDE2E-8FB7-4F62-9E33-40841E6D4AF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da0a919e94eb05990dfa452cda990dbe76002728","datavalue":{"value":{"entity-type":"item","numeric-id":4217949,"id":"Q4217949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774557$B72C3F76-2784-41EC-B8D3-639299252B54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afb31cfec21be04f1ba8409c207f9c0a2daf7299","datavalue":{"value":{"entity-type":"item","numeric-id":915496,"id":"Q915496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774557$64EE82B3-F209-49FC-9575-979220A00634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2330859a81aa2a457c43250fa16bdebe82a1da52","datavalue":{"value":{"entity-type":"item","numeric-id":2554244,"id":"Q2554244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774557$C4CB5E4C-51CA-4726-B26A-14179B40E1C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e7b26f6765114b169da5a79770389fa5bd84e12","datavalue":{"value":{"entity-type":"item","numeric-id":4175306,"id":"Q4175306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774557$6CFE372A-C78F-4AAA-95B1-E52D3D4E337A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22a238ed6c54d87ec163b1a7cb181d6ef07206ba","datavalue":{"value":{"entity-type":"item","numeric-id":3804239,"id":"Q3804239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774557$4BA7EF73-5E3E-438B-A63A-7D26D60F81F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c91a62fc73d328b39f05fc8fae0c1a2a5426db9a","datavalue":{"value":{"entity-type":"item","numeric-id":685548,"id":"Q685548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774557$A945B0CB-42A1-4B4E-8121-783512DE2E30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02f1283909a80e451d3025ac750ad75bce9d32e8","datavalue":{"value":{"entity-type":"item","numeric-id":1327159,"id":"Q1327159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774557$D1393D4A-7FC0-42D4-90A4-567B8C09182F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afc61a2037feef2b958c658698dd68bdb6481612","datavalue":{"value":{"entity-type":"item","numeric-id":1102137,"id":"Q1102137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774557$9E806C66-2119-4C1E-BCC0-1112E5B15AFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8b5e9764238b84a89b6f90ca43e0cea49889b35","datavalue":{"value":{"entity-type":"item","numeric-id":2551696,"id":"Q2551696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774557$B8EF14F2-D01A-4772-B579-AB409F8BA1F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3797ca9c060a8f45bbe361e29094c28dc7f292e2","datavalue":{"value":{"entity-type":"item","numeric-id":1199923,"id":"Q1199923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774557$10B3AF7F-BAF4-4318-BF37-941DB4F0DCE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bc7b0f82e42c56ee306811b6c3df8af19432e03","datavalue":{"value":{"entity-type":"item","numeric-id":1231783,"id":"Q1231783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774557$FB9740EC-32B1-4765-BE5F-4693A97DB336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69dba66603719f422b2fe1e6b7d2f4cb65732fc3","datavalue":{"value":{"entity-type":"item","numeric-id":1404427,"id":"Q1404427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774557$EDD512BD-3563-4EDC-8F7D-89FDABD749F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c058368611a7e94b0f27529f228156996ff41000","datavalue":{"value":{"entity-type":"item","numeric-id":1383991,"id":"Q1383991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774557$3C1620E0-A83D-4C99-9BA8-DFDD53A14A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35fef3348d09225dba34212d74d8ab7ecf07ad26","datavalue":{"value":{"entity-type":"item","numeric-id":2767093,"id":"Q2767093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774557$A7F2BC66-7291-49C6-93C8-04B4C61D2811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7cdc8410680f0406092d6e0bc4dd9194588d339","datavalue":{"value":{"entity-type":"item","numeric-id":1978469,"id":"Q1978469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774557$6EB0F7F8-076B-4835-925C-24976447E6E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1951dc680f5bd7a3b6d9407ad87a74875303d1c3","datavalue":{"value":{"entity-type":"item","numeric-id":2767077,"id":"Q2767077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774557$397C691E-0ACD-4651-BC2F-B8BF12E5911E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54610551b079750a1912b04c566b7c8cb84a1b21","datavalue":{"value":{"entity-type":"item","numeric-id":4809051,"id":"Q4809051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774557$A21E275A-74C7-4DAD-9A4C-B454F371F8D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"810553d857e3cd3179c568cf91e305b23ff29eb5","datavalue":{"value":{"entity-type":"item","numeric-id":4518867,"id":"Q4518867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774557$BBB15863-A0A7-42E1-8306-0663CEFA2D0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27ee3b057142576093bd9e66364057980fafc0e4","datavalue":{"value":{"entity-type":"item","numeric-id":1821564,"id":"Q1821564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774557$A41E3B2A-2FD0-40D8-9728-8789935CFC0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c5b09e879fc9e6d166a18cb26ec583e2bf401aa","datavalue":{"value":{"entity-type":"item","numeric-id":1272614,"id":"Q1272614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774557$87757430-1BC5-4721-8A44-CFE148A4E0E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9dc37a3cf14cc5ffda35476fc316146e103dc1a","datavalue":{"value":{"entity-type":"item","numeric-id":2775780,"id":"Q2775780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774557$24D5F190-8692-40C7-BB92-4E08C4DB787E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31ba6c213470cd3eee3f33e35d938dafcef268a6","datavalue":{"value":{"entity-type":"item","numeric-id":4718428,"id":"Q4718428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774557$2B17FCD2-C98E-425D-97A5-4F7C563FA913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f1b87ef2bc818e2e29e6aa38913bf9f24b6c54a","datavalue":{"value":{"entity-type":"item","numeric-id":4809049,"id":"Q4809049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774557$6CCE5302-098E-415C-A291-7BB28514243D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae6fd721a2c6e527c89962493e94cf268b23aabf","datavalue":{"value":"10.1007/S10817-004-2725-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1774557$863D6514-DAB8-4633-A19E-ABE5C18FE7DB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0462344f3ab5fc152b9fd7fc0d09f0c9b9f96dd4","datavalue":{"value":{"entity-type":"item","numeric-id":4518862,"id":"Q4518862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7678ea2de363b211a0cc530f6cdb6e63a5705101","datavalue":{"value":{"amount":"+0.9012953639030457","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":"Q1774557$55003E08-0DB5-48D2-AC3E-91D6841FB7CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12cfc954b1c18a434b6dbd57c8847a33d308f96b","datavalue":{"value":{"entity-type":"item","numeric-id":2389631,"id":"Q2389631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19cc8eeb50f1904e8623d8674c5e4d9625cf04b5","datavalue":{"value":{"amount":"+0.777717649936676","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":"Q1774557$240C8C08-CD80-472A-9170-3F0A52C8078E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"361d73910ed31918e003ebc5ef836a04a599699a","datavalue":{"value":{"entity-type":"item","numeric-id":1978469,"id":"Q1978469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"519f3a21ab91787dcaf77165930c4a9349acd871","datavalue":{"value":{"amount":"+0.7661401033401489","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":"Q1774557$71F5AE76-63B3-49F7-B5E7-33E2BE78918A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b61de9edddbf4f2e2a561c33d9e7683a950199d","datavalue":{"value":{"entity-type":"item","numeric-id":4499154,"id":"Q4499154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd33130be45850285ff74c3c09031be8ae4de8b5","datavalue":{"value":{"amount":"+0.7635372281074524","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":"Q1774557$CD7807A7-F433-427B-A92E-34967D83C0A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"294488c3b85e860c2ccc9131090bac481e1175d1","datavalue":{"value":{"entity-type":"item","numeric-id":4428310,"id":"Q4428310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfd94bb972bf85a75576c8a7c5e4ba5e3f3ca24b","datavalue":{"value":{"amount":"+0.7554539442062378","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":"Q1774557$D0083D93-5554-497E-A6E1-34F2A35BA8A6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Constraint solving for proof planning","badges":[]}}}}}