{"entities":{"Q2848687":{"pageid":2859407,"ns":120,"title":"Item:Q2848687","lastrevid":51834716,"modified":"2026-01-20T06:53:09Z","type":"item","id":"Q2848687","labels":{"en":{"language":"en","value":"An efficient Nelson-Oppen decision procedure for difference constraints over rationals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6212133"}},"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":"Q2848687$1F0C36D4-7694-4F96-833D-C04A2EB5E2CF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7e948d044a966e53ee11c3f5f12ea85d4b38fa51","datavalue":{"value":"1272.68360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848687$70ADE32D-106E-4741-A62D-A2649C188154","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2fc9efcacb156ebe441d1f18c88b7586f817c0e0","datavalue":{"value":{"entity-type":"item","numeric-id":682352,"id":"Q682352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848687$ADE15598-FFD2-4C4D-AC6C-837CEBBA8AA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd9b105d6dc2235f6ec9240b7660c588e0fa1c1b","datavalue":{"value":{"entity-type":"item","numeric-id":2845495,"id":"Q2845495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848687$BEA4F4EA-F156-47CF-BAAB-DBB0A9BE27D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"43e878d8f753446abefa1b1ceb0637b91afae47a","datavalue":{"value":{"time":"+2013-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2848687$41335C27-A212-46B9-8A56-71DAE6404EBE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dab48d7e4ec0d61eddc52ca6f14dca27bfe3306f","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066106000053","type":"string"},"datatype":"url"},"type":"statement","id":"Q2848687$E7BAA501-C036-4F68-B61E-F9B04A2324D3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848687$1CF1AECE-38E9-45C3-A30A-F2E6ABA8CC11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848687$5FD2C57B-A567-484D-A47D-F96B7262F3BA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"326a79ef05882ed0a3fff892c96a86174d6b4978","datavalue":{"value":"6212133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848687$9C75F5EF-0CFE-4308-B880-5D926B185352","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":"Q2848687$0747C87B-056F-4530-8DB9-AB2180D2704C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ff5b0702738ae93d93e9035191ad99c8912b6633","datavalue":{"value":{"text":"An efficient Nelson-Oppen decision procedure for difference constraints over rationals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2848687$A833A818-D147-4BD5-A68E-D46B75FDF537","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae458d13a05846f6407623a8915e85c693e478a5","datavalue":{"value":{"entity-type":"item","numeric-id":4647541,"id":"Q4647541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea9799a4b6836a7fcfff8a436a5edb69092da201","datavalue":{"value":{"amount":"+0.7489836812019348","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":"Q2848687$0D5F001A-1740-419F-B32A-097D9656C2FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71bee125ea54a8e54d6d488c54ec9675e6f5fb42","datavalue":{"value":{"entity-type":"item","numeric-id":5900552,"id":"Q5900552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f83e690833dbea5e2f281376447d5fb3169f3df","datavalue":{"value":{"amount":"+0.7381069660186768","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":"Q2848687$5ABBD5C6-D370-49F1-AC67-5E0E4730E5B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5ec514b9c2e158b54e2132228edad9c9392f9a4","datavalue":{"value":{"entity-type":"item","numeric-id":4385439,"id":"Q4385439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a6dbf616ad21936c5280f079b0e0d7dd08f838b","datavalue":{"value":{"amount":"+0.7374150156974792","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":"Q2848687$0B8CBCC0-83EC-49EE-88D2-7D4B5B7EAFC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e4e32b54dfeb8adfa63ae8b59f826f915f5188c","datavalue":{"value":{"entity-type":"item","numeric-id":5714755,"id":"Q5714755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a6dbf616ad21936c5280f079b0e0d7dd08f838b","datavalue":{"value":{"amount":"+0.7374150156974792","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":"Q2848687$B6917589-D5F1-4838-A257-CA8F33EDB3B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08d1ee2b76c1c506a32de616b0b55aad34b8a7a2","datavalue":{"value":{"entity-type":"item","numeric-id":4417954,"id":"Q4417954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6df4152bad6498cc361067d3350bb90bde799462","datavalue":{"value":{"amount":"+0.73529052734375","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":"Q2848687$5DD33BE8-18B6-41F0-9707-6209529E7E57","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2848687","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2848687"}}}}}