{"entities":{"Q5005133":{"pageid":7034710,"ns":120,"title":"Item:Q5005133","lastrevid":55927381,"modified":"2026-02-21T05:42:42Z","type":"item","id":"Q5005133","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7378350"}},"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":"Q5005133$ADE7F6F2-E47E-4040-9EEF-EC0AC40E4572","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4755582e657d5373bc1841f6f1020d16c1f93d52","datavalue":{"value":{"entity-type":"item","numeric-id":259042,"id":"Q259042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005133$00A91BF7-2765-46A8-8F1D-D196ACF6C589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a22dcbf04c0075727c4039eef5cf5f07e568fa3","datavalue":{"value":{"entity-type":"item","numeric-id":259044,"id":"Q259044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005133$2026D5B1-221D-432B-9F5F-C1EB9AE8B7AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"86b017da9786c8804ad7b41a1ae4778ce957e3fd","datavalue":{"value":{"entity-type":"item","numeric-id":361792,"id":"Q361792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005133$F9DBC785-5AF4-49E6-8E6F-9D043EDD2C62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d34f2dfe983dd2addc7b2bf020b8e2657bc9264f","datavalue":{"value":{"entity-type":"item","numeric-id":259045,"id":"Q259045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005133$7A423244-AEE3-428D-B708-FC115DF79EB5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6f25f924676185979ab6f246b476dde833797f44","datavalue":{"value":{"time":"+2021-08-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5005133$73B0B02E-AEBA-4D2C-95B5-DFF901D30C62","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3c176e973193447d7caa648b6b3863806b3d103d","datavalue":{"value":"https://arxiv.org/abs/1807.00985","type":"string"},"datatype":"url"},"type":"statement","id":"Q5005133$02B8013D-5DF6-4FAF-A3A9-90531F2EA062","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5005133$1DFE9046-062D-4CD3-806F-59742AF8C95C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ecfde4ed3dd8406ac144ec7887ad5b142ecad3b6","datavalue":{"value":"7378350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5005133$5FD8E928-A3D4-4A68-9521-181FDE55F5AA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00fab533cd38d922e3a2c54a153ccdfb1b56ca89","datavalue":{"value":"constraint satisfaction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5005133$31F8831C-E6E0-48A6-B9CB-35A0479EB58D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e5e6e64f7f171dc89f3c77310230730ce57088b","datavalue":{"value":"Presburger arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5005133$40135B65-9210-4E09-9884-DA938920F4D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5005133$5DEAFEF8-C7AD-4C15-A2F6-DECD4AB359C2","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":"Q5005133$473AB61B-D2F9-42A8-B12A-117461FACDB7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac12c59f7c56361c46e98190b09ae79245b48fe6","datavalue":{"value":{"entity-type":"item","numeric-id":5144675,"id":"Q5144675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005133$989BC355-C4FC-4169-A45C-CCF144E697FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c1ff3bbdad58ba73d223d82904d17dd65746329","datavalue":{"value":{"entity-type":"item","numeric-id":1709740,"id":"Q1709740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005133$C2CF977D-8ED7-4D98-9994-F58D58067AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e92bdede00e391a5e4d976814ab00724e26d024","datavalue":{"value":{"entity-type":"item","numeric-id":4635922,"id":"Q4635922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005133$2787E396-77C7-47D6-92ED-A0A197BC0199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc047e04e32b416d9b24dc5e43224747e67a1628","datavalue":{"value":{"entity-type":"item","numeric-id":4561495,"id":"Q4561495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005133$2C5BBB7E-DF2C-4609-8C50-F2A3D211D767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d99ce5f25708789fe72326b42192d37e56dfad67","datavalue":{"value":{"entity-type":"item","numeric-id":3166226,"id":"Q3166226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005133$D509D9AD-9370-44CB-9383-1864189E308D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16f49e537ca6fa1afc114fa0ad051832feefcb6c","datavalue":{"value":{"entity-type":"item","numeric-id":2893326,"id":"Q2893326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005133$645D4CC6-3421-42A6-8A4A-1DAF239CEB9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b341170915b21d1e07bc777ecc1021ee4d6bc57b","datavalue":{"value":{"entity-type":"item","numeric-id":3578192,"id":"Q3578192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005133$F242D8CE-1B9F-4C1C-891E-B3440622AB62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1524e2ed31ec9e4af0f6c5b66d7cd96990e4680d","datavalue":{"value":{"entity-type":"item","numeric-id":1635805,"id":"Q1635805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005133$388980ED-0996-4DBB-97E1-AA63BF266C11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1efe5377590e71cee9828c26a0ce7e157073916d","datavalue":{"value":{"entity-type":"item","numeric-id":3448790,"id":"Q3448790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005133$AC839134-DB75-49A5-9510-24D0B20A6D3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dd40fa73f1db45e31030e77c0a76effcadcc130","datavalue":{"value":{"entity-type":"item","numeric-id":3963952,"id":"Q3963952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005133$08B4EB2F-A749-4BC7-BBDF-01FA00C10633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da5c6061c3f6daf7454d0e9c58daef6f441530aa","datavalue":{"value":{"entity-type":"item","numeric-id":4210136,"id":"Q4210136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005133$A8678424-7B7A-4386-BE45-7352AD9744AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ca559f151ff8090da060c4b51eff0ccfc7e7c90","datavalue":{"value":{"entity-type":"item","numeric-id":360099,"id":"Q360099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005133$421B72AC-F777-4AF4-BC72-F5DF9F66FF09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd368dcbc6726914fa6b4c96d14db33fd4cb17e2","datavalue":{"value":{"entity-type":"item","numeric-id":269512,"id":"Q269512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005133$593EE443-8058-4FAB-8A8A-511A9B7C1AB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dcafb238e6ba98f691c336bb9a0d0dc6d0f213d","datavalue":{"value":{"entity-type":"item","numeric-id":3891677,"id":"Q3891677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005133$B561740A-3718-49B3-A4E7-C5B51145E5DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ad778688079d4a53aaf9e0e9300643f2b8969a1","datavalue":{"value":{"entity-type":"item","numeric-id":4779973,"id":"Q4779973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005133$88FA08F8-2634-4254-B0A9-015F886BA1BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9b94ba27166de62691d57e59ba2a9f75ce60e93","datavalue":{"value":{"entity-type":"item","numeric-id":2958938,"id":"Q2958938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005133$B3C12B18-1387-43EF-AD78-918ED05FCE5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005133$96671309-ABA3-450B-BDC4-01427A324169","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":"Q5005133$55C835B8-5A92-415B-A6CD-D4839EC108CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14d65f813b7bf62e89eaf2eb886e2ecf258499df","datavalue":{"value":{"entity-type":"item","numeric-id":4221106,"id":"Q4221106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005133$91FD4C09-3F0C-4917-BEDA-48268DA8B3B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c0d25db474f232e9be4fa72538a7f5cfee2ff83","datavalue":{"value":{"entity-type":"item","numeric-id":1809087,"id":"Q1809087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005133$FE91AB52-1015-4883-B751-047841834656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbf845399cfc2fa36cc448865f810566596b9d10","datavalue":{"value":{"entity-type":"item","numeric-id":5133982,"id":"Q5133982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005133$59EFC2D4-BAAC-407E-A110-3161DD61736C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f0673df6bd887b10a9f40d1f2d644836311c5dac","datavalue":{"value":"10.4230/LIPICS.MFCS.2018.33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5005133$ED46A375-10F6-4341-89EE-14765FC24B06","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5005133","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5005133"}}}}}