{"entities":{"Q3304091":{"pageid":3314799,"ns":120,"title":"Item:Q3304091","lastrevid":53785922,"modified":"2026-01-25T17:30:01Z","type":"item","id":"Q3304091","labels":{"en":{"language":"en","value":"Optimum stable model search: algorithms and implementation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7228388"}},"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":"Q3304091$CD64DE36-5CD6-4AE7-A161-FB2281EB09BD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"10b6caf28db1424e0bc435abc88969c57f534a77","datavalue":{"value":{"text":"Optimum stable model search: algorithms and implementation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3304091$7B053154-34F9-496C-B08E-3B568A8ADAF2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"00c0c897c9eb37f20484716aa14427d9fe446c26","datavalue":{"value":"1487.68206","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304091$8359DAA5-6625-4BC6-BF29-10C764F92573","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5a97ca6b9aa27ff9ea5b9e923a7697bd4e8c876","datavalue":{"value":{"entity-type":"item","numeric-id":590982,"id":"Q590982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304091$AE8FB043-DB56-4E8F-A72D-82C08B8539C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"750927c5fb765835282b75675de140e07cdbdd80","datavalue":{"value":{"entity-type":"item","numeric-id":2238695,"id":"Q2238695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304091$82DF7F1B-1DBD-4C2B-9933-DA3DDB443272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc66809533143588d5d844a649a4a72c194e20a3","datavalue":{"value":{"entity-type":"item","numeric-id":899443,"id":"Q899443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304091$376E3822-D2DE-4511-8758-B8B468B5061B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41df06f4fe4133fafd7ede4eda94dd022be9bb8e","datavalue":{"value":{"entity-type":"item","numeric-id":1430295,"id":"Q1430295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304091$0C483D85-12A5-47A5-8663-BE064E4E77A3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"367b52f871d6b5e824ee75b3e7162a8cd956fdbd","datavalue":{"value":{"time":"+2020-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3304091$7C289508-AB6D-4F81-ADBF-E6A328B83FB4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304091$0B7AC89B-6868-49DD-98AA-15516F688197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304091$3B349762-786F-47D1-B0EA-8118BF1B3749","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"486308c2ca8336f9cd4d1ee4a4dd534aa2652984","datavalue":{"value":"7228388","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304091$FED2F52D-3B3C-41AD-B441-CC54FF167A6F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db950158dbf04962d46f58063f87afbd011015ef","datavalue":{"value":"answer set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3304091$A656FF3F-659D-4804-B9B3-7253A2F9C258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67a48542a501e19dfcc26f793a329fc219055ae0","datavalue":{"value":"ASP","type":"string"},"datatype":"string"},"type":"statement","id":"Q3304091$3F710290-F944-40B5-82BB-9BEE0334C08C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7266802113187a96c78397ed692b735dee12e876","datavalue":{"value":"maximum satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3304091$E6E7C94A-CFD2-4A65-8542-B831C4D277F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f90035379f033d8c779548ef0daf0c9417d7c5a3","datavalue":{"value":"MaxSAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q3304091$247E9051-4FCA-4AE3-BB3C-A3AE9AA564BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a59b1493a3dfce77efe9c02f17396ec193aeaaf0","datavalue":{"value":"optimization problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3304091$66445D70-2A8C-42AC-8CF0-329BDC714367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"040cc33d6c06916deb8ddc814d007f40f00bd249","datavalue":{"value":"WASP","type":"string"},"datatype":"string"},"type":"statement","id":"Q3304091$8F94DB15-9DFB-4BA3-81F5-866E9C9CDD7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87ca617e0571398f164f6a09b46a49638a24f420","datavalue":{"value":"core-guided algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3304091$88D53FF1-BDF6-4AC1-9040-6C6D6AD09DB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9730df7ea38679cabb82d37c65ee12f507748ff4","datavalue":{"value":"model-guided algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3304091$084CCAFE-92CB-4A10-9F63-D3E97DA444B3","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":"Q3304091$D9F4304D-44A0-4D51-9FB4-5F904D8A38D9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"75225ebb8535acf6d75aac328dfe3cd85a477666","datavalue":{"value":"https://doi.org/10.1093/logcom/exv061","type":"string"},"datatype":"url"},"type":"statement","id":"Q3304091$9FDBD974-D8F4-4725-8650-1AD5698D1CD2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4e4ee7f28e060452045be47ba5591a9b882b59ed","datavalue":{"value":"W2471277801","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304091$699E88C8-A4D7-4B0F-9D52-2A754F59022A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9a789a0ec1819ecaa7ced41fd08f3f7a183195f8","datavalue":{"value":"10.1093/LOGCOM/EXV061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304091$477E3C2D-CC5B-4440-B697-9BCC46B99587","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304091$C27AABE4-9A1D-40BA-A500-EFC04D2E5692","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7023c6af0856fd0779a8ba889e5032c25b41421a","datavalue":{"value":{"entity-type":"item","numeric-id":3643122,"id":"Q3643122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb1861e0549b94e70c8aa76a9d9abb20368f348f","datavalue":{"value":{"amount":"+0.8467254638671875","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":"Q3304091$FEDDBC38-1A43-406E-899F-55284DC42487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8792b2ca7efb2d7ae56bd60e9b9855736c9bb6ee","datavalue":{"value":{"entity-type":"item","numeric-id":3449189,"id":"Q3449189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77550a9a03bc2bae3d11531253817a4da4ca556d","datavalue":{"value":{"amount":"+0.8307628035545349","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":"Q3304091$B1EEDBF6-D267-4B01-87AB-4A54607348BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88d70a708d963930a1f210abc1beb6630d342d82","datavalue":{"value":{"entity-type":"item","numeric-id":1603743,"id":"Q1603743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4a9d6d851d5798cf71e715fe4d072a11bc5ea4d","datavalue":{"value":{"amount":"+0.8180362582206726","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":"Q3304091$3C01B4C2-1D6E-491D-9B7D-AAC262A46008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f965dee0a264858ef5a98a69afa73d4f9201b49e","datavalue":{"value":{"entity-type":"item","numeric-id":5475768,"id":"Q5475768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87243eeedb6fe93d33bd6cf8ac81f59f30c1c9f9","datavalue":{"value":{"amount":"+0.8180359601974487","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":"Q3304091$97DA9888-68D3-4A69-A4B4-99E6D3632F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58303a843b9df22336a9a40b49f30ccee29d86b6","datavalue":{"value":{"entity-type":"item","numeric-id":3638997,"id":"Q3638997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c221161b70d26c7ecd25bb4ff75d6f8d8058189","datavalue":{"value":{"amount":"+0.8133473992347717","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":"Q3304091$E078CD72-BA6C-4983-BB30-B801508CE0EB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3304091","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3304091"}}}}}