{"entities":{"Q5398316":{"pageid":7427890,"ns":120,"title":"Item:Q5398316","lastrevid":51935276,"modified":"2026-01-20T14:04:53Z","type":"item","id":"Q5398316","labels":{"en":{"language":"en","value":"On the stable model semantics for intensional functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6262145"}},"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":"Q5398316$E539DA1A-FD05-43C1-9F2D-ED3DA333537A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1929fe1a44df1d5ecdda9d9e1e4dea963550f5b7","datavalue":{"value":{"text":"On the stable model semantics for intensional functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5398316$E2A23657-EB27-45BC-9894-78C6006E97C4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d71ea892701dc53d03cab7fd2466d1f5fe5f5114","datavalue":{"value":"1286.68041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398316$600B9754-A024-4F50-AD81-BE37E1405C20","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f1c246b703f29161284568aed1a4c9c5d5c6192b","datavalue":{"value":"10.1017/S1471068413000549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398316$A4401DB4-0E7F-4474-A8CE-3212FF274714","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9df841d0b1813d33a3ccd54839612e6f98008412","datavalue":{"value":{"entity-type":"item","numeric-id":2321298,"id":"Q2321298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5398316$BAE85877-2C3B-453F-BF0B-212FE5ED6794","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":"Q5398316$9EDCB0EA-8444-4646-A712-3F75557B04CA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5398316$F04643ED-663F-4658-9CF0-13C6B0CD8F6A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0ad1819a6b25c30725bd1583db7084d2537ac828","datavalue":{"value":{"time":"+2014-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":"Q5398316$ED374A9E-F169-4BB2-B389-CEF00B42E639","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398316$DF52C92D-8FEB-409D-B483-DB1D2405ACF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398316$BB21F8C1-26BB-4372-A193-097F4DD8AD7C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e0d6873bfd3ae0dce26b4a7bec39d2974b9292c9","datavalue":{"value":"6262145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398316$C8A5C9BD-A916-472E-ACC9-07DDA8B03311","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db950158dbf04962d46f58063f87afbd011015ef","datavalue":{"value":"answer set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5398316$0EAEF732-2A30-4C8A-B64D-BF2469CA6750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cf68b700896c255a0bd6c82529e8b253e1f9d4f","datavalue":{"value":"stable models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5398316$CC89CB71-F5EC-4D95-B872-71C61B4C2E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a7c6a94719c782a4759fceeea51298bfe1011e2","datavalue":{"value":"intensional functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5398316$C98677A6-2641-4A2B-8B3C-EBC6B1B61284","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":"Q5398316$F4952862-4B51-44FF-9852-1D2AA9A55AA6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b75ee8f8a18238539664bf2738ea8a8583ca1625","datavalue":{"value":{"entity-type":"item","numeric-id":543596,"id":"Q543596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5398316$DB2CC231-77C0-4CE5-A353-7F66CB7BD6DD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eac870aa42d2d26148630bd5a664e2b408704d08","datavalue":{"value":"https://doi.org/10.1017/s1471068413000549","type":"string"},"datatype":"url"},"type":"statement","id":"Q5398316$698686F7-D9F3-4D64-8B71-B857617B7146","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f9e42f39ad10e860a666d8bcca0ac8f43120837f","datavalue":{"value":"W2139799680","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398316$2B057FF7-C26F-4A9C-8FAC-17CEE552F4B2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40f564fb23c69d94eda570e2689b56f37e258261","datavalue":{"value":{"entity-type":"item","numeric-id":2321299,"id":"Q2321299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36f71680bb53a6a1ad4597982892ee90604ea5ae","datavalue":{"value":{"amount":"+0.8561686873435974","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":"Q5398316$4A6A122F-A620-4FDC-BCD2-426400FBFD21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b629af81a2c96d0db8ed119e294db1900dbc389b","datavalue":{"value":{"entity-type":"item","numeric-id":2938505,"id":"Q2938505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e37f1cc521991183082671c2578a719d490d597","datavalue":{"value":{"amount":"+0.7744202613830566","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":"Q5398316$3DD1F5B4-1F94-4E8D-A39D-8497F9F00B26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef13f75cc68fc25b9f306085f79e10e04e8459c1","datavalue":{"value":{"entity-type":"item","numeric-id":1127348,"id":"Q1127348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fae2e9d63de740bdd8641efdc9d423aced0f4d07","datavalue":{"value":{"amount":"+0.7482755780220032","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":"Q5398316$CDD42635-ACC5-4228-A65C-36908AA4CDC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c28f5e207d608b07ab7fa6f087a0dd2ff11cc4a","datavalue":{"value":{"entity-type":"item","numeric-id":1353944,"id":"Q1353944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef331a5e4f83552a0f5251fae21d237f5c1233f6","datavalue":{"value":{"amount":"+0.7425365447998047","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":"Q5398316$3C8A4B6C-12B0-4445-A155-024D3FB40C07","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":"27618df2d0954dd2550c0938ac2e6e3c206f1197","datavalue":{"value":{"amount":"+0.7397698760032654","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":"Q5398316$3AB316BD-EF0C-4A62-B41B-473E728187E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5398316","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5398316"}}}}}