{"entities":{"Q1349967":{"pageid":1360706,"ns":120,"title":"Item:Q1349967","lastrevid":67204902,"modified":"2026-04-12T16:01:43Z","type":"item","id":"Q1349967","labels":{"en":{"language":"en","value":"Multiple total stable models are definitely needed to solve unique solution problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 983842"}},"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":"Q1349967$3774996F-8E14-4CAD-BA8A-CDA78AEBB0CB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"181c8f853507a22d61a24e642f2bb1930cd4ea51","datavalue":{"value":{"text":"Multiple total stable models are definitely needed to solve unique solution problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1349967$AB922A84-1AB7-4D25-A867-226531916E28","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"321cd909045a7f799e8c4972b0d439090a7073e3","datavalue":{"value":"1023.68514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1349967$F39248CD-6330-422B-BD99-50B5470AAAC6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"659f5081d8d940076380e71b98a7c8ac832e2a3a","datavalue":{"value":"10.1016/0020-0190(96)00067-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1349967$92F74294-AA62-4E44-BB55-E895FD8BBB81","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8a76b8afbca796fe20dd7691e0c6af569aec027","datavalue":{"value":{"entity-type":"item","numeric-id":199227,"id":"Q199227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349967$F61D09F8-3329-4246-A0F9-0447B0ED3333","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349967$6AA8F0DF-8112-4907-931A-38393682A32E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b79c82e669aca3d97718bc55c57512b326a2a4ab","datavalue":{"value":{"time":"+1997-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1349967$057C51BA-CFEC-4A0D-97FE-9EF2E6E7E52B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1349967$E5C92BD3-38A5-4106-940D-A1A1359176C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1349967$BA787543-2452-44D4-ACFB-FD7A73BEAA56","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e567bb455e1d904aaf77d9f7bdadb5d2df3fd555","datavalue":{"value":"983842","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1349967$960C575B-5035-4C1A-81BF-797A1EDE9C4A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8db1726c03c7059c08d69b8aca64a6baa1151a9","datavalue":{"value":"complexity class","type":"string"},"datatype":"string"},"type":"statement","id":"Q1349967$2BA1EC99-4955-4FE1-8245-B81638D58B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74473800caa00ca2354e3822045142f9adaae316","datavalue":{"value":"relational database","type":"string"},"datatype":"string"},"type":"statement","id":"Q1349967$E55E1C3E-9F1F-4584-ADD8-E92BCCB41AD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ef3fe755a7f73d503c04c90b5135fad72517545","datavalue":{"value":"DATALOG\\(^{\\neg}\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1349967$DBD62F8D-5947-44C5-B335-C79CA78B548B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16fdb519452f3bafdb17bd5ad06b8194f047110","datavalue":{"value":"expressive power","type":"string"},"datatype":"string"},"type":"statement","id":"Q1349967$F52FB7BC-3DC9-49A8-AD23-C95989E9A324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1349967$4C40F07A-99A2-4CAE-912D-EA8910971EFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5f330fb0a96988399b2cad6e13eaac2b7823f0d","datavalue":{"value":"stable model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1349967$665232D1-481D-487D-9A3F-F46A2AA51AC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c3ea759ee27abcc17b6d3e146fd80876b712c57","datavalue":{"value":"unique and critical SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q1349967$1356DCCC-FEA0-41D1-BFAF-636A1F17EE61","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7545068a6822e4e652ce3b521c8f6365c7bdc7b9","datavalue":{"value":{"entity-type":"item","numeric-id":31846,"id":"Q31846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349967$C701BF67-F636-4D5E-9B19-3A6AD4D03083","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":"Q1349967$74454984-3BDD-42B4-AE9B-83D3249ADA0E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c4475fb07eba2d02981ee47b5d99d5beda2c3333","datavalue":{"value":"https://doi.org/10.1016/0020-0190(96)00067-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1349967$263D2F10-6CD7-42C8-B993-FC54F4083580","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6dfd13938379ce3e38f2de933708332a1a84c3ab","datavalue":{"value":"W1968364806","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1349967$81C927A8-68B2-4E83-94D6-32AD905DCB02","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c317ee9b89d25866849eff84487be5a7c7991b60","datavalue":{"value":{"entity-type":"item","numeric-id":3331209,"id":"Q3331209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349967$89EC7558-C178-44CA-AAFB-F4E7AF4F6A36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04199e03d1d3ec0d2b5fbfff526a164b91654871","datavalue":{"value":{"entity-type":"item","numeric-id":1838840,"id":"Q1838840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349967$291B8651-CFD9-417A-9A85-C9A2BC8CE7FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0839e7e46510112865b452a6ed8d8dd889a4c60","datavalue":{"value":{"entity-type":"item","numeric-id":4058132,"id":"Q4058132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349967$730DD23F-E6AC-415B-825B-FFC4627716BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349967$1284B84C-C20F-4791-B1A9-4F95035FA614","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":"Q1349967$1A19BC0B-3EAE-4CCC-BC3B-904FC528E0D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c568fbb12fc5452c9699a0a3e0159154b2a6454a","datavalue":{"value":{"entity-type":"item","numeric-id":4385525,"id":"Q4385525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349967$29F33006-5943-42F2-930E-3D69B5E11D7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b97aae996047866e201e0764a961d1290615bba0","datavalue":{"value":{"entity-type":"item","numeric-id":4385543,"id":"Q4385543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349967$DF3BECC0-7A36-4449-93F1-48A08FFEB6C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"713f64a492a2aca46d9fcdcf99b677ef28cefa55","datavalue":{"value":{"entity-type":"item","numeric-id":1176286,"id":"Q1176286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349967$592E5A3F-4313-4337-BA0D-176F2DBE729F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349967$CB360B07-F246-4C4E-9ABB-88C5EF65E24E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b38d3f458cafe029fcc06e729be6204ce7ef05b6","datavalue":{"value":{"entity-type":"item","numeric-id":4302848,"id":"Q4302848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349967$4F719E67-19F6-47C4-8435-05FE7DE80407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"458ab467d1c5397109a383d0e5c939369d06a212","datavalue":{"value":{"entity-type":"item","numeric-id":3221403,"id":"Q3221403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349967$D5297697-C811-405F-B23D-2175F5FBA956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"800321fe9f6efe205a2eb283e0da5841a2b5eaad","datavalue":{"value":{"entity-type":"item","numeric-id":1061485,"id":"Q1061485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1349967$E8D9D595-936F-4FD5-B1B8-9D4884514331","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8b58e434c9bff0bb7baf438e37c29e72d13e0d72","datavalue":{"value":"Q126422421","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1349967$6561024D-9EF4-47AB-ADDC-A724D7F303F3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a410dff2e0be69d48a9534cccdcefc4620619e1","datavalue":{"value":{"entity-type":"item","numeric-id":4365319,"id":"Q4365319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcb8a57064cc4797d65497c21aadac5257d4cd69","datavalue":{"value":{"amount":"+0.8238543272018433","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":"Q1349967$67148160-A3DD-457B-9CBC-33466F8A654F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64764f4584ef99c3a5a1fa68050395fcec1022a8","datavalue":{"value":{"entity-type":"item","numeric-id":4572012,"id":"Q4572012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d776394687755293279b8b9132f5d95e10e66df","datavalue":{"value":{"amount":"+0.8232825398445129","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":"Q1349967$2176709E-9B6F-4C1E-A2E1-91FDCCCA0D7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2258fe03aaeb268c2f7cb5c3e08130f60d9eb2cc","datavalue":{"value":{"entity-type":"item","numeric-id":1854304,"id":"Q1854304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4339b6fa55893b0ab73b0d322598accf23f327ec","datavalue":{"value":{"amount":"+0.8083195090293884","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":"Q1349967$42009199-87BB-453D-9EBF-37D37C2F45DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58d86384ed02e4c873e90fc8532b471cd63eaddb","datavalue":{"value":{"entity-type":"item","numeric-id":1362337,"id":"Q1362337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08bb82517f2c0c3ddabe34ca0626e9a087e7a780","datavalue":{"value":{"amount":"+0.8017864227294922","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":"Q1349967$0E4C0444-E8CD-4140-9022-A4A2D0363386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b27c7455f0343188f4e25eeeb60907e6d365e9d8","datavalue":{"value":{"entity-type":"item","numeric-id":1370630,"id":"Q1370630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e505334032a4f0fe38b84242a128945be0ff18bb","datavalue":{"value":{"amount":"+0.7971707582473755","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":"Q1349967$9C48BA15-051C-417D-915B-A9F6AD6C97E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Multiple total stable models are definitely needed to solve unique solution problems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Multiple_total_stable_models_are_definitely_needed_to_solve_unique_solution_problems"}}}}}