{"entities":{"Q4015412":{"pageid":6045205,"ns":120,"title":"Item:Q4015412","lastrevid":81358910,"modified":"2026-05-06T18:19:53Z","type":"item","id":"Q4015412","labels":{"en":{"language":"en","value":"Incremental Linear Constraint Solving and Detection of Implicit Equalities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 86021"}},"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":"Q4015412$070BACFA-054A-4421-96E0-15304E9CC543","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"127731143a4ea3b03d25ac0b22c952831a195533","datavalue":{"value":{"text":"Incremental Linear Constraint Solving and Detection of Implicit Equalities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4015412$E4C9D250-2531-4EEE-8755-2CC6B43696E0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4986c9eb5a87d6470cee31da3d8c7873ae3c39e6","datavalue":{"value":"0755.90058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4015412$66E94BBF-9E89-4F8D-9366-766C80BAE9B5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ce0c30279fc718bf70b3c03c8fe86c99509adf2","datavalue":{"value":{"entity-type":"item","numeric-id":264991,"id":"Q264991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4015412$1F419AF4-CA53-43FB-A913-0DC3FF307B22","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6c9091a62d0c5c5ee71c1c7c1d6be90c878d111e","datavalue":{"value":{"entity-type":"item","numeric-id":3993661,"id":"Q3993661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4015412$E27B4598-04C3-40B2-80A4-47025863E0D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95f926307accc07b3dddf4dac04edcd3d1782c1c","datavalue":{"value":{"time":"+1993-02-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4015412$F178829F-78F1-4D09-8E71-A7649E7D04A5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"36d142e7ea03446b1d7deb9627eedb9f0297f86a","datavalue":{"value":"90C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4015412$BF24D516-DBB6-4437-B3BC-69F4A6E2206A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c9affde3aa3c5de965389eb6d61c9bd7b169449c","datavalue":{"value":"86021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4015412$D52A13E8-A4EF-4154-91FE-44368E52761A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26eb539ce39769afd022b5bc0492b26686a3b1a8","datavalue":{"value":"incremental linear constraint satisfaction problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4015412$7398F1E4-FBCD-406A-90D4-8CE4079DEA2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b4d6e6089943a261128dec792d30fd4cdc9763","datavalue":{"value":"satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4015412$44E88FC5-D209-4514-B757-9F2577331B63","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":"Q4015412$0D1543DF-3C07-4BC0-93B4-A80FB054AF67","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e6f34cdb329a577f1f47f4f15329500af4d9db8a","datavalue":{"value":"https://doi.org/10.1287/ijoc.3.4.269","type":"string"},"datatype":"url"},"type":"statement","id":"Q4015412$C37CF61B-DBE2-4CD5-ADEB-B06B2FB088B9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5ea0318648eda12b57c2c0b2fd15814b0a4094d7","datavalue":{"value":"W2089977270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4015412$A065D210-07F4-4E6E-A6FC-F164BE3C4E48","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5f350b584995b9103cf36737676c39a84286ff2c","datavalue":{"value":"10.1287/IJOC.3.4.269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4015412$88C577D7-6526-4E50-8E46-B963640BEA1F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61df54e8e02f3021df6206bba7269bf6a9bc7611","datavalue":{"value":{"entity-type":"item","numeric-id":672413,"id":"Q672413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15194d589a5d937d11716156864ddb21b98ef1e2","datavalue":{"value":{"amount":"+0.7997671365737915","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":"Q4015412$33DAB1C1-3B90-4678-8721-78FB2195A4D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d453cc8e6f6c2db048a72c8019d5a11557a1057","datavalue":{"value":{"entity-type":"item","numeric-id":5289309,"id":"Q5289309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b0919bb399843343f45c3e4270b26a5648f6978","datavalue":{"value":{"amount":"+0.7951558232307434","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":"Q4015412$110DF6CB-5867-4BDA-9B9D-EBBBEEDC0E9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b160c84b5b494091de978b8feecf655c380b244","datavalue":{"value":{"entity-type":"item","numeric-id":4944865,"id":"Q4944865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7ff6cc22da33b1e2ae2decfd1384f11683b9a09","datavalue":{"value":{"amount":"+0.7951557040214539","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":"Q4015412$27CF6A74-D8AD-4FDE-99DE-60D4BA6B54D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17896c1e9e49dc01d8363654b560bd736f4a3767","datavalue":{"value":{"entity-type":"item","numeric-id":1367535,"id":"Q1367535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e47da29cad743e3c54fb79b0630d29e42f9aa461","datavalue":{"value":{"amount":"+0.7792280912399292","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":"Q4015412$6DB241E3-C2C9-4D3D-8812-88B0420A2903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ce34e395ac2f0098eaafde471a15632b94b305d","datavalue":{"value":{"entity-type":"item","numeric-id":621462,"id":"Q621462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf3ebc8a19b4e26d37ffd5e31441bb8acc717508","datavalue":{"value":{"amount":"+0.7647108435630798","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":"Q4015412$6D242057-51AF-4793-86F9-BFAD82C1FBC1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Incremental Linear Constraint Solving and Detection of Implicit Equalities","badges":[]}}}}}