{"entities":{"Q543596":{"pageid":545363,"ns":120,"title":"Item:Q543596","lastrevid":62630118,"modified":"2026-04-11T07:23:06Z","type":"item","id":"Q543596","labels":{"en":{"language":"en","value":"Stable models and circumscription"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5909442"}},"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":"Q543596$292A254F-E3EF-45B1-8B7B-7A6A62FE3499","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d240ccf5bc832ea085441d58ccd96b9b0e9e8de7","datavalue":{"value":{"text":"Stable models and circumscription","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q543596$4E466D58-E688-452F-8EC9-36274E3EDCB9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a1eb50375276893967decf0965a5ef78cb021472","datavalue":{"value":"1227.68103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q543596$67E0CF9E-E8A8-42DC-8C3E-8698C5FFDB4F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8b86c889e98162906d1e3df2870b56e2aaf3a0d","datavalue":{"value":{"entity-type":"item","numeric-id":543594,"id":"Q543594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543596$8DA11391-EED9-4FB5-B108-C50C7F9F6241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"705c9c5d3a5c6970817c5db0cbfa66d180e46194","datavalue":{"value":{"entity-type":"item","numeric-id":543595,"id":"Q543595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543596$137107EC-9D67-4703-9421-472CFCE522A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"264349f01f15aafc786d236704010273459ca31a","datavalue":{"value":{"entity-type":"item","numeric-id":234724,"id":"Q234724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543596$437D2CB8-B87A-4BD8-BBA8-D47FDA3E7D9A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543596$F042CADC-54FD-4D23-81DD-893A9FC8E50A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7c5acb12eb16cd36e6bd9603815f2e919f7d5ec","datavalue":{"value":{"time":"+2011-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q543596$E5A6715E-C816-41A5-8B27-36523D1ED8C1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"89403a5c6a90006d4fb74c1c387fe20473b8e3ce","datavalue":{"value":"Consider the logical symbols \\(\\vee, \\wedge, \\neg, \\rightarrow, \\forall, \\exists\\). Let \\(\\mathbf{p}\\) be a list of distinct predicate constants \\({p}_{1},\\ldots,p_{n}\\). For any first-order formula \\({F}\\), let \\(SM_{\\mathbf{p}}\\)[\\({F}\\)] denote the second-order formula \\({F} \\wedge \\neg \\exists \\mathbf{u} ((\\mathbf{u} < \\mathbf{p} \\wedge {F} ^{*} (\\mathbf{u}))\\), where \\(\\mathbf{u}\\) is a list of \\({n}\\) distinct predicate variables \\({u}_{1},\\ldots,u_{n}\\), and \\({F} ^{*} (\\mathbf{u})\\) is defined recursively: \\({p}_{i} (\\mathbf{t}) ^{*}\\) = \\({p}_{i} (\\mathbf{t})\\) for any tuple \\(\\mathbf{t}\\) of terms; \\({F} ^{*}\\) = \\({F}\\) for any atomic formula \\({F}\\) that does not contain members of \\(\\mathbf{p}\\); \\(({F} \\wedge {G})^{*}\\) = \\({F}^{*} \\wedge {G}^{*}\\); \\(({F} \\vee {G})^{*}\\) = \\({F}^{*} \\vee {G}^{*}\\); \\(({F} \\rightarrow {G})^{*}\\) = \\(({F}^{*} \\rightarrow {G}^{*}) \\wedge ({F} \\rightarrow {G})\\); \\((\\forall {xF})^{*}\\) = \\(\\forall {xF}^{*}\\); \\((\\exists {xF})^{*}\\) = \\(\\exists { xF}^{*}\\).  For any sentence \\({F}\\), a \\(\\mathbf{p}\\)-stable model of \\(F\\) is an interpretation of the underlying signature that satisfies \\(SM_{\\mathbf{p}}\\)[\\({F}\\)].  The proposed stable model is applicable to syntactically complex formulas because it covers non-Herbrand models and because it allows to distinguish between intensional and extensional predicates. Syntactically complex formulas are useful in the context of the stable model semantics in view of their relation to aggregates. Non-Herbrand models are related to the use of arithmetic functions in logic programs. Extensional predicates provide a useful technical device. The concept of a stable model provides a declarative semantics for Prolog programs with negation as failure and can become a starting point for development of answer set programming.","type":"string"},"datatype":"string"},"type":"statement","id":"Q543596$3C1F8FBD-1F54-433E-97E2-95514C2AA257","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q543596$775DABD0-24EB-445E-88B2-07DF4432F963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q543596$66F59D57-2DA1-4057-B58B-FB2EFC433C06","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d0ae1e87cb44b61f88ddc5204770cf96bf37232c","datavalue":{"value":"5909442","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q543596$AF4A2918-5C79-4992-86C9-30AB07AA369F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db950158dbf04962d46f58063f87afbd011015ef","datavalue":{"value":"answer set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q543596$0230C006-08BC-4AE0-AAF0-0623EC55DAC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"810632941a593d1099dec8607de94b96a09fbd7f","datavalue":{"value":"circumscription","type":"string"},"datatype":"string"},"type":"statement","id":"Q543596$55121A4E-4D4C-408C-A6A1-DDCC68CF7691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71df45fd99690bbb53c862594b145dd989a58d8e","datavalue":{"value":"nonmonotonic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q543596$A81B63B3-84FF-4D72-8F5B-EEA8DBBCC701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1de94f997bdb674c91e9e81f7fc26396e22bf004","datavalue":{"value":"program complition","type":"string"},"datatype":"string"},"type":"statement","id":"Q543596$A6F04400-1E9D-4A8A-B5DA-045D4BEBA617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cf68b700896c255a0bd6c82529e8b253e1f9d4f","datavalue":{"value":"stable models","type":"string"},"datatype":"string"},"type":"statement","id":"Q543596$4D405CA0-4118-4121-9367-DA1C767E2F18","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"79c66918880f31b09b4fbb0b19c8c8481c2203b2","datavalue":{"value":{"entity-type":"item","numeric-id":15063,"id":"Q15063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543596$14D749C7-4BAB-4A34-B7D5-1252C319D34F","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":"Q543596$526CEFD2-FAE4-4247-BC19-7DA7D58C0AA2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c320a8ba447c66e2435ec222c08ff7ddff59241a","datavalue":{"value":"https://doi.org/10.1016/j.artint.2010.04.011","type":"string"},"datatype":"url"},"type":"statement","id":"Q543596$46F419E3-32B4-4C28-9C87-5D793C9DB46F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6226399275c467b5c246d151828a577af809bfce","datavalue":{"value":"W2134039900","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q543596$2E86E3B5-E7A1-44EC-A38A-735CBB105F25","rank":"normal"}],"P223":[{"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":"Q543596$35698F29-9DE8-442B-9A4A-31FCF56D4D61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bc4e81b20f8546036523a450cceb6c505dbe33f","datavalue":{"value":{"entity-type":"item","numeric-id":3007261,"id":"Q3007261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543596$7C5425B8-5FCE-4401-9EEA-4D37AC640EFA","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":"Q543596$9B93FC38-5A28-4B6B-A80D-5C3E49223AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60a9de76924445cefc84acc003270ad0e5b892b3","datavalue":{"value":{"entity-type":"item","numeric-id":3983043,"id":"Q3983043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543596$B98E1BEB-C0FE-47FB-9922-00549CE2CD62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4e3684754825a081af253d8848c5fc38ec62d17","datavalue":{"value":{"entity-type":"item","numeric-id":2457644,"id":"Q2457644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543596$69525607-5742-4FAC-8A1C-3B0992651919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5da690f5f6b2ec4c4b7425e8a23fa64798865f9","datavalue":{"value":{"entity-type":"item","numeric-id":3112629,"id":"Q3112629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543596$C6ACFB75-4B4F-4510-A37E-BA13C8DC7109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eeb028fa07e943dbc55013a21d45f38b49595968","datavalue":{"value":{"entity-type":"item","numeric-id":5504689,"id":"Q5504689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543596$33FB6E4C-9164-4F28-B093-506963A983F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0eda07e74c455b9508c4802bce8fdc74d6e13f24","datavalue":{"value":{"entity-type":"item","numeric-id":5738917,"id":"Q5738917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543596$3DD5B025-0EB6-4459-BD4D-BC5F5CAA65FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4e23772db96e9bf015553350a5ee3dfa756e876","datavalue":{"value":{"entity-type":"item","numeric-id":5425408,"id":"Q5425408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543596$C9104734-847E-4BAE-94ED-409115192DC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8444ab6e46aeef53c04b4001c52ce9266d4505cb","datavalue":{"value":{"entity-type":"item","numeric-id":5504644,"id":"Q5504644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543596$2897C5AA-DB59-4819-999F-F1009A7C6A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"049890a294300ed10ad1250542d6d58138114d4d","datavalue":{"value":{"entity-type":"item","numeric-id":4352536,"id":"Q4352536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543596$2B6F3BAB-D392-40AC-8D15-E49E1D069A54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d2f5bc92e9392637b6279fc20e9ab64715fa973","datavalue":{"value":{"entity-type":"item","numeric-id":1199920,"id":"Q1199920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543596$96911C8B-3DCA-498B-BA55-86EEDE7F6EE7","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":"Q543596$227D4E07-432C-4589-901C-C1C8A30C6E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9324592dbfa1f7e2277b45d2dba533c75ef452a8","datavalue":{"value":{"entity-type":"item","numeric-id":543597,"id":"Q543597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543596$B66A5346-7AA8-4544-819C-FA888BCEA389","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":"Q543596$200F0EE9-68DB-40D8-A6D1-038CA4112827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"423afc99b15b62a04b1a8a934c14a449f9640ab9","datavalue":{"value":{"entity-type":"item","numeric-id":1140440,"id":"Q1140440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543596$44C84EEE-72F9-43D0-BCDE-EAD97C35D81E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db3c6d88506c0d71e7cd9dea1498e89139430a65","datavalue":{"value":{"entity-type":"item","numeric-id":1060866,"id":"Q1060866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543596$D737E2A5-84E5-4434-8474-A0349CE6AE0D","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":"Q543596$42A3AD87-4493-4DC1-9A50-30E7F089FD12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8b0dcfa897a7e64eee00075ddec30ee583352f","datavalue":{"value":{"entity-type":"item","numeric-id":3546042,"id":"Q3546042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543596$16C19E69-1399-46D6-9ECA-9A851ED02AE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1e3b8457bdbc5cddcf19c9c044bcacd79aa4e5a","datavalue":{"value":{"entity-type":"item","numeric-id":4736482,"id":"Q4736482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543596$0A7EBF2A-2C4C-44AE-A7E7-39C59092F5EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01d6649d4853baff3b254e51c9979c2133405503","datavalue":{"value":{"entity-type":"item","numeric-id":1140434,"id":"Q1140434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543596$F78C265B-83AB-409A-A75C-F56EBC7AE8D8","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":"Q543596$B0493388-0C78-4144-BC60-1AAFD1EF3EE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07265dcebfa8ff6737e70a56a120115cd6df8d1e","datavalue":{"value":{"entity-type":"item","numeric-id":4036289,"id":"Q4036289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q543596$9EAB33FF-80D0-438D-AD04-4E74EBC1DF27","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a163a0e477b8d74312f09591d89e3d81211ef0a2","datavalue":{"value":"10.1016/J.ARTINT.2010.04.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q543596$F775C8BB-0167-4872-9B46-B81BAB626BFA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59aedb7ae9b8cfef748ce97c028dffb28bedbf34","datavalue":{"value":{"entity-type":"item","numeric-id":4306224,"id":"Q4306224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c40cefc2579f6c0b18eb7e15ec79d4fe33e02734","datavalue":{"value":{"amount":"+0.8550520539283752","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":"Q543596$C33D6928-0873-4750-B139-F586105C679F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef73443031c9f3f9ab5e6e413e2b3e7e82754977","datavalue":{"value":{"entity-type":"item","numeric-id":3586017,"id":"Q3586017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a9fe4551fcba900bd8f1f50293bf6c6ebe572b2","datavalue":{"value":{"amount":"+0.8471347093582153","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":"Q543596$07354084-E5AE-41AA-A48E-BDC7470F47CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"941487c6f441733cf357d0f99035e5bd626c2078","datavalue":{"value":{"entity-type":"item","numeric-id":5504644,"id":"Q5504644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e9d62d76a75e3b2ea92dd3bef2aec903f863ff9","datavalue":{"value":{"amount":"+0.8389710187911987","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":"Q543596$954EB50A-BEF5-4590-A8F6-80DBA6B47488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d77b3e47bcd98d78226002291d1f9c31399c7224","datavalue":{"value":{"entity-type":"item","numeric-id":5504645,"id":"Q5504645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd86b8ab67da833d91ce7c19cd418aea6c272ad9","datavalue":{"value":{"amount":"+0.8117554187774658","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":"Q543596$5E51B909-8AB2-44C9-808C-88ECBC01F65D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37bc0dfb5afaca4727876f77622a5f55cd8563e2","datavalue":{"value":{"entity-type":"item","numeric-id":4702577,"id":"Q4702577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f70ca710c25769c318facac7181b112ca5a2d435","datavalue":{"value":{"amount":"+0.8084558844566345","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":"Q543596$1A96B243-43D2-4BA0-9D84-2053853E39AC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Stable models and circumscription","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Stable_models_and_circumscription"}}}}}