{"entities":{"Q5748874":{"pageid":7778425,"ns":120,"title":"Item:Q5748874","lastrevid":92880158,"modified":"2026-06-05T02:59:45Z","type":"item","id":"Q5748874","labels":{"en":{"language":"en","value":"A type system for logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4182795"}},"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":"Q5748874$5AD0A1F7-ED34-45ED-92B6-F647A3018732","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a06e45a20178bf29ae5e781821fb3f89bd65795b","datavalue":{"value":{"text":"A type system for logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5748874$CD56900F-84FF-416D-8ACF-2C14442A2AED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d2d4800cdf6ae741116a5ac1d6dc034bfbc59594","datavalue":{"value":"0717.68016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5748874$B4269B14-EC31-4A7B-8B05-F16C557FABA6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"92c539f7c5dde2e2b75b8b6be3fa5497cf50061f","datavalue":{"value":"10.1016/0743-1066(91)80002-U","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5748874$A573F717-7970-4085-AF81-25270A08629E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1cae4d60797a32282a08cecf27604b6131be0b35","datavalue":{"value":{"entity-type":"item","numeric-id":1318724,"id":"Q1318724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5748874$31E43DAC-1F84-4EBF-A811-508E70B70C5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fdad2aaffd22bc224d58c1785de205bb2c128d89","datavalue":{"value":{"entity-type":"item","numeric-id":933427,"id":"Q933427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5748874$4D74B153-F6EE-4FE6-8532-9519B4641561","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":"Q5748874$6FD94AF5-AC89-41D5-A9C4-70D9F9C0D9BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-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":"Q5748874$318B2BC8-74A9-4EA7-ADBD-080745EE518F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5748874$089B1DC6-BAB7-4DCC-8302-1E61333EA160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5748874$4941095A-C7EA-4E62-AF1A-A87F9D72D014","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a24809ed56ab617137d0d07e16cc1413751890e5","datavalue":{"value":"4182795","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5748874$BDE0836B-B1CB-4CA8-A13C-CCFCA1062900","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9923d9e53fdb6a29b9d2b61816d705f106358302","datavalue":{"value":"type system for logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5748874$FB8679B4-9F63-417B-8B92-2B66BA34CB83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ba5620c65b3b1616ab8ae31e5468b0e08272974","datavalue":{"value":"type checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5748874$5A229D8A-BB13-4C08-B160-F679D96C7251","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":"Q5748874$14086994-690C-4EBA-93CA-B1E6551EDF94","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f5e8bc47504399ac53596ad463a4cb8b247addd","datavalue":{"value":{"entity-type":"item","numeric-id":2726299,"id":"Q2726299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"657f8d00d425f6b1f0b96bc3dbac585d109b5578","datavalue":{"value":{"amount":"+0.8406528234481812","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":"Q5748874$C0CC19BB-9CBA-47E1-8551-B5185C73EC67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a339e1dd37f78ad07e1f6008c82d5d9b973878fd","datavalue":{"value":{"entity-type":"item","numeric-id":3768375,"id":"Q3768375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"657f8d00d425f6b1f0b96bc3dbac585d109b5578","datavalue":{"value":{"amount":"+0.8406528234481812","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":"Q5748874$DB8D3233-FEDE-4A16-AF69-A7253CE6FE3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39325d0e1c9e9f212d366c917feb047ff194c278","datavalue":{"value":{"entity-type":"item","numeric-id":4015951,"id":"Q4015951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95b0b9371ef30398afd81f877705ae5248b53625","datavalue":{"value":{"amount":"+0.8318884968757629","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":"Q5748874$E8E5B23E-B028-415F-8423-02C9AE265F4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a522f1d44e426d1d1deb47ee51959147ccf6c43e","datavalue":{"value":{"entity-type":"item","numeric-id":5881208,"id":"Q5881208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70cfb967ae5017189de83eaeec7578269456e5b4","datavalue":{"value":{"amount":"+0.8247160315513611","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":"Q5748874$2098F205-7CA0-4A71-A114-C761A0E60A38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b54e411a1fa403497ad92093317d1d515a51d832","datavalue":{"value":{"entity-type":"item","numeric-id":5309417,"id":"Q5309417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a8af2a5894af77db08a43bbc6d6931961dcddaf","datavalue":{"value":{"amount":"+0.820437490940094","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":"Q5748874$D3E0F463-8762-47A8-9A80-F240E0B52ED3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A type system for logic programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_type_system_for_logic_programs"}}}}}