{"entities":{"Q814643":{"pageid":816491,"ns":120,"title":"Item:Q814643","lastrevid":64541160,"modified":"2026-04-11T20:34:52Z","type":"item","id":"Q814643","labels":{"en":{"language":"en","value":"An incremental algorithm for DLO quantifier elimination via constraint propagation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5003990"}},"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":"Q814643$D5A8C03F-9F98-4F24-B2C7-E6D4BD57C9E4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6a8ef134dea1122ff1301724f0e2d1c1f6e1fe6b","datavalue":{"value":{"text":"An incremental algorithm for DLO quantifier elimination via constraint propagation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q814643$FEE1C134-9177-4924-82C8-70CD3175F2BD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8ad777aa4ba03d4998c11c6c3fc1261593ede619","datavalue":{"value":"1086.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814643$A616F08E-F405-4B05-A8B4-4770D4461A1F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d0d3d21872fd5d6a9f747242ff2677ba5e710fa","datavalue":{"value":{"entity-type":"item","numeric-id":524940,"id":"Q524940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814643$95A27CAA-53DC-4DE3-B110-2557A1764A9C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814643$DFE9B8F2-D0A2-4191-8D82-84A5BF2759B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"af1e7ee79bb7db6c59f11bd3513948628cb420f3","datavalue":{"value":{"time":"+2006-02-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q814643$6440094C-043B-4516-8AED-409D57D253EC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814643$9D476515-A122-4550-BE60-192B563DFBAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814643$72D51C90-D1E9-4701-8851-FF69C36907BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814643$32E2C684-A14E-4735-B77F-0E57A1E7CC52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814643$F14E1940-A1C8-46BC-8AB5-CCFA78C3A31B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b153041590ef1fccc30937bca8206b10aeb9eacf","datavalue":{"value":"5003990","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814643$8E42CD39-B858-4A18-9A40-F4E9C11E175C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"efddf96b0fd82167e30c94b24a4ac9afdbc1722d","datavalue":{"value":"Quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q814643$73EF205A-FB83-43A8-9976-48E3A7166E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b92cd4b3a9b7ff837f8d69a81516c594bdb73cd","datavalue":{"value":"Constraint propagation","type":"string"},"datatype":"string"},"type":"statement","id":"Q814643$6B8C98EB-BAE7-41DB-B6C9-DE9B7A7B1B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"562b6b44213a4a24ab2ed2a28d36ca4dd07d6c42","datavalue":{"value":"Constraint databases","type":"string"},"datatype":"string"},"type":"statement","id":"Q814643$1B58C519-CC68-4276-BEE0-88B789BC8782","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":"Q814643$1538868B-36A9-425A-9ED2-3BE96E754228","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"faf8715d38e5fec6865af46a7df99007d7d63822","datavalue":{"value":"https://doi.org/10.1016/j.artint.2004.05.011","type":"string"},"datatype":"url"},"type":"statement","id":"Q814643$F7723124-9D19-4A35-9AEB-549ABE828437","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0eda62909825f41933148be6b7fe7c156b5d6c8c","datavalue":{"value":"W2013162904","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814643$FDF4DE73-1F5F-4D30-A5F3-97F6C8D23BDF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae600d82e59da48d9490ff29ee5b51a547bc0409","datavalue":{"value":{"entity-type":"item","numeric-id":4864249,"id":"Q4864249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814643$D1F9B756-D08A-4408-9220-30423E6C9DA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52b37db1f75b1fe2bd91d3915bec89ade0194420","datavalue":{"value":{"entity-type":"item","numeric-id":5659571,"id":"Q5659571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814643$16D4309E-EA70-4BCF-B601-E632EF05DC4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e252b0603cec3a7f962e5b5f55184d47bfe852e","datavalue":{"value":{"entity-type":"item","numeric-id":3158549,"id":"Q3158549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814643$0FDBFB32-7812-4B91-A413-DEC25142A786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814643$18DB8AAD-1D5A-442F-BC09-EC0055D1949A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccfff9ccc546e60207087666568ffe80878d4580","datavalue":{"value":{"entity-type":"item","numeric-id":1923099,"id":"Q1923099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814643$FC3E1D2C-9FDD-49B5-AA33-9AD81A0E13FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccf44416f275c86e5b4293c141df3f2e4bf7eccd","datavalue":{"value":{"entity-type":"item","numeric-id":4336034,"id":"Q4336034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814643$2402499D-556B-42A7-AF21-39D5D9217B84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49a8d50e2ac3112c2b5beab9a321e48e86e40e67","datavalue":{"value":{"entity-type":"item","numeric-id":4702190,"id":"Q4702190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814643$FFFD1C79-C758-4334-AE27-BC2D0E7ADF1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"335e4ec2e1c2c616c1a0b6320a1f6a565be9a774","datavalue":{"value":{"entity-type":"item","numeric-id":4779980,"id":"Q4779980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814643$0BC899CF-E2AA-483E-B805-2C43DCFCFD91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d606ca29a316c6d13ac236e9ee6da4bfadd6eb91","datavalue":{"value":{"entity-type":"item","numeric-id":1604210,"id":"Q1604210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814643$16A60071-DCAA-48D5-8DC9-D14483F73CA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2330ca0732becd004147c331ff89990de545627","datavalue":{"value":{"entity-type":"item","numeric-id":4324964,"id":"Q4324964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q814643$42450D19-24C3-4F5D-9AF8-F53CA11D0B84","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"935089140334f9da7d9cc8775eae09bc2f4a1c8b","datavalue":{"value":"10.1016/J.ARTINT.2004.05.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q814643$509352C0-D39A-4937-B0CD-10DBA66C5A89","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b19f108f54644f0ec26605a1f87cb8a667d4c8a5","datavalue":{"value":{"entity-type":"item","numeric-id":3541684,"id":"Q3541684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cdfe3b1674b356c81931d2b677ae13baf7f9382","datavalue":{"value":{"amount":"+0.7976822257041931","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":"Q814643$C635A62D-13F5-4C4B-B15B-24A097BEF6DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad5b36fdbf9ac4d904d23b02f53375ef156f36dd","datavalue":{"value":{"entity-type":"item","numeric-id":3158549,"id":"Q3158549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a56dd31e012374d269a0b0b81c633f3e60e7666b","datavalue":{"value":{"amount":"+0.7626143097877502","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":"Q814643$A9700EDA-9610-447A-837A-617E5C0A4D8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdfdeedc50247510a414859299d1037d256b8e5e","datavalue":{"value":{"entity-type":"item","numeric-id":5464722,"id":"Q5464722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09194b27ce5f959d19b0cf136e174da1a16d66b2","datavalue":{"value":{"amount":"+0.7605580687522888","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":"Q814643$DB002A7D-90A1-47CD-94E8-442CA9B0212B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4826a9ebcee41c22e639fb6a714a4c993eaa4703","datavalue":{"value":{"entity-type":"item","numeric-id":707743,"id":"Q707743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b3bb4852fa3172066f417c593bdeace88b44768","datavalue":{"value":{"amount":"+0.758551299571991","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":"Q814643$DD1F603B-423A-4983-986A-7E7E7F355923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1488344e517f490998946113a8b27a39e41b9289","datavalue":{"value":{"entity-type":"item","numeric-id":5505558,"id":"Q5505558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a1e96c207b677371374a0519143c9e643434682","datavalue":{"value":{"amount":"+0.7559625506401062","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":"Q814643$0A1AF778-7B7A-4A50-86D5-80BFDC52FDB3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An incremental algorithm for DLO quantifier elimination via constraint propagation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_incremental_algorithm_for_DLO_quantifier_elimination_via_constraint_propagation"}}}}}