{"entities":{"Q1392209":{"pageid":1402949,"ns":120,"title":"Item:Q1392209","lastrevid":70776954,"modified":"2026-04-13T16:54:55Z","type":"item","id":"Q1392209","labels":{"en":{"language":"en","value":"Satisfiability problems on intervals and unit intervals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1178828"}},"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":"Q1392209$BE4A59FF-3122-49CB-8348-35DD4AE28E86","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2cd00cd2a2bf987383c79d23238c777f7745944e","datavalue":{"value":{"text":"Satisfiability problems on intervals and unit intervals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1392209$26181C2B-8683-4CEC-992D-9BF8B6E5A601","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9857c8976f6f65365d041beac6b83b9c303e9602","datavalue":{"value":"0903.68085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1392209$364C54CC-B19E-4058-8A0F-484CBF31E55D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0f7f1ce44f2527d63bed13ce95547f54fbfcc88f","datavalue":{"value":"10.1016/S0304-3975(96)00208-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1392209$E1AFFF78-F4DA-4D05-9666-4FD4CE7ECBF3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"82bba3fee2119f5e7874d12a43daf448ce7edc60","datavalue":{"value":{"entity-type":"item","numeric-id":489417,"id":"Q489417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1392209$172F778E-2DB6-45FE-B9DF-B92B6DBC6CB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c86f85759000edd4a75c5506bbb76118e6ada90c","datavalue":{"value":{"entity-type":"item","numeric-id":214970,"id":"Q214970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1392209$FE3ABEEA-328C-4F9D-A094-78504F0779B7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1392209$608A4163-4562-4B90-8358-00266DA0E21A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d96c2cb4969d738c6643f0931d5feea9b1bc9e9","datavalue":{"value":{"time":"+1998-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":"Q1392209$7C5E0C10-7EC5-4ED0-9F51-D085B12B793D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1392209$CBE7AEB5-FBDA-4333-BB3C-E9BD7384B5F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"268d6952c3714bdb43edf0b513d4fe416f3db485","datavalue":{"value":"1178828","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1392209$C6092E6E-B973-4C28-B64E-D5E1FF3564D6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cb991057b202a1f2be4a9a88cbf091caee3fa5a","datavalue":{"value":"order constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q1392209$338D0DAF-4D1C-4E0E-B808-AC4E227A7E1B","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":"Q1392209$3DF44DC4-79E8-43EF-9422-BDC54B8EBC5B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"beafd09c79dfa9f43f527c7e484481f6934843d2","datavalue":{"value":{"entity-type":"item","numeric-id":3056948,"id":"Q3056948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1392209$B5ADF5EC-1C50-48DC-916A-F94579FCE8EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8367121d54df3344ae45fb7bcd26909ca7d18f9","datavalue":{"value":{"entity-type":"item","numeric-id":64672,"id":"Q64672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1392209$4FEF0258-4B8A-47BF-B43C-92C23706AA3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42c6469bcc7d9d3e3d07fb4992fd41c6cfbf0bea","datavalue":{"value":{"entity-type":"item","numeric-id":4003160,"id":"Q4003160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1392209$89792F30-3625-4826-B938-ABBAF7C65F60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"096d0ca70bf3336fff53b8664e44bd787e425b4b","datavalue":{"value":{"entity-type":"item","numeric-id":689975,"id":"Q689975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1392209$210209B9-1388-405F-9572-9E9151CDAC7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"039c9bf9274954ed0d3daf4be2bbf2e1f41824c5","datavalue":{"value":{"entity-type":"item","numeric-id":5249941,"id":"Q5249941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1392209$264D6908-171C-408E-9D9E-B2349CFB2F06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9914f8121a32baf6895c6797ec99c63c32102968","datavalue":{"value":{"entity-type":"item","numeric-id":1242450,"id":"Q1242450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1392209$A60B8506-6782-4A59-A084-49E5C89412FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c1cd87cd285a0ab10cac519131cf56e83e2e509","datavalue":{"value":{"entity-type":"item","numeric-id":4877525,"id":"Q4877525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1392209$7DD73748-3274-44FB-AAE6-982202938666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e645b698d0694949258471509082e43b1bfa41f","datavalue":{"value":{"entity-type":"item","numeric-id":2537977,"id":"Q2537977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1392209$C988A3BA-7D9D-4756-919B-7A16229702B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afdf2554745c39628b95b8afebf79a989b3e10af","datavalue":{"value":{"entity-type":"item","numeric-id":3344239,"id":"Q3344239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1392209$EC18502C-4C8C-4C93-9042-4BC16D9196B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c74b7954c4e96ea2e676044196dc57d8b06146d","datavalue":{"value":{"entity-type":"item","numeric-id":2395457,"id":"Q2395457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1392209$DDA8BC1A-3008-4473-8E41-1B6E81D59E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c17b1143dff0bc685088f8d62dbc046a1f96e02e","datavalue":{"value":{"entity-type":"item","numeric-id":5732670,"id":"Q5732670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1392209$48FDD4D8-6646-497C-9B57-4FD6F18F368A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc1236a6b7e888ea271edc7a134a09ce07c03dec","datavalue":{"value":{"entity-type":"item","numeric-id":1060229,"id":"Q1060229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1392209$24E19A04-D43C-4C72-84DF-5CC593B6EA20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e1d2bf439f14b01b8b1ac291db9729378f9dda1","datavalue":{"value":{"entity-type":"item","numeric-id":4285633,"id":"Q4285633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1392209$3093A76B-2496-42B9-AD1B-F834D5E8D9B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61e88eea90167686c84f927c053c1c99c9d4d8c3","datavalue":{"value":{"entity-type":"item","numeric-id":5342956,"id":"Q5342956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1392209$4C999F5D-6249-4D7A-A4AC-28058DE08403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"165e1e4c75a934a5b626af38582ff587ee468280","datavalue":{"value":{"entity-type":"item","numeric-id":4281626,"id":"Q4281626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1392209$ACB4B932-B679-4F58-975A-940AF557D5AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0da427b6807c73b561a099035509c3ae7d6684be","datavalue":{"value":{"entity-type":"item","numeric-id":4887017,"id":"Q4887017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1392209$C835E0E8-7460-4E98-BB27-B2F85835113B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df3aa39ee5c023366f150986806024600efeaafd","datavalue":{"value":{"entity-type":"item","numeric-id":5248496,"id":"Q5248496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1392209$0CB667B0-F84B-4647-80E4-EA5D20F7DDE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4c22661ef6bd919d2990ad58a4b566b53aaa5c2","datavalue":{"value":{"entity-type":"item","numeric-id":2536060,"id":"Q2536060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1392209$F15CED55-D087-4AB1-B9E3-280989224D95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"020895b632ab45f88cd74933b474c4c134fb40af","datavalue":{"value":{"entity-type":"item","numeric-id":3835023,"id":"Q3835023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1392209$D553226D-B754-444C-B751-FC2B93E4AEA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"886ba032e540aea708d21bd27fbc92799a765ca4","datavalue":{"value":{"entity-type":"item","numeric-id":3686754,"id":"Q3686754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1392209$4423F41B-2121-447F-9999-69D9769B058E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca1c34860a6c75dcc9b8567be7a7558ff9fce6a2","datavalue":{"value":{"entity-type":"item","numeric-id":1202065,"id":"Q1202065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1392209$98BE9595-C1B1-425F-BA2B-04D7C3120BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d892254aa15b4cbf087ce246b264a735b2081c0d","datavalue":{"value":{"entity-type":"item","numeric-id":1190599,"id":"Q1190599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1392209$48F03915-2DD3-47CF-8B4F-F52082EEA54B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c63844c2e38245fdc6612bce29c35b91b812a27","datavalue":{"value":{"entity-type":"item","numeric-id":3854618,"id":"Q3854618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1392209$6B7398C8-6653-4894-B551-ADE0DBD72532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfd444ac2099fb3b5a15da02a0171b8b4a45b7ea","datavalue":{"value":{"entity-type":"item","numeric-id":5588432,"id":"Q5588432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1392209$B694CE7F-F228-4A70-B708-E0E9268C4FEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24eefd2b94b8f0cf91b8b2c1adc0afe5014c26ee","datavalue":{"value":{"entity-type":"item","numeric-id":4138414,"id":"Q4138414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1392209$F2F74C0B-E48E-45EA-831C-0F556CFCA2AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e759b8ddc389f8b42bb244f19be1adfe6bb34c7","datavalue":{"value":{"entity-type":"item","numeric-id":5402560,"id":"Q5402560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1392209$DE3C5A86-BCB7-4A0B-8355-55FA5A5F93D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5837867e98a618d52ced5a6f2437b38b50f0adc4","datavalue":{"value":{"entity-type":"item","numeric-id":3823152,"id":"Q3823152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1392209$EACA37AD-DA30-441A-9C3A-0C31DC9B81A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"245f33c7694496ff34993fadeeabb412d2a07bac","datavalue":{"value":{"entity-type":"item","numeric-id":6102297,"id":"Q6102297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1392209$FD5112A2-10FF-4B4D-8590-44B26A231B93","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bdbcdc67da46d664a217a6f398df14f9f94d860a","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(96)00208-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1392209$A4997354-85D8-4219-B9B8-13AE2E986B9C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2fd9cb8289475042d0c69be4a6388a286e875dfe","datavalue":{"value":"W2009436911","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1392209$33B466F5-F62A-4C12-9380-F871FD12F718","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1b4215e867379b9ce2f8bba145cb1ec6b7994b2","datavalue":{"value":{"entity-type":"item","numeric-id":6102297,"id":"Q6102297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61a99c2305c30ae8f19ec3c4bd2d79b3fe9d1be6","datavalue":{"value":{"amount":"+0.935592770576477","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":"Q1392209$92EC11C4-1684-4551-A4B6-A4C6E5AB0A9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c66ff750e4f00dd766330b4c49b506b02a838602","datavalue":{"value":{"entity-type":"item","numeric-id":4652603,"id":"Q4652603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2e7b5511147687e4b55f0b2f395d146cb77d352","datavalue":{"value":{"amount":"+0.8002715110778809","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":"Q1392209$659C9590-6562-476B-B281-B69F91442AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b64fa137cfda6c1ce01e38a8dd9315a7652c0402","datavalue":{"value":{"entity-type":"item","numeric-id":4377452,"id":"Q4377452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"637f13d421998be7f68f619fabcf20e14eacbb33","datavalue":{"value":{"amount":"+0.7980373501777649","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":"Q1392209$CE899BDA-EFEE-4F3F-A94B-2F7154C6755B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c667834e78b5c36a5fcb85623af15d281dfdafe2","datavalue":{"value":{"entity-type":"item","numeric-id":4634397,"id":"Q4634397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78748800b23360b753a3a05b4847d90c07a92e90","datavalue":{"value":{"amount":"+0.7874216437339783","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":"Q1392209$A917CF20-EAA4-4D5E-9BDB-39FCA0542379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5446d51799ccce8851a06d54ff3c69b34ddfeae","datavalue":{"value":{"entity-type":"item","numeric-id":4285633,"id":"Q4285633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fae796da7030ba4b4eb9348a8c49cc3072a8068b","datavalue":{"value":{"amount":"+0.7732094526290894","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":"Q1392209$BBF45B51-E2B9-4F04-844A-77003DFE4995","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Satisfiability problems on intervals and unit intervals","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Satisfiability_problems_on_intervals_and_unit_intervals"}}}}}