{"entities":{"Q4023589":{"pageid":6053353,"ns":120,"title":"Item:Q4023589","lastrevid":89111867,"modified":"2026-06-04T16:23:10Z","type":"item","id":"Q4023589","labels":{"en":{"language":"en","value":"Logic Programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 108008"}},"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":"Q4023589$F80528E2-4DCF-4985-B731-CC7D83EF3632","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fbfb669dfd4837754a088eb054019a38c1e6d0ff","datavalue":{"value":{"text":"Logic Programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4023589$48DFB316-578A-4E9F-9060-F974891101BE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3512a205931a850a62fc357e8ef322d01adff7db","datavalue":{"value":"0758.68013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4023589$C296161B-47CA-46AA-8A3E-8DA32BF18FE5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"982e3d7064eb26c01ed592fd4f9694435f5c177d","datavalue":{"value":"10.1017/CBO9780511526534","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4023589$60B83400-7A27-4F76-ACB9-F8A3DB792BEC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef0ea631c98980e80358e1b48129f32c64d7dc4b","datavalue":{"value":{"entity-type":"item","numeric-id":1390935,"id":"Q1390935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4023589$D8350614-0E2C-4A4A-A446-B8D36F0C58FE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f64992dbeef321276c91b04bb85fa175c4114d8","datavalue":{"value":{"time":"+1993-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4023589$97CBC8FC-960F-4172-AFA1-74CB0A49A1BC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4023589$482CE119-ED9B-41C4-8F99-7434409868D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4023589$2BA2B25B-B503-44F5-9C25-86C23EC1343E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4023589$62BFC6F7-DE5F-48AB-A21A-3469462E6FAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4023589$0BA0BE71-E454-48C8-A475-E24D14824750","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"13d6922654a6e67901e670d0d8d0ddf081387032","datavalue":{"value":"108008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4023589$2E8EC369-18F5-4E22-AA65-353A8B2FF071","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14af02c81f6a621cc959eb348d34878a73e08be9","datavalue":{"value":"logic programs without negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4023589$A0812357-B4B1-422E-9F4E-79374985EFA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bcfb0301bb17cb416489e95a0d2e3c5b1efbac9","datavalue":{"value":"rewriting system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4023589$8CC36224-A7A6-45AF-9CF3-E7B96CC9E06D","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":"Q4023589$9798FF15-4162-4EA9-BD43-6C59EB41654A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"317fc21a4194cb9075f0008cac8d80287e15b048","datavalue":{"value":"https://doi.org/10.1017/cbo9780511526534","type":"string"},"datatype":"url"},"type":"statement","id":"Q4023589$CD3B760C-43A7-4585-85F6-2694EA694C8F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"879fe9af484896b4db76c4682145f646231cfedb","datavalue":{"value":"W1506233153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4023589$289F5883-2426-4ED7-A9E6-66043D36B47E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9adbacd20f11591f7550cc228dfe34683bac896f","datavalue":{"value":{"entity-type":"item","numeric-id":4514010,"id":"Q4514010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fd01bc7071d161dfe29b09f22fcc1081d9dcc36","datavalue":{"value":{"amount":"+0.8022186160087585","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":"Q4023589$53D2964B-0886-42D5-A65C-C23AF70880FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9182f7bf2ac57e21698bbe82f88190f2ce2cb191","datavalue":{"value":{"entity-type":"item","numeric-id":3769948,"id":"Q3769948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8296ad355c680aceec29afbb94b35fd4affc0f54","datavalue":{"value":{"amount":"+0.7854942679405212","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":"Q4023589$72D3BC8A-BFEA-4CE1-AE8A-DB1230374FF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"557e39da62d7549a8e4585881dad4aa617cecc12","datavalue":{"value":{"entity-type":"item","numeric-id":3212265,"id":"Q3212265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73a458d2f02e02c08fbb46c0e6f6b2bafcf13daf","datavalue":{"value":{"amount":"+0.7850170135498047","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":"Q4023589$4AF3650E-063F-4892-8F60-369E2911BC56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f11669efc28b10493d93d60134dd60258dd749bb","datavalue":{"value":{"entity-type":"item","numeric-id":3983937,"id":"Q3983937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a6df4a978acf8d95f2cfbcdbde85eeeb13f2f52","datavalue":{"value":{"amount":"+0.7832189798355103","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":"Q4023589$A6424BA0-01FF-4CA0-9B2A-1869F5621EE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ac6aaa1a5e0d0f76a93d6782bb8984caaf5e6a9","datavalue":{"value":{"entity-type":"item","numeric-id":1127337,"id":"Q1127337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3065b4d533adc5a6a2772ef4f48274b5b702cca5","datavalue":{"value":{"amount":"+0.7832188606262207","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":"Q4023589$BF0CE20E-A08A-44E9-BFA7-7CC6824A39C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logic Programming","badges":[]}}}}}