{"entities":{"Q6487560":{"pageid":14066329,"ns":120,"title":"Item:Q6487560","lastrevid":47810542,"modified":"2026-01-02T18:24:00Z","type":"item","id":"Q6487560","labels":{"en":{"language":"en","value":"Hybrid SAT-based consistency checking algorithms for simple temporal networks with decisions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7650204"}},"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":"Q6487560$04BA5BE1-0D87-419A-A59E-AE266524975E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8d1d27b4a42c4f4ef65412ed767b3b809dc40ca2","datavalue":{"value":{"text":"Hybrid SAT-based consistency checking algorithms for simple temporal networks with decisions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6487560$8A423C6D-73EC-4C8C-86A5-B960C8250CE6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f6b493498c2ad91cffc430c3e2f569bcc51a02a0","datavalue":{"value":"1515.68295","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487560$23D9C1C4-8301-4481-BB65-89C2F3630C06","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"49bcfbfed6b73bef906403bf4525862092495d59","datavalue":{"value":{"entity-type":"item","numeric-id":821553,"id":"Q821553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487560$F1D5BA1D-6893-4CC9-86EB-0E70B611EC1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c9bd4e2e8254ef1dcff2d92c0576b70e25420ed","datavalue":{"value":{"entity-type":"item","numeric-id":329409,"id":"Q329409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487560$C2D75B37-53CE-412C-9386-05BB84DEA8EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"186bb8da4d9a21e884eff28e3a0bd8547b44ac9e","datavalue":{"value":{"entity-type":"item","numeric-id":168651,"id":"Q168651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487560$6188BFC3-0B7E-4729-BF39-90071B447B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"70b45d72ed2ba2486377818ff4f18636ea6d5a4a","datavalue":{"value":{"entity-type":"item","numeric-id":549723,"id":"Q549723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487560$3C187B12-712D-4710-AC6D-915C1804493A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6695abe38664d65c38747de7b5fe54d9caa92dea","datavalue":{"value":{"time":"+2023-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6487560$1AE84E85-EF02-43A5-B7B5-AD99CCB52CAE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487560$31C097F5-FBB4-4098-A241-38061B807F9F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"07280a47cd67eafd47101afa05fa0911afdfa9b5","datavalue":{"value":"7650204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487560$E8A84C7D-242F-4F35-814A-F32DA9124D50","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fb681c5ad293493392976c7a355db276c824c7a","datavalue":{"value":"simple temporal network with decisions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6487560$5E9DBC89-3C3C-47CB-BF5B-686CAB5CF004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3ae0eb391ac32dd260ea53e3a1b1e947255c9ba","datavalue":{"value":"HSCC algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q6487560$C6B622F2-BCED-472D-9471-28200C5050D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c17ba3336ee29a438f94113428b852bbc963ad0a","datavalue":{"value":"incremental SAT-solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q6487560$34C4134E-3AAE-41C0-8BFD-D4FD2C14E6FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"581e48e8be93c0266a12405cb1b313b9c846c0c6","datavalue":{"value":"disjunctive temporal network","type":"string"},"datatype":"string"},"type":"statement","id":"Q6487560$73E1B46B-7679-438C-BBAC-207F2812A1A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c7c7516ef6361817ebf8d3dab4e62517d2a1709","datavalue":{"value":"KAPPA","type":"string"},"datatype":"string"},"type":"statement","id":"Q6487560$ACA82A73-05E8-4471-A35A-0C02DED57828","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":"Q6487560$E80650AC-2D80-4274-91D5-B90B2995262C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8329835d6e39db679cf7bae32e0fcd9ecb56a7eb","datavalue":{"value":"10.4230/LIPICS.TIME.2019.16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487560$750C0632-D04E-4CA9-9B14-17EE2653D048","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d51845cabad62a9fe5197e4d0f773cae107c6557","datavalue":{"value":{"entity-type":"item","numeric-id":821554,"id":"Q821554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc99d585606dbfb2fba3facc581dd4a9b2d27428","datavalue":{"value":{"amount":"+0.9444940090179444","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":"Q6487560$89218030-3518-4896-B879-3303C84C99BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b078e733344e4517d725d23f2ac3cbfd7f6cd0d","datavalue":{"value":{"entity-type":"item","numeric-id":6486429,"id":"Q6486429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b58768d40cd14384d01d48f6ea17fec60ee4f31","datavalue":{"value":{"amount":"+0.8462892770767212","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":"Q6487560$05D4082D-0096-4CE7-92D6-9BCABCA12431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2e330bc7f54cc4f14cf0dad37e71587bb43b325","datavalue":{"value":{"entity-type":"item","numeric-id":6486431,"id":"Q6486431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54394ba8c9bd3a2080fba6ab57400e162aea2122","datavalue":{"value":{"amount":"+0.8030381202697754","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":"Q6487560$0B961490-AA99-4AD7-AD69-B90E5001E981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1d9ff77761b939c30ddff87efcfeb593048876f","datavalue":{"value":{"entity-type":"item","numeric-id":2334595,"id":"Q2334595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"806a710c7f8b6cdc8e0818165e45cd1d678893c4","datavalue":{"value":{"amount":"+0.790791928768158","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":"Q6487560$940D3EE2-6CBD-450D-9595-33714F9FD7CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f940bfbf1072f96381d46f9618afd27f9d6008d5","datavalue":{"value":{"entity-type":"item","numeric-id":1706164,"id":"Q1706164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20e924c458138de19db982eae983cb7d634dc32a","datavalue":{"value":{"amount":"+0.7883620858192444","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":"Q6487560$F0D939BD-68B6-4547-A7BE-DF2B4D5AD2D4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6487560","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6487560"}}}}}