{"entities":{"Q6636616":{"pageid":14247768,"ns":120,"title":"Item:Q6636616","lastrevid":40606290,"modified":"2025-03-10T09:36:09Z","type":"item","id":"Q6636616","labels":{"en":{"language":"en","value":"Computationally hard problems for logic programs under answer set semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7942534"}},"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":"Q6636616$4E8E44AF-6CA4-48F0-A39C-F685E616EB3D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ce2a00f4ce9a29ff8202e9ead0c176720ff7b906","datavalue":{"value":{"text":"Computationally hard problems for logic programs under answer set semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6636616$B55DF92B-2442-4DB6-A5CE-ADAC2A6B9C60","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f5d8974bc9c63b856a9a375d1293804786d4d4ab","datavalue":{"value":"10.1145/3676964","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6636616$CFBC40F6-3562-414E-A682-A073959E287A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"746c6144ac13ae1f4f11b48754d5c725cd1614f3","datavalue":{"value":{"entity-type":"item","numeric-id":893735,"id":"Q893735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636616$693A06DA-A7F0-4E60-84F6-813139235801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec92be1486ae17f71ec404a7412ad04344028005","datavalue":{"value":{"entity-type":"item","numeric-id":162005,"id":"Q162005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636616$3EA256A3-BB1E-4F70-BD97-42CC2CDC9B55","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636616$74FA80A5-BEDC-4FBB-A23A-A1414E04E73E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"60fa3f87d97ee0a9686c2e5537009cd3455d3ea2","datavalue":{"value":{"time":"+2024-11-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6636616$DA437EEF-6EDA-4781-A5A3-CE545E8036DB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6636616$CF90D654-D5CD-4F9C-865F-66C190764AAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6636616$4F6A657E-CCBD-42E8-940E-5078DB1E3E10","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"18578ac68ed77d9fd47a51c6cabc8e7d741b00a9","datavalue":{"value":"7942534","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6636616$2F17868C-55F1-4B20-BD5B-8D0D9A9E34F2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce9d1647b20c82d33b2f1629c4eaaf4984386a1b","datavalue":{"value":"exponential lower bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q6636616$62A5B7D6-3263-4415-AECD-1F7088388BAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbff8f03116ac62cf7e2d9cc2988d21dd31f9a83","datavalue":{"value":"logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6636616$24C56DCD-E5B6-4517-B8F4-0FF7495F29DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f7f2e0d651cbe2372ff7e59a3d6cfdd993a4037","datavalue":{"value":"answer set semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6636616$CE5B937C-D4BE-44A6-8836-1E212877BFE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd624c13555b9ad8802547c9dcd4f7ef3bbabee6","datavalue":{"value":"propositional formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q6636616$C794809F-4CB6-456E-B66A-D97166B6660E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c640934be6aa44a45ab05e2591104a77cd814802","datavalue":{"value":"succinctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6636616$D2A1E985-CD83-4C22-B85F-30C41564955D","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":"Q6636616$8862EE85-2D7C-4590-B624-84F7470499BE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae600d82e59da48d9490ff29ee5b51a547bc0409","datavalue":{"value":{"entity-type":"item","numeric-id":4864249,"id":"Q4864249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636616$237089C2-7689-4FE8-ACD1-26E8E75627D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bbaef82e8eb92dc4676d651d32794ea23b80ec1","datavalue":{"value":{"entity-type":"item","numeric-id":2798999,"id":"Q2798999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636616$BFF1A56E-E02C-4DA3-9531-40DC7E3641F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d8653d2e6f53b17cedec7b9470bcf88609d4f1f","datavalue":{"value":{"entity-type":"item","numeric-id":5320667,"id":"Q5320667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636616$FACC301B-2443-4DFF-93FF-05A56B55A33E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e73a00eddea79c6dda8d4cb22bce80ab1f20a5e","datavalue":{"value":{"entity-type":"item","numeric-id":3572044,"id":"Q3572044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636616$8EEE6361-AF57-4651-A989-1D74C6C44E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98b011ab831949ce741780553369025dd5b73c2d","datavalue":{"value":{"entity-type":"item","numeric-id":5148371,"id":"Q5148371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636616$C046AADF-311F-4917-8DD2-E8EB0419F6E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3aa57810f0528ce2438cd0f484c242c53bb4e54","datavalue":{"value":{"entity-type":"item","numeric-id":3325043,"id":"Q3325043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636616$C2CFC0EB-BACC-4E19-8FB9-7581535D6198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5699694bdd1074c4792cee7c3f50ae33d8eb62c2","datavalue":{"value":{"entity-type":"item","numeric-id":4718423,"id":"Q4718423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636616$283E4BF8-58E3-4501-BAED-B88CCB0C7B59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0445ca81f1046c8b5bea1a2062f174b139078383","datavalue":{"value":{"entity-type":"item","numeric-id":1217591,"id":"Q1217591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636616$2D462B5E-9248-4110-901E-BE637AF21445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b90df03a170fcc85d9f6d5af38c0866a51f22b3f","datavalue":{"value":{"entity-type":"item","numeric-id":3694688,"id":"Q3694688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636616$4FA0D35A-D41A-4E51-BA42-577FCDACF7FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"763e3905bf47dfe4b400832ecce38198b0d97320","datavalue":{"value":{"entity-type":"item","numeric-id":5490912,"id":"Q5490912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636616$E62B093B-04C0-4DB8-9FBE-D741B11D5465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce0b889ca16c0736cf78ddb6e79f0c37c11c5d51","datavalue":{"value":{"entity-type":"item","numeric-id":5424866,"id":"Q5424866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636616$157D802F-8AA4-4A1A-9350-B42BB5A89EED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"971827659a9b787383fcb93f2ce4a88c28fa1753","datavalue":{"value":{"entity-type":"item","numeric-id":4815031,"id":"Q4815031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636616$53DE6FD7-8FC4-4CE8-8F02-4B32B89FDF4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7f5d48ad5f87848ba0169288bf01b30b971d92e","datavalue":{"value":{"entity-type":"item","numeric-id":854963,"id":"Q854963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636616$D0D5FC6F-89C9-49FF-9963-1CF7BB45C9E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"506caca47d1f2a2389e155eec13a640dbadba1de","datavalue":{"value":{"entity-type":"item","numeric-id":4673539,"id":"Q4673539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636616$C02925E8-A998-4698-BA5B-26D9CE554066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"013dacde3206bbf2c2eeab277c23d5af393af190","datavalue":{"value":{"entity-type":"item","numeric-id":360052,"id":"Q360052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636616$91A5B73E-CA01-4CF9-99C0-1A8802FC18D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50e39951d487d3bf563c62341ed381ea5be4f484","datavalue":{"value":{"entity-type":"item","numeric-id":3318683,"id":"Q3318683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636616$75E08CF4-5DFF-4123-868F-1B7590F6E20F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98458b84404d2cff76bbf7266d4806132eba45fe","datavalue":{"value":{"entity-type":"item","numeric-id":2884258,"id":"Q2884258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636616$CB6069A6-3F96-4368-999E-FED3789E7271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"789a5dffe1ffbcc2aff3566fe1f452b2eb123d8a","datavalue":{"value":{"entity-type":"item","numeric-id":5473960,"id":"Q5473960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636616$B4C4B371-A906-46A4-B5B4-3F35C49A437D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65521026baad34fe2ee1280fedcc0313ba36fd36","datavalue":{"value":{"entity-type":"item","numeric-id":814551,"id":"Q814551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636616$95BE4442-B69F-4F8C-9123-0E9A8E3BF7C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4f0732f471883320ebec889a518f3eaf523eadd","datavalue":{"value":{"entity-type":"item","numeric-id":5900112,"id":"Q5900112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636616$C8E5CDD1-6217-419F-8E68-4E595D52714F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52b45f388842b51b5a2da088b450fd6a6bbb068d","datavalue":{"value":{"entity-type":"item","numeric-id":4843270,"id":"Q4843270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636616$68ECB1FE-68A7-475B-8D2A-B3E8B37917F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04ca7a1acbb96c14c8f84c4ce6e6462daf757716","datavalue":{"value":{"entity-type":"item","numeric-id":3773337,"id":"Q3773337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636616$26D18AA3-A235-4D90-BF3B-676A0A8994DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e42c9128d887844233caee1df2a5e2ba33f6baa","datavalue":{"value":{"entity-type":"item","numeric-id":642463,"id":"Q642463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636616$41857C7F-A04D-42E4-973E-2558EB2546CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81629915ad3a79bb20887705a77cbf2edca48893","datavalue":{"value":{"entity-type":"item","numeric-id":5191497,"id":"Q5191497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636616$BC3236BD-F150-4A03-97F0-30394494D4BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c930d91b45cc74101e54a805b7b01145d43e7ef","datavalue":{"value":{"entity-type":"item","numeric-id":1699519,"id":"Q1699519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636616$887B9826-D8CE-40DE-B36C-8C158C773DA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76f7f1f9bc3f9619e9e2976cf697a1c85f775e0d","datavalue":{"value":{"entity-type":"item","numeric-id":1978013,"id":"Q1978013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636616$CA7449E5-3697-4F3B-8574-88BFE932A269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90fcff51efce68bdddd78506cd3bbb40138540e4","datavalue":{"value":{"entity-type":"item","numeric-id":5398064,"id":"Q5398064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636616$C5BEDBA5-B23C-43C4-847A-E7B3616DDEBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a43e73eadad7694a29cdbc5326249f6adc814f12","datavalue":{"value":{"entity-type":"item","numeric-id":5230475,"id":"Q5230475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636616$9B512A71-23EE-4592-9EA8-3F673259E78D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"594850dc0405a1933033f8a4b3024588f6ff29a5","datavalue":{"value":{"entity-type":"item","numeric-id":5277748,"id":"Q5277748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636616$D7C604AD-DB57-4FD6-BE4C-9320EE44E2B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa7398f4cae4cec658516c98c457f600d9de99e9","datavalue":{"value":{"entity-type":"item","numeric-id":814607,"id":"Q814607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636616$69EBFA8D-7FBC-4FB8-852B-A524609A1142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac9d46675d69da08688a08050917677153351448","datavalue":{"value":{"entity-type":"item","numeric-id":4702577,"id":"Q4702577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636616$E49F639B-57B9-4DF7-AA8B-E06C18BADCD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23f448535440866f4f8fde19aacb4d268082cff2","datavalue":{"value":{"entity-type":"item","numeric-id":1978008,"id":"Q1978008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636616$6DC1BDB4-6BCB-4375-8A71-9C56F593742C","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":"Q6636616$F1B6C265-A456-4FD6-8C80-A927961B4397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"072e91014367104cf566b8b67a728f68b171a4bc","datavalue":{"value":{"entity-type":"item","numeric-id":5906823,"id":"Q5906823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636616$38F942EC-241A-4407-BCE7-3FA04E2898D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23ff4fd15aa6734e12066f575f2700abc354f037","datavalue":{"value":{"entity-type":"item","numeric-id":1603743,"id":"Q1603743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636616$76BE1998-9597-445B-AC74-EF7B6385C0DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8624ac8b08c43bff2290ca70392ccbd3bba72141","datavalue":{"value":{"entity-type":"item","numeric-id":3762226,"id":"Q3762226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636616$F6EE154A-1D4C-47A4-AE1C-35EA380FECFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc9295637fd4e359fc8e65c1b474446e900dfad6","datavalue":{"value":{"entity-type":"item","numeric-id":3189637,"id":"Q3189637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6636616$052470D1-A1B1-48B1-8B9E-CF06F540CA34","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6636616","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6636616"}}}}}