{"entities":{"Q4290618":{"pageid":6320219,"ns":120,"title":"Item:Q4290618","lastrevid":46316055,"modified":"2025-12-24T13:36:53Z","type":"item","id":"Q4290618","labels":{"en":{"language":"en","value":"Records for logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 562507"}},"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":"Q4290618$4BB9230A-CF9B-4ED1-9565-09A9D644EAE7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f7df30b32aaa02189b3eea29b2abe6d979e3c16e","datavalue":{"value":{"text":"Records for logic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4290618$287F945A-3710-42FE-88CB-1D407A2A2C95","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d6a6764b208e723abfa320afcdf9b6e7a046b165","datavalue":{"value":"0803.68021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4290618$47C5E599-68CD-443B-91D0-2FEF3FB05F39","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"225109b4f8ba0800ada6d56599a0747e315014b7","datavalue":{"value":{"entity-type":"item","numeric-id":287374,"id":"Q287374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4290618$55BD7669-8765-45BC-B1F9-7EBF2A429091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa707505e4dc35c303a48188dedbdb1698ec813a","datavalue":{"value":{"entity-type":"item","numeric-id":437025,"id":"Q437025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4290618$CEB23B80-1414-4548-AF5D-650B2DA834C1","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":"Q4290618$A012AD0A-932F-4DE5-B223-5C5D2B8E16B6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae4d7b05535bc7692a75fc587d4810a7bdebded5","datavalue":{"value":{"time":"+1994-05-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4290618$9A26ACC5-472F-47FF-8A7C-EB9AC8D7BB4A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4290618$5FD5B654-9E03-4002-933E-070DE88C866A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4290618$9D9A6399-B3FC-4084-99C9-24CC05901D32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4290618$C33F3ED7-7592-40A2-84C6-74BA768CD446","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4e2258b0c5f01560de1427e0aaf90610b2c590ed","datavalue":{"value":"562507","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4290618$74ACA27A-2A9E-4F08-A7B7-FCDFD02C3764","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ae3f0d13ad92818eaf45462f9d67f2d319a5148","datavalue":{"value":"constraint logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4290618$CD380606-5774-474E-BB2D-FE1F2059E94D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a7a3ecd18f9fbcf0f920a2754f1e289ee3e2b78","datavalue":{"value":"records","type":"string"},"datatype":"string"},"type":"statement","id":"Q4290618$B40733A5-4227-4C15-AF49-A56F95561302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24dfd72a480fafc05c095cecc157e317547c10c6","datavalue":{"value":"logical data structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4290618$327525BD-035A-418C-8AAF-95AF89D82EE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d612bee342687019cad51da538a0393dd2238c40","datavalue":{"value":"feature trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q4290618$E292446A-1D9B-47AD-9D1F-3565B0A9DF5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"509df812bd7d6cdb3af81a6d3249971093964036","datavalue":{"value":"mathematical semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4290618$0485CE47-839E-4E92-AD18-98E032EEB5F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd2c10f579bad0813b791f72fcc1484fc619e422","datavalue":{"value":"logical semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4290618$63A6D327-DA1F-467C-BCF4-A6639658A24C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4290618$0AB7A66C-0808-4EF2-BB99-C6CCEC945D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4290618$D802BBE9-9C2C-4253-8B8A-B18B8755E88E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef005c57ec72bf1e5b47bd8f6a8adaa20239b969","datavalue":{"value":"entailment","type":"string"},"datatype":"string"},"type":"statement","id":"Q4290618$86F19BD0-2F4D-4886-A96D-3924260E54A4","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":"Q4290618$15D3DF42-03BD-4514-A0D6-1333D4F74B0D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8ab9ffd949f8998e839b0bf04dda7385e5d97243","datavalue":{"value":"https://doi.org/10.1016/0743-1066(94)90044-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q4290618$A89689B9-06F7-4FD9-A828-44389130EEA8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d59fa9e356b9dda6d3256a13a679b2e396e891a5","datavalue":{"value":"W2004256601","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4290618$9ED48737-1299-4E1D-880B-BC08850DB29E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"02735c1c9463f221b8b62c4a74328ff14b411f2a","datavalue":{"value":"10.1016/0743-1066(94)90044-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4290618$9A0516F2-8088-41EA-AC8E-1F9792840038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P27","hash":"3dd4e07092167cd787a033167878ae26cec3a114","datavalue":{"value":"10.22028/D291-24985","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4290618$7C361082-8F6F-4440-8E8A-CDC6EE93A860","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"422737d49181fe3c4a3247818e6dc79a49af1511","datavalue":{"value":{"entity-type":"item","numeric-id":1314426,"id":"Q1314426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"268ef06a7e898e854a37c78aab39f8b6b5a96c45","datavalue":{"value":{"amount":"+0.8589897155761719","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":"Q4290618$ACB4C340-7C09-4C0D-88BB-03C97C72D776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7603d926518cecb77851d2b638bb20932dad4128","datavalue":{"value":{"entity-type":"item","numeric-id":3125892,"id":"Q3125892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bdac0ca3aee118efe3990ddc7e06d580bf46ee5","datavalue":{"value":{"amount":"+0.85869961977005","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":"Q4290618$D49C4290-6C9F-414F-8CAC-9D40D0B2A0EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"318b5f518e917ea1438f6ea90bb91718cf86b5bf","datavalue":{"value":{"entity-type":"item","numeric-id":5688930,"id":"Q5688930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"171101760176dce90d7d53bae1900fb7663f39e5","datavalue":{"value":{"amount":"+0.8392428159713745","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":"Q4290618$41ACACD2-5467-40D6-A899-EE268AFFD8C7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4290618","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4290618"}}}}}