{"entities":{"Q6864429":{"pageid":20683189,"ns":120,"title":"Item:Q6864429","lastrevid":84244289,"modified":"2026-05-14T03:19:58Z","type":"item","id":"Q6864429","labels":{"en":{"language":"en","value":"Antichain with SAT and tries"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8154409"}},"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":"Q6864429$A8677F7A-3686-4E41-86AE-B9AA3FD9AA82","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"17e2108a4261d646663f6ba8574c0743c79a1409","datavalue":{"value":{"text":"Antichain with SAT and tries","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6864429$72593BD9-FC5D-429B-BEC9-1C575486CB9B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fae360e3c48d8d5b8d54a39b7559f4acc937c8ee","datavalue":{"value":"10.4230/LIPICS.SAT.2024.15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6864429$30E6CB8A-7C0A-4E3D-BB43-3E9914A3BBE2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"88ff85b194809bca7f50c32cce728497c09fefc5","datavalue":{"value":{"entity-type":"item","numeric-id":300409,"id":"Q300409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6864429$4E5B18E9-038B-441E-9640-553E026F905E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c97e95256f1c561e8a185cd48fbdac0544466c5b","datavalue":{"value":{"entity-type":"item","numeric-id":6488156,"id":"Q6488156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6864429$66467C4B-636E-4FF2-A8E9-78263D568894","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ed61ba796b09d24654b6e63953d4a9b1b60a75c7","datavalue":{"value":{"time":"+2026-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":"Q6864429$8D26980F-2C8D-4A45-9741-10A7F828A3D3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6864429$AC208067-06E3-434A-94F1-C847CDC92E15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6864429$90328316-3CCA-404D-968C-BB34A0F055C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6864429$59483839-0FB9-4C89-85BA-8D1ED2AAE530","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6439425c8516c2dd31f368382049db7cd64476c0","datavalue":{"value":"8154409","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6864429$CB74F3AD-1A4B-40A8-BB26-FBBE535CDD17","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6864429$26734F9E-DB78-47E0-A50B-5D204D745127","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5867ec7b44aefc01672736513dfe6410a0300cd5","datavalue":{"value":"SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q6864429$D751FA67-18E1-4077-A2DA-B4801F1772FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd49f785bc74ae1320ffae4c73c8c43d76a9d0da","datavalue":{"value":"trie","type":"string"},"datatype":"string"},"type":"statement","id":"Q6864429$252B9BC1-25AC-4DA1-8163-A4C37BCE5CC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70c12533e1406e33816856813f8ebf55f6f74c69","datavalue":{"value":"antichain","type":"string"},"datatype":"string"},"type":"statement","id":"Q6864429$80ECCC2B-4425-4307-B918-1DF9E8A898D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03dec23bfabd2e80d595a3a253b903efd88865fa","datavalue":{"value":"alternating automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6864429$8D51C8CC-6CBD-4783-8827-8A4605A28FB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"449086f94b7a10c172ae693591242345b9f0e82d","datavalue":{"value":"subset query","type":"string"},"datatype":"string"},"type":"statement","id":"Q6864429$E26352FD-5277-4D58-8979-67C53D290FF1","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":"Q6864429$0E26A5CE-B546-4620-A033-48E0A3E5E7B5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d9b87bed981aa39a2e700f5352c6dc58919d90b","datavalue":{"value":{"entity-type":"item","numeric-id":4484482,"id":"Q4484482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6864429$6BAF97A4-6C85-4719-AFF6-63FDDAF12329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8c2a20598003049952d3358bc03d221f8c30dee","datavalue":{"value":{"entity-type":"item","numeric-id":4809151,"id":"Q4809151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6864429$70111E70-8087-4710-AFE3-E9AB188E33D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"405e423365a63f056daf918c24255c84fbebdaed","datavalue":{"value":{"entity-type":"item","numeric-id":2754102,"id":"Q2754102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6864429$2599FCDB-3A2B-4CBE-B182-63DF7C459CBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef9a85754f10c794d7ea794155cce4bd2f066956","datavalue":{"value":{"entity-type":"item","numeric-id":3075471,"id":"Q3075471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6864429$25CE7AA9-0A56-4A86-9540-6CA2E60F4E05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64edbd4b0368a46cc24983dcdc802e4982142495","datavalue":{"value":{"entity-type":"item","numeric-id":5310200,"id":"Q5310200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6864429$013FC22D-F484-493A-A798-7EA39C415D04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648af4444efef3dfface63422920536bd2b0c180","datavalue":{"value":{"entity-type":"item","numeric-id":3928246,"id":"Q3928246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6864429$B994792C-60EE-4117-B962-FC1924A88ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d5110837235b3e3a5689285505c78bfe11c7d5","datavalue":{"value":{"entity-type":"item","numeric-id":2130584,"id":"Q2130584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6864429$AE05DEFD-F135-44F2-90E7-70F3CCB8D144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"639780cd27dafce4bd11843e7ad6d2329958ef36","datavalue":{"value":{"entity-type":"item","numeric-id":5408448,"id":"Q5408448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6864429$6ACAA72B-05D0-4848-BFEC-D8D9B99FC5D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6864429$7E5ECBB6-BC54-406B-81A0-0FA8C0AA68B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7945a177b7df9279d2abc448c4d3d682b8426a2c","datavalue":{"value":{"entity-type":"item","numeric-id":5458321,"id":"Q5458321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6864429$C692A9A9-08C2-4578-88CF-C21BCB0F3575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2ff5b664ce5ab0121fddc9e05d34b6fe40ac225","datavalue":{"value":{"entity-type":"item","numeric-id":4518906,"id":"Q4518906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6864429$43953512-A606-4E9B-B3ED-5AB73FAB8CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e5a439ad8d4c6ab1137e52e48a534b00e2b2873","datavalue":{"value":{"entity-type":"item","numeric-id":606909,"id":"Q606909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6864429$7997D08D-A88E-43B0-8179-58324E258968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f085b238ed338f810dadaf339888144af184bb5a","datavalue":{"value":{"entity-type":"item","numeric-id":3557062,"id":"Q3557062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6864429$3EA2BBAB-3AE4-45E3-9F39-A86B33E0CFB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6864429$935D17F0-5966-4979-A037-F48FC0FBC4EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94738d7e3e041bfb81b4f6300174169fa66c0f19","datavalue":{"value":{"entity-type":"item","numeric-id":6492750,"id":"Q6492750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6864429$613686B9-D3C4-44D6-B7A8-700DA9E7769A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04c4305699170406c7287a104a4408e68423f3b5","datavalue":{"value":{"entity-type":"item","numeric-id":3303905,"id":"Q3303905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6864429$AE8BC541-7BE8-4A6C-B540-556FE29AAE70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d56be3c28f0922b42868a7e597f4189f5e96248","datavalue":{"value":{"entity-type":"item","numeric-id":1878915,"id":"Q1878915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6864429$F5C46DFF-5A63-49E7-9E2E-09A38EBBE843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00fa0aa7f8a4a873356565a94c7f0ba6cba24f75","datavalue":{"value":{"entity-type":"item","numeric-id":5326331,"id":"Q5326331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6864429$7F84233B-551A-4265-BF4A-5C3181145FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2bc9eb61f58fded99213bd86b6fdb579a8fe276","datavalue":{"value":{"entity-type":"item","numeric-id":1959653,"id":"Q1959653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6864429$723B4068-C8EA-47F1-A61B-7FD6A07D89E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1df70527e1650647be4320d7fcf3a72f6ced01be","datavalue":{"value":{"entity-type":"item","numeric-id":4931290,"id":"Q4931290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6864429$FFBCBDCD-F03F-417D-A7C0-CD22BC4ACC32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e29a9e63db651327a88d88e2cdc75e51e9cd4afb","datavalue":{"value":{"entity-type":"item","numeric-id":2843329,"id":"Q2843329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6864429$828C5672-E574-42D8-9071-29D5403D2142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdbace6415d89fca5d9ba31adb1a3b4e1ba6373e","datavalue":{"value":{"entity-type":"item","numeric-id":3549125,"id":"Q3549125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6864429$BE97858B-FBF1-4142-82D3-CBA546560E20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1781cf1c4b9c878169c5f01ee420ce02e0ae2f85","datavalue":{"value":{"entity-type":"item","numeric-id":2894267,"id":"Q2894267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6864429$AA299A3D-073B-4CB7-BB5A-F6479F32ACB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9269e64d2adca53bb2f298ca1a02b550d98c27a7","datavalue":{"value":{"entity-type":"item","numeric-id":4571400,"id":"Q4571400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6864429$4A07FC7F-6646-48BB-8255-7D181E96A5E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2d9d5673d377c95422809e446c2052b58cca8ec","datavalue":{"value":{"entity-type":"item","numeric-id":5756749,"id":"Q5756749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6864429$D5CAB114-D26A-401A-8970-D056855E7916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23cf3ba9d702014e7be78d2b93f401a56388af9a","datavalue":{"value":{"entity-type":"item","numeric-id":5351976,"id":"Q5351976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6864429$5A02E732-5348-445F-9457-B86B2714FCE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1f55243298e3d2a14ecad44913b341a09b62062","datavalue":{"value":{"entity-type":"item","numeric-id":6560392,"id":"Q6560392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6864429$73409A92-06DA-4413-97E7-230DC3B2D717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e991b59a21bb27baf14ad62236558a2b717aaa1","datavalue":{"value":{"entity-type":"item","numeric-id":6488157,"id":"Q6488157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6864429$75410CD0-B23A-4812-93EA-DA48DCD73D09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98e175be2d970e9a1994d85c88e332778ef2a0c5","datavalue":{"value":{"entity-type":"item","numeric-id":4633540,"id":"Q4633540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6864429$479AB99E-9A72-4D92-A032-4649585F47A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4642bcb7c915521a77293757841128c7fd74d05f","datavalue":{"value":{"entity-type":"item","numeric-id":5756729,"id":"Q5756729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6864429$66A70BD7-9656-4B42-B5AC-658461B8C2AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb6b44d3ab57341d3a87da9b9124773b1ca70df9","datavalue":{"value":{"entity-type":"item","numeric-id":1977761,"id":"Q1977761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6864429$0EAF4EDB-FF5C-48AF-BECA-AF9FF8E28C33","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Antichain with SAT and tries","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Antichain_with_SAT_and_tries"}}}}}