{"entities":{"Q2163166":{"pageid":2173909,"ns":120,"title":"Item:Q2163166","lastrevid":55420090,"modified":"2026-02-17T15:59:27Z","type":"item","id":"Q2163166","labels":{"en":{"language":"en","value":"Scheduling complexity of interleaving search"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7570119"}},"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":"Q2163166$0723E70C-4D52-4CF7-AB8B-0F1994B852FA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ad7d5f028b917fd885b97affccc39edd4e849662","datavalue":{"value":{"text":"Scheduling complexity of interleaving search","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2163166$9F94244A-D011-4037-8FCD-DE88B999EE07","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b3d3e5259a1bc4c6323e68a6e55f8a6103df4188","datavalue":{"value":"10.1007/978-3-030-99461-7_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2163166$8A89785C-EFCE-4E16-802C-FA907B00DE86","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7becd57ed187aab28b7dc287c72c8adf70a7724a","datavalue":{"value":{"entity-type":"item","numeric-id":2038079,"id":"Q2038079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163166$7D630F7A-0967-4B8B-9F04-41C9B7DF51ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b17f9b67c70350bffee00b5bbaaf6c3cc11b72d1","datavalue":{"value":{"entity-type":"item","numeric-id":2038081,"id":"Q2038081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163166$0CC6A916-E6EC-4441-AC89-A41290E35AE3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b803906f970976a55a1ec0e1b8bcb05742777ca1","datavalue":{"value":{"time":"+2022-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2163166$174B49C4-FB62-4914-BBD1-CAF4B3635B41","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6017f141aa43acbbda1248231713a763945306c8","datavalue":{"value":"https://arxiv.org/abs/2202.08511","type":"string"},"datatype":"url"},"type":"statement","id":"Q2163166$E9A802EC-695D-4178-B15A-E8F839EA615E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2163166$56EFF2D4-7255-4090-9249-912C0F45E79E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2163166$EC9872E6-AAD4-4F0A-90DB-2A3427904B16","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"81f622117eaa0218ca540bd0a0d8a8b481ac8cbb","datavalue":{"value":"7570119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2163166$190443BF-47DD-474E-AA98-CCE573B21BCD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16cf1142b21a4bdc1a5e5c96934d29341695e8eb","datavalue":{"value":"\\textsc{miniKanren}","type":"string"},"datatype":"string"},"type":"statement","id":"Q2163166$0CD57F0C-82FC-44E5-B2B3-139C20038378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81db4e8ef49b20a43c98d296ed3b06d9dd2a22e7","datavalue":{"value":"interleaving search","type":"string"},"datatype":"string"},"type":"statement","id":"Q2163166$D61DCF9A-1C02-4137-9F87-C840BFA63368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53064f6609fb5177611c085d6f78e739c7e3f7f6","datavalue":{"value":"time complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2163166$2DB57D24-3786-4A13-AEA7-FA41F6E37777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69dd490da9b67dc4fe4c624a05791d0c4fa27f2e","datavalue":{"value":"symbolic execution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2163166$6DFC8143-B0C2-42D4-9B8D-4370C73E3026","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"039ee0c9703af52130b4ec7df459cd545f3e0bcf","datavalue":{"value":{"entity-type":"item","numeric-id":31904,"id":"Q31904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163166$A238AC0D-64D0-43BD-A650-0DD6B1B07A44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a3cd421874fcb8a2dd7e34ecd62611f94d136a75","datavalue":{"value":{"entity-type":"item","numeric-id":31905,"id":"Q31905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163166$DF81BD2D-04CB-4B51-AD12-810EDF6EDFD1","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":"Q2163166$0AC0B375-D3FE-4AB0-931D-F3BA4501151D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cde8069fa99151f092edd022da5c28d27711bbf4","datavalue":{"value":"W4285300837","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2163166$E7112EC7-413B-400A-A1F4-CC806E53E7E3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8ae65343eb6c11a46f82c1359f5d9a67ade594c","datavalue":{"value":{"entity-type":"item","numeric-id":685442,"id":"Q685442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163166$5FACC78D-29B8-49FC-B695-23EFE187B90A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a351897245977aa0d098a2219b09f6d20cfa230","datavalue":{"value":{"entity-type":"item","numeric-id":2751360,"id":"Q2751360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163166$BF95249B-1ADE-4C07-9E10-E777AEFA152A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a645994ce7cfa21164a099b14bb38551cdb1568","datavalue":{"value":{"entity-type":"item","numeric-id":2936782,"id":"Q2936782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163166$EA909531-9878-44E7-9682-C9545BD96CC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3177e63b54dc49f7d394d1334af770aed4728947","datavalue":{"value":{"entity-type":"item","numeric-id":2038088,"id":"Q2038088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163166$154EA756-70AC-41A4-AA96-FA9D20BFA47D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f6076edbc2a34c80d4694d31af9509fded14187","datavalue":{"value":{"entity-type":"item","numeric-id":2038082,"id":"Q2038082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2163166$1936EE67-1C6C-4C84-872E-35FCF6B29512","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13e3dcb6b29bcebb7ef09335900910fb3e6f1492","datavalue":{"value":{"entity-type":"item","numeric-id":2038082,"id":"Q2038082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45016f71b454eea2eeb685f37ad1c76a52eff33d","datavalue":{"value":{"amount":"+0.724280834197998","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":"Q2163166$A4B29D30-3BB0-424E-8D0E-BF8CF985F276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d50ebb4dbc4a66e2a13336890a1dfd1d72ed627","datavalue":{"value":{"entity-type":"item","numeric-id":2956712,"id":"Q2956712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de27681018dffc1ffb5f461e95d31fb443df324d","datavalue":{"value":{"amount":"+0.6587161421775818","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":"Q2163166$01DB2FF8-CFA9-47D8-93B7-9D04D556A111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c54e8d646add820942d9b8a27e9f53f60e177bea","datavalue":{"value":{"entity-type":"item","numeric-id":4259968,"id":"Q4259968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56bd1d0b6d65393989e8510c7bf37b51f8dc0892","datavalue":{"value":{"amount":"+0.6482994556427002","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":"Q2163166$4FFC92F5-5086-4B9C-AA6E-D5A043BC9724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14f48bb9df1ccb5ac2e2acbdbfc753b6a4ad7432","datavalue":{"value":{"entity-type":"item","numeric-id":4352542,"id":"Q4352542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b53a01f7a62a5fe8d8d9ceda9caf6cadd9c3ca0d","datavalue":{"value":{"amount":"+0.6442791223526001","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":"Q2163166$55C9B3EB-73FC-454C-8DED-A360F221BF06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f42e42c293c2d7270edab3cc12815f747ec89d2","datavalue":{"value":{"entity-type":"item","numeric-id":4944884,"id":"Q4944884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1116440394520f47a08f942fe72325075bbe3388","datavalue":{"value":{"amount":"+0.6442472338676453","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":"Q2163166$3277C5DB-884B-4B09-86AD-E5283F9CB2B7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2163166","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2163166"}}}}}