{"entities":{"Q4275261":{"pageid":6304862,"ns":120,"title":"Item:Q4275261","lastrevid":96542207,"modified":"2026-06-05T11:33:17Z","type":"item","id":"Q4275261","labels":{"en":{"language":"en","value":"A goal-oriented approach to computing the well-founded semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 484669"}},"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":"Q4275261$778A0476-CD51-4F73-8002-18BDCDC23170","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c1a49a922f84ec2400859127f2b3a14a98da468b","datavalue":{"value":{"text":"A goal-oriented approach to computing the well-founded semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4275261$5738414F-C6FB-4E05-B820-12F10414E241","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b44143c0fffec0f89404c07a768157593be8494f","datavalue":{"value":"0783.68022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4275261$FF415BA6-A4EA-4F17-9144-64BFDD0CA78B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"666db3e8eb352e07a00fa1fd93e8978a1b32a5bb","datavalue":{"value":"10.1016/0743-1066(93)90034-E","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4275261$5D39D618-A3FD-4B4D-9D0C-F58F70F65450","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"088a48b8fa4d1adecb6fb1a3e270967112ae052e","datavalue":{"value":{"entity-type":"item","numeric-id":252384,"id":"Q252384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4275261$A1A2CACF-B066-4B6F-814D-334B3558B480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"116d98730e2f36e09b578769ef51bae5ebd20956","datavalue":{"value":{"entity-type":"item","numeric-id":1096422,"id":"Q1096422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4275261$7298B550-714A-4D77-8D38-633F91CF2D65","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7eb8fbff5b5a1996cd7eff3ff7a29f3a29661a8f","datavalue":{"value":{"entity-type":"item","numeric-id":3030270,"id":"Q3030270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4275261$1187FEB2-858B-4F74-8CB6-86E5454588D9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a626d589150434ddedb6dea454b02c574516fd1d","datavalue":{"value":{"time":"+1994-01-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4275261$5FEADCB4-A2D3-4742-AABD-82D9B31C50DD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4275261$57F00F39-C331-4D11-B30D-29E7CB313902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4275261$A56C3416-127D-40A0-912D-F6E4B46F5008","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0409018786983b4a37640264af159fae779dc7f6","datavalue":{"value":"484669","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4275261$0DB59D01-2C1E-4129-844D-12417ECDECE8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3449bb2853bba504bdd7d4d559b210401fb32a8f","datavalue":{"value":"global SLS resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4275261$560CED32-5694-4246-B2F2-94EEAFD52B78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f21a279561a246b6e84f6c04c6a4446c491b5f6","datavalue":{"value":"procedural semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4275261$5814E34F-911F-4CF9-B708-99AB6D58378D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4275261$7930D01E-8357-40B7-A9AE-E46E5BC742C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4275261$A1CF567E-708C-49E6-9702-D2E840EE3FB9","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":"Q4275261$73E80F20-28D8-4C41-9D41-FCA6A95B98D5","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7c6545c51be97319d67f1ad808690b2f5acc03e8","datavalue":{"value":"Q127334535","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4275261$7C29AEB4-8161-43BC-88EF-73F83D4FC633","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa4015c7edd08aa302dde3b18ed9e10718a9b625","datavalue":{"value":{"entity-type":"item","numeric-id":3992225,"id":"Q3992225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edf0693ecd25e6c1ab9d421fa61c9ba33733bcb1","datavalue":{"value":{"amount":"+0.852819561958313","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":"Q4275261$DBA0F226-4D54-4B75-8413-261DACD404A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a213185f4b06f149529896e0a30a272faa48ef06","datavalue":{"value":{"entity-type":"item","numeric-id":3125898,"id":"Q3125898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4acad9d17f6e447e738657a815733e106766ec49","datavalue":{"value":{"amount":"+0.8508673310279846","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":"Q4275261$D144EDF9-1154-49CE-A47B-6180FDA756D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0b63603a1c6bbe0dc376355977f2495e946c84b","datavalue":{"value":{"entity-type":"item","numeric-id":1598446,"id":"Q1598446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5f9c17048c10f3321883b00007cea090cb2ed98","datavalue":{"value":{"amount":"+0.8276684284210205","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":"Q4275261$9BCB5F31-9227-4C30-8594-D5477DDA5C06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f5d2f0b91168b05921f324ebabd8fa62a5153fd","datavalue":{"value":{"entity-type":"item","numeric-id":703484,"id":"Q703484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf28dac20698537d3fbbd5c576b65ac2985dc96f","datavalue":{"value":{"amount":"+0.8114882111549377","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":"Q4275261$961EC600-12A4-45DC-9908-BE422F0AAD9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e63f410db5c3720b567ff2fc0fa5adfa631efaca","datavalue":{"value":{"entity-type":"item","numeric-id":4694697,"id":"Q4694697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b42c7085f972b674d395531f0a86ccacf5146a5b","datavalue":{"value":{"amount":"+0.7919492721557617","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":"Q4275261$62ECF62B-706B-423C-985B-B4A61BC4B0E3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A goal-oriented approach to computing the well-founded semantics","badges":[]}}}}}