{"entities":{"Q918664":{"pageid":920512,"ns":120,"title":"Item:Q918664","lastrevid":65377992,"modified":"2026-04-12T02:11:05Z","type":"item","id":"Q918664","labels":{"en":{"language":"en","value":"Hypothetical reasoning in logic programming: A semantic approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4160104"}},"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":"Q918664$5D48E2E1-1A32-4D3A-85B9-99D41C9FBD84","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d4c890312460c5e951b7645d261490efb3e8644c","datavalue":{"value":{"text":"Hypothetical reasoning in logic programming: A semantic approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q918664$C6505308-7EE7-4288-A623-62D78E6D8D21","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eefd158679e7cb28093c90d16f5d04ad2c0b53d5","datavalue":{"value":"0706.68026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918664$80B3B37F-271C-4DF3-B6A1-072E2C2E9C17","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d4601ec3712a8c5eaf3a40cb331b57cd442e002","datavalue":{"value":"10.1016/0020-0190(90)90040-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918664$9D4A279F-72FA-4E46-8FB3-D8E46EF98BAE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e105f5452a33d5c31b2de16d56cb54daabe02cb1","datavalue":{"value":{"entity-type":"item","numeric-id":615892,"id":"Q615892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918664$2A0EBE50-0EC0-4F7E-8E96-835262B029A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0afff187604e083e0229c3768f1fb98d8d2d59ba","datavalue":{"value":{"entity-type":"item","numeric-id":222876,"id":"Q222876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918664$B8B23061-1DD2-4E56-81F9-8E7499A9219F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d9a24074f982cc414cdea1cf903a2494e05e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":222873,"id":"Q222873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918664$B1C629DF-BD29-41FE-B9C0-9BF4555C4447","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":"Q918664$43BB99B2-72BD-4EB9-AF85-78C079D66D65","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q918664$898EE41D-73D6-4189-A44C-C27BB3D01428","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918664$4DAA8ADF-9D97-42A6-8569-863DC0430766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918664$0225DDC6-F953-4E60-8282-6935925ED394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918664$EBDE2831-28C7-47E2-8A29-BD617CCFBA73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918664$F45A113E-CDEF-4A68-AB8F-A962BA1134A8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7dff95df601187b5850f99c760ce3302bb133196","datavalue":{"value":"4160104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918664$8A122D89-78FC-411E-9448-48370594550A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"489560b9b00c44572ad1e0eebe89cce928d6d1f3","datavalue":{"value":"programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q918664$4A57F5AF-0923-4B87-A0B1-1D275020D740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4804225ce369eb1d5773935b377190245c3fb8","datavalue":{"value":"formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q918664$9D97ECA8-54DA-4D5C-84E5-01842AB1CF0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q918664$6293172A-4386-4B6A-A222-16273C131EB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e21d64a26d04e357687da822fb23f3d1f57a7134","datavalue":{"value":"hypothetical reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q918664$E489413B-9FEA-4B98-8731-039E0905DFDD","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":"Q918664$2D970073-9B62-40A8-A9E4-62D9A9465701","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6e4b188b8ea9861e4a775bf60263aeefebd1cb69","datavalue":{"value":"https://doi.org/10.1016/0020-0190(90)90040-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q918664$AF073C2D-1E0C-4B07-A466-A7137AF91AE8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2f2120bcf55de4e4a9ff98a5eeaaeedf2bfd6809","datavalue":{"value":"W2066921528","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q918664$CCE74B26-FE8A-4D67-8203-DBFAD24E8AF5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5caae54559776415a2ad5202e81ba505f1f0765","datavalue":{"value":{"entity-type":"item","numeric-id":3696485,"id":"Q3696485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918664$95E73C35-E2B4-433B-959B-5EF8C68755A9","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":"Q918664$CF44F90F-AD39-48A2-ACAA-5713BEE5DAD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba6a5ced319afb533a64bd672e0cf9270623c5b","datavalue":{"value":{"entity-type":"item","numeric-id":3787973,"id":"Q3787973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q918664$AF966069-5D0E-4CD7-B05A-D0C01AC19A33","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":"Q918664$B1C50DAD-E543-4F00-9443-372CD093FADF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acd279197f4f168aa22e60664c5534003352a5df","datavalue":{"value":{"entity-type":"item","numeric-id":5053014,"id":"Q5053014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f4a3f725d8ff8ad8c42314f41a582e371cd8935","datavalue":{"value":{"amount":"+0.8642987012863159","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":"Q918664$55CD4AF4-2F2E-4A97-AD43-B46339F04409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e123f468a9a05deaa22ecbf0cc8cebbfda0a433","datavalue":{"value":{"entity-type":"item","numeric-id":4484723,"id":"Q4484723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d935340df88c0e1237eac50a33838b21f80e9692","datavalue":{"value":{"amount":"+0.8050861358642578","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":"Q918664$5130F8FC-13C6-479D-83E2-38B0E233C21E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18552fdcc848b3fe81cbe5aa21de442806f76c2a","datavalue":{"value":{"entity-type":"item","numeric-id":4290617,"id":"Q4290617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5990d98f51245f1f14dfdd8f1e9bbf5ee30232a6","datavalue":{"value":{"amount":"+0.7951747179031372","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":"Q918664$1BCA72C8-AFB0-40DE-937E-3A3F677FC983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92420b688ab9b468f19d3884c03eef77644234aa","datavalue":{"value":{"entity-type":"item","numeric-id":5101451,"id":"Q5101451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e0c08891c2782826e230ee98328bf7339ac21d4","datavalue":{"value":{"amount":"+0.7892224192619324","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":"Q918664$617444BA-C363-42CB-BE36-10A412FA66D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10697a07e81ce397d1f7edb479eeaf2a69018fee","datavalue":{"value":{"entity-type":"item","numeric-id":4893673,"id":"Q4893673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed139b3d04444562c85b4da40922238a8be82b76","datavalue":{"value":{"amount":"+0.7760847210884094","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":"Q918664$90E7BEB6-6F0C-4C9E-87AF-9EB25938C635","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hypothetical reasoning in logic programming: A semantic approach","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hypothetical_reasoning_in_logic_programming:_A_semantic_approach"}}}}}