{"entities":{"Q1360965":{"pageid":1371704,"ns":120,"title":"Item:Q1360965","lastrevid":68858496,"modified":"2026-04-13T02:34:43Z","type":"item","id":"Q1360965","labels":{"en":{"language":"en","value":"Increasing model building capabilities by constraint solving on terms with integer exponents"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1038330"}},"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":"Q1360965$FD746B29-35F1-40E7-8BC0-1FDF7EDF6F99","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a2900ebae2dd29078d98525641f3fdcf057f2a64","datavalue":{"value":{"text":"Increasing model building capabilities by constraint solving on terms with integer exponents","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1360965$612A8D1D-378B-4C32-9C50-DD5F110A0A33","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"de3519f51ee3c574038cf5a73dfa67a38e030806","datavalue":{"value":"0945.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1360965$B011AD63-3C83-4F74-A966-341D7A5DB3C6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbb66b347a8501d3e88bb4fc6db185a6021261a5","datavalue":{"value":{"entity-type":"item","numeric-id":167063,"id":"Q167063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1360965$1D0C34F9-3E48-43E6-A344-601A77314B03","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1360965$59FA845E-A00D-4919-B258-41EDE72D7AB1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b20201112b09c30defda20b84548a0f285ecc20","datavalue":{"value":{"time":"+1997-07-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1360965$E706EDBF-1F78-465D-8320-E0F65D847EBA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e0dd0754e8746854d46e4b71bb8bc060b22bafce","datavalue":{"value":"https://semanticscholar.org/paper/bdf9263bd6dad4f118ca2d426dc775a6d65aa68c","type":"string"},"datatype":"url"},"type":"statement","id":"Q1360965$B6C6885D-D1CD-465F-B2F8-27D9D4517084","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1360965$C6BB6EA7-90C7-4647-A681-D29CA37215A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1360965$D029EF71-BF11-4799-9219-733C6D022344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1360965$19451DAB-D2F7-4C15-BBC7-FB8B5017934E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"25805ad8806aef8930d48b7d0b5e096c5b17ffbb","datavalue":{"value":"1038330","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1360965$487202F8-57CA-4A69-94D1-CFD436D622CF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d18472b8176b5aa3d4b0b4fbcc3cf979dabb751","datavalue":{"value":"expressive power of constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q1360965$C2BC3232-C4CD-4DBD-9828-0FAF5D7CA817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c96bc7016510848c646ca2a4a384612691a6857","datavalue":{"value":"simultaneous search for refutations and models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1360965$380D9DDC-CD3E-4CFB-8780-D0887DC8088D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fd2db56d115e340010a2670ee8446c07a7052f6","datavalue":{"value":"\\(l\\)-terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1360965$160B4BB4-C2E3-4BDA-992B-6D39F5CB6CA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1360965$30B7C41F-1E47-446D-A9EE-0C6A90681E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b0133bb82e5a2899974ef5a92a207f1239299d2","datavalue":{"value":"model building","type":"string"},"datatype":"string"},"type":"statement","id":"Q1360965$64589ED7-255C-4852-9758-61D7CC1A8853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2037d55dce857bdeeeaf887a227c84f08a257bc0","datavalue":{"value":"self-resolvent clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q1360965$5E62D1AA-C2FA-4359-93DF-D23394C03366","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c55b02aff260c82fbd1211080f1ad48c6d9aaba2","datavalue":{"value":{"entity-type":"item","numeric-id":18502,"id":"Q18502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1360965$672400B5-7B93-407C-88A8-9CD8DD23B4F2","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":"Q1360965$CEB86D67-166D-4177-9165-425728C92503","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"43e60de43794f1ce252dd9454932d0286d50120e","datavalue":{"value":"W2039470898","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1360965$5A5CC35F-D2AF-4CA8-A5EA-090F38BF7E09","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d87ebbf70e65963fa107b184171ab1f5f7329cf6","datavalue":{"value":"10.1006/JSCO.1997.0114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1360965$2E611A52-9A22-419F-8767-6C1D5885E268","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b218c4ba3c0ee3527ebaf03168166dd2cb9217ec","datavalue":{"value":{"entity-type":"item","numeric-id":4287493,"id":"Q4287493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f498bd1d438f07e429d2e10847ba0c093c458d68","datavalue":{"value":{"amount":"+0.778988778591156","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":"Q1360965$32DE4894-D5FA-458A-9925-C3D1B4CB6EA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b01627bb4302973460575a627d130f071ccaa00d","datavalue":{"value":{"entity-type":"item","numeric-id":4530458,"id":"Q4530458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb69b37206d9c4a5442655c0dfe14fa164fd90cd","datavalue":{"value":{"amount":"+0.7641451954841614","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":"Q1360965$FE469B40-0911-41BE-811F-CD6B74D23C86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ed32eaa53ae73a8de46e4edcabc20770f515e96","datavalue":{"value":{"entity-type":"item","numeric-id":5210763,"id":"Q5210763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9548e243f3adb48e5216ab0b946cb2ce22b12e2d","datavalue":{"value":{"amount":"+0.7626262307167053","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":"Q1360965$1AF692D0-EC4D-4A5C-8958-EA1668BCB9A6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Increasing model building capabilities by constraint solving on terms with integer exponents","badges":[]}}}}}