{"entities":{"Q4897703":{"pageid":6927282,"ns":120,"title":"Item:Q4897703","lastrevid":90936230,"modified":"2026-06-04T21:50:13Z","type":"item","id":"Q4897703","labels":{"en":{"language":"en","value":"Contextual hypotheses and semantics of logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6118264"}},"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":"Q4897703$3DD0D663-F89F-4A6B-986E-1A3484BFCB65","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"124d9fcc27ea4015f08728c54049c51daa941801","datavalue":{"value":{"text":"Contextual hypotheses and semantics of logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4897703$F3DE26EA-A4FC-4993-B23B-D6967E2E3E54","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ebca27478ca90a54b82b4460528b8a0531b2fa5b","datavalue":{"value":"1448.68204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4897703$466E3AF4-739A-4C94-AA2F-03417E1EC41F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2d0caa4730ec45c28df90f2ebb6a2418927b99fe","datavalue":{"value":"10.1017/S1471068411000378","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4897703$9897C1BC-DEF6-402D-B93D-E1300C3016F7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"894071b83b1ef278120be18cc53167ee5cc1e54f","datavalue":{"value":{"entity-type":"item","numeric-id":169436,"id":"Q169436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4897703$074F78F9-11B4-48DA-B6C4-FCAEA77E787A","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":"Q4897703$70C149D5-3186-4A67-96FD-59D26B784B41","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e10e56b479cd0143c2e5e1719021cea9810d469c","datavalue":{"value":{"time":"+2012-12-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":"Q4897703$853B4406-4B54-4A6E-88E5-600916354D5A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4897703$62901892-6D1D-4C54-A66A-44DF70529847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4897703$AC6F0155-8DBA-4624-8EC6-0F5BCF186F48","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a76b0570b3ed5e8875b35346b32d71dff271e757","datavalue":{"value":"6118264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4897703$715B217B-811B-4A7A-8F50-1E26B1A57B5B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83ef41b5a2e4c75492d9524d1a463aa0cdbb44f4","datavalue":{"value":"Kripke-Kleene semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4897703$6DE47DEA-6804-4256-9AC0-B7C41186AACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd0a7aaf016924416e69f5d36eb391a59de87c73","datavalue":{"value":"answer-set semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4897703$483207EC-8996-4535-A0F8-2FD168616903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c8c04d6faec96e0a57b788f2647a3e7913e75e9","datavalue":{"value":"stable model semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4897703$9A1EEDFC-F78E-43A2-B7F5-F58E1F1859F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"829ca1e536ef76ef92ed2ab157d10567452023f4","datavalue":{"value":"well-founded semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4897703$6579B770-92AC-43C2-A415-273EEAB6B898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33d503007c80b0ea5702688662a8a7cac72e2090","datavalue":{"value":"classical negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4897703$D32AEB5C-31C0-4F61-9E3E-D66E33ECD71C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"268d71c3569c489aa657899cbb839eb77c0c8e68","datavalue":{"value":"contextual hypotheses","type":"string"},"datatype":"string"},"type":"statement","id":"Q4897703$B7A5746B-94FE-4AB5-A4E5-F94EC16AB773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e21d64a26d04e357687da822fb23f3d1f57a7134","datavalue":{"value":"hypothetical reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4897703$B4F6F879-FF95-4254-967B-7052B9828E51","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":"Q4897703$AD2E1ECA-C665-420F-B6B0-1C1ADA297551","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"62133759638e0494d832dd509f26da2cd07004bb","datavalue":{"value":{"entity-type":"item","numeric-id":4275255,"id":"Q4275255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4897703$62BE26D7-A650-4428-8A6A-C2DA649AC95E","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":"Q4897703$E26A205D-1AAC-4FDC-9870-CB39DFAF47FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27458e0f906c5cdb45c2a7a09d10feaf1244cd6e","datavalue":{"value":{"entity-type":"item","numeric-id":1884892,"id":"Q1884892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4897703$03834BE1-9D85-470E-A669-A743864E839A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606b55142cd4468a9a74e0ea3982d2b3991333cb","datavalue":{"value":{"entity-type":"item","numeric-id":3992908,"id":"Q3992908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4897703$876D4C66-D00E-4C10-9C3B-9CE0D8747C1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0970b5e97ed59856b5f2f2e6209641534b7b1c5","datavalue":{"value":{"entity-type":"item","numeric-id":5738965,"id":"Q5738965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4897703$86D9F201-7484-4227-A773-595EB69B2300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b28940e881d0f168cc9881c3139817e5f3ff3324","datavalue":{"value":{"entity-type":"item","numeric-id":4036281,"id":"Q4036281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4897703$4EF2DBE1-EF34-4F0D-8F0A-B9BC508D9E28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a758190ac23ff7b3dba8858d2a10f4c2ab5bf229","datavalue":{"value":{"entity-type":"item","numeric-id":3718131,"id":"Q3718131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4897703$D0DA28E9-3258-4059-9828-520C2DB2FA06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be65e7f60595af225192178b01592127f8414a97","datavalue":{"value":{"entity-type":"item","numeric-id":3025342,"id":"Q3025342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4897703$B53775BD-BFBD-4853-B3FD-6D568AE4A487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f91daa2195cbe510cefc59ffaafa18b1c28390","datavalue":{"value":{"entity-type":"item","numeric-id":4107888,"id":"Q4107888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4897703$06E4C4FC-76C3-4FBC-9025-3A0F2219E9E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f878da03d4ea7e8bad7ca6efaab2ea96ac53ece5","datavalue":{"value":{"entity-type":"item","numeric-id":5738920,"id":"Q5738920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4897703$5BEB1737-C9F8-4FFC-A26C-41BC40C610EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b28b151e5d2074da28b58617a2b6bc71137edde1","datavalue":{"value":{"entity-type":"item","numeric-id":1382156,"id":"Q1382156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4897703$6E183B97-C95A-4438-802B-13078F04C411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9f79ecd22e16d79d91c4b5ff9df0e51214bc658","datavalue":{"value":{"entity-type":"item","numeric-id":4452620,"id":"Q4452620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4897703$A9480C5C-3BF7-4935-8ABE-1A4AE940E026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"810a438105196696cc0a2f8acd79928b03e80b29","datavalue":{"value":{"entity-type":"item","numeric-id":854969,"id":"Q854969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4897703$1BD17F8C-43AE-4C75-9CB5-6D3E8613A43B","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":"Q4897703$CB7ECFE9-6C4B-45D9-A768-D8601DC26FF6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"67858c2def5c57171bdfd54643ba49bde0c0904f","datavalue":{"value":"https://doi.org/10.1017/s1471068411000378","type":"string"},"datatype":"url"},"type":"statement","id":"Q4897703$6E60A6DB-43E7-4BBE-B371-8F784C1CD41A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ad9c2d64aa7123025deef49017b648d7b177cf38","datavalue":{"value":"W2963849301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4897703$4BF99ABB-34AB-4C3B-8871-104902F592DA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb14f34acba15510ba7d8306ec60c87e57f7f2d9","datavalue":{"value":{"entity-type":"item","numeric-id":898781,"id":"Q898781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8f8312bab3c78cf7111ebba0757f97bae25d375","datavalue":{"value":{"amount":"+0.7962886095046997","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":"Q4897703$B3885D56-A4E7-471D-9BBB-BF4FBB1FD705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6181457074f4aec95ea08d39e309cc647d3465e4","datavalue":{"value":{"entity-type":"item","numeric-id":4708597,"id":"Q4708597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"172a7ac5ef2b2ded46204dc09c15bdf318068d86","datavalue":{"value":{"amount":"+0.7933326363563538","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":"Q4897703$5B5B6FA2-A893-4D7B-852A-03065F35D014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaba4a23abbaa3de1534a3479e04bbcfe8b62e75","datavalue":{"value":{"entity-type":"item","numeric-id":4327844,"id":"Q4327844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b2747ce115a38b3ce7c0c811bbb354b214062b5","datavalue":{"value":{"amount":"+0.7748785018920898","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":"Q4897703$6597532F-8D60-4FF4-A80B-718C3FB898A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f950e6521ba56768f0341dd98da9d5db5d428ba","datavalue":{"value":{"entity-type":"item","numeric-id":5277706,"id":"Q5277706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdcdc4da387b498c79045e853387b5107ed54c4f","datavalue":{"value":{"amount":"+0.7743468284606934","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":"Q4897703$57CA7B2A-2CBF-4440-BC2C-F7A449D54899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e89835381d7f9245412253e75b9479e259c2011e","datavalue":{"value":{"entity-type":"item","numeric-id":918664,"id":"Q918664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f81e30faa2eb07bed9386e990bb3938d08983bf6","datavalue":{"value":{"amount":"+0.7693957090377808","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":"Q4897703$E42031D6-6274-4549-832B-18347197A665","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Contextual hypotheses and semantics of logic programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Contextual_hypotheses_and_semantics_of_logic_programs"}}}}}