{"entities":{"Q2055811":{"pageid":2066553,"ns":120,"title":"Item:Q2055811","lastrevid":43494475,"modified":"2025-07-29T12:53:29Z","type":"item","id":"Q2055811","labels":{"en":{"language":"en","value":"An abstract view on optimizations in SAT and ASP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7437053"}},"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":"Q2055811$530D4E3C-252D-4DE8-979C-2FF6B24F047B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"50bcf917b132e63069f12f27b66218db20c4df0a","datavalue":{"value":{"text":"An abstract view on optimizations in SAT and ASP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2055811$59447E2E-2C5D-4157-BBDA-35F0C544F046","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"51bd9e8427bd51b486dc41aa32b54f0565030699","datavalue":{"value":"10.1007/978-3-030-75775-5_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2055811$641641CE-EDBE-4C3B-806F-441FC7299EBF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"65af7e7acc5ad39c96829b9c7659ef5fc5c99d1d","datavalue":{"value":{"entity-type":"item","numeric-id":286081,"id":"Q286081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055811$8B00AB6E-4832-4694-A7C7-2EBB99A86A92","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"083b9dcd5269b8796cca7eb2ababa434dff5de3a","datavalue":{"value":{"time":"+2021-12-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2055811$62954A86-F04A-400E-AFC2-184B80B1C1DF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2055811$D2D724C4-6B16-48DB-ADC2-78E690447768","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d008443ed05df67da0f46db5a00fe0f2508db8d5","datavalue":{"value":"7437053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2055811$137E6675-F22B-459D-B506-3DE14D2F2D0C","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":"Q2055811$9BD31C9B-75DC-455C-A825-9900CB3BC404","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b78a30cb538ad717d37a7f6870ee6722dc88300c","datavalue":{"value":"https://doi.org/10.1007/978-3-030-75775-5_25","type":"string"},"datatype":"url"},"type":"statement","id":"Q2055811$3CED231F-3544-47CC-B627-DE1030083233","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ebe79421b50ae462fc0bf1aec7cfcf2fc62b75fd","datavalue":{"value":"W3159185321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2055811$90E8C9F5-F0D7-450B-8ACF-E34E5C1962A0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1becd1d99caaab1d324b3ade4ad1a38c60aa68c6","datavalue":{"value":{"entity-type":"item","numeric-id":5398060,"id":"Q5398060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055811$F0C75A2A-07B9-4042-906E-131A5D4D08A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15e19170183c8774cb38196705806ca7e842e18e","datavalue":{"value":{"entity-type":"item","numeric-id":3604010,"id":"Q3604010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055811$56D03684-A643-4F6D-899A-4F7AC71009E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12e0cce9a7ca8bfdbf1c3c7ab24a3ccb8dad9165","datavalue":{"value":{"entity-type":"item","numeric-id":4957196,"id":"Q4957196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055811$8049D7DE-0AE0-4384-9D5E-032FD0CAB36A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9ae2b2b4cffe95331953ba5a54b86b368a38d2e","datavalue":{"value":{"entity-type":"item","numeric-id":3191110,"id":"Q3191110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055811$60A76CEC-A91B-4C1D-8D82-751122B04077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a381368a6e530fd9cfaf75684cdafb86ba06def9","datavalue":{"value":{"entity-type":"item","numeric-id":5473965,"id":"Q5473965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055811$62666AE5-377C-4AAD-928F-AB34317EC9C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e648849759be406c9eb52fea228820e1c04a6864","datavalue":{"value":{"entity-type":"item","numeric-id":5756559,"id":"Q5756559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055811$5033AF05-AA4F-4BAE-9D89-5C3A1B085A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44c7d0fcce172bfc08bee9ba0fa79c71c72be739","datavalue":{"value":{"entity-type":"item","numeric-id":861709,"id":"Q861709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055811$70673226-11C0-4A33-9476-025F091BC844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05deb1ccde75ab053138014416c29fa9ac44d758","datavalue":{"value":{"entity-type":"item","numeric-id":3647255,"id":"Q3647255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055811$0DCA5408-B72B-457A-B54E-DAA1F831F326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b906034c2ec53edda2ffc93c4b30cd388d51f1c","datavalue":{"value":{"entity-type":"item","numeric-id":490456,"id":"Q490456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055811$A242F01F-98E5-4399-8F29-8FE40A851341","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":"Q2055811$187AD221-1CF2-4CD2-95BA-7A6DDD741173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0652c3d7656f0321dfafc0299d52759a82d36133","datavalue":{"value":{"entity-type":"item","numeric-id":286083,"id":"Q286083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055811$898C3022-FA40-42F1-9B85-1D142A100D2D","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":"Q2055811$4081A241-B43C-469A-A511-CA7EB522D1FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e0415d643c57f0a367c51d611891732f298610f","datavalue":{"value":{"entity-type":"item","numeric-id":3396552,"id":"Q3396552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055811$612F5DC3-3396-454C-B206-F3ED9171E426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"079d9a1453e37e4f063466335e73de85de7201e2","datavalue":{"value":{"entity-type":"item","numeric-id":5756563,"id":"Q5756563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055811$F8B1FB08-023A-4C20-9D9D-7DE1708BAF15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef7491ab4a7be556ef06f48788ee23bf754a6ccd","datavalue":{"value":{"entity-type":"item","numeric-id":3172899,"id":"Q3172899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055811$91D8999B-CA51-4426-85F5-1963EC98A21B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2055811","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2055811"}}}}}