{"entities":{"Q6488542":{"pageid":14067311,"ns":120,"title":"Item:Q6488542","lastrevid":47845657,"modified":"2026-01-02T20:57:16Z","type":"item","id":"Q6488542","labels":{"en":{"language":"en","value":"An examination of the prolog technology theorem-prover"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7680816"}},"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":"Q6488542$31B95F4B-7365-4F20-81CB-E1C8B960D0A8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3a333a7030d6c34374a03937e2c029f6b536a360","datavalue":{"value":{"text":"An examination of the prolog technology theorem-prover","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6488542$8CA58861-0EBD-467B-B1A8-0A024948E4DB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6b7322edbcfa2a791cc9d9884058f18a2f6bcd78","datavalue":{"value":"1509.68323","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488542$457CA949-8010-4D05-8381-9A72AE50451E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"324099681e2d6c39919667cf6a761f9f0ffdedb9","datavalue":{"value":"10.1007/3-540-52885-7_97","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488542$C3925A1F-1D2D-4CF7-BAE3-0ECC8FBC0DE0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f8d55f723b9fa75d50408ae42cd36c0dd670cbcf","datavalue":{"value":{"entity-type":"item","numeric-id":6488541,"id":"Q6488541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488542$CBB7DF87-D8C4-4E3E-B31D-F40CDC42445F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"30bf4c979a904132ac28909e79b707831f730270","datavalue":{"value":{"time":"+2023-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6488542$005C1AAB-8954-45C6-80A2-F618A92FA444","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488542$739395C1-8E9C-4B2B-A864-C35D7DA8522D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488542$ABA13946-6715-4A9F-8C5C-416C001F3C04","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"daf059f2ecb59fea988eec0c7755448d9699a4bd","datavalue":{"value":"7680816","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488542$44E5E917-491C-41F8-BB3F-48E891F86144","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":"Q6488542$2B839B1D-1242-43D1-98F9-259383987356","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"62938883e1780590c0b762bf14c5c27cf5a93bd0","datavalue":{"value":{"entity-type":"item","numeric-id":3204066,"id":"Q3204066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488542$49456F01-FF17-45B0-A11E-D51A330A3204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f69d1a84dd82c8ccb9788f43bbcee993a72393e3","datavalue":{"value":{"entity-type":"item","numeric-id":3750142,"id":"Q3750142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488542$6F853B95-5170-410E-AABD-FBE3304D88E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0620e875ace4454552471ddc26f3c19b333694a","datavalue":{"value":{"entity-type":"item","numeric-id":3994754,"id":"Q3994754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488542$062534E6-9711-4FC8-ADDC-B44098EB908E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f31b4a3d39713dc06eab1bc4b2bfc3409fd333dd","datavalue":{"value":{"entity-type":"item","numeric-id":1114446,"id":"Q1114446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6897f9618d46eb007bd489a686ab32497805627","datavalue":{"value":{"amount":"+0.8741540312767029","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":"Q6488542$DF0A5AA5-2AD5-4A20-A589-97D8DD741CDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0456405130c3ea41f3a066f024f9d673ca3d1ec2","datavalue":{"value":{"entity-type":"item","numeric-id":3750142,"id":"Q3750142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00fc176b606fa1d4ca56d51c8b070b83d6c297a7","datavalue":{"value":{"amount":"+0.8714057207107544","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":"Q6488542$A8C0D624-B5FA-46D1-94B4-307F38C79456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2a6304270c2bf4f17207eb0a8fefd9c3b7ff402","datavalue":{"value":{"entity-type":"item","numeric-id":1199932,"id":"Q1199932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3073ddfea3f1b2f36c0ca8fdeb9354fbb44d5d3","datavalue":{"value":{"amount":"+0.8538150191307068","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":"Q6488542$DF84526D-BF3A-4ACD-A2D4-C0BEEE10F152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cfc99224bc940a643a0e63f784fc5b3c6ee7679","datavalue":{"value":{"entity-type":"item","numeric-id":3821629,"id":"Q3821629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3073ddfea3f1b2f36c0ca8fdeb9354fbb44d5d3","datavalue":{"value":{"amount":"+0.8538150191307068","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":"Q6488542$D853BED3-2AAB-404B-9C00-5A0937684022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12aefa9b4d1ac07f2cec158784e90fbc89bd6230","datavalue":{"value":{"entity-type":"item","numeric-id":1189726,"id":"Q1189726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62076a7d94ad2332da1fe466ae04bce94c5581ea","datavalue":{"value":{"amount":"+0.7828555107116699","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":"Q6488542$3248D832-0729-4BC1-A25F-94E9788D001C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6488542","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6488542"}}}}}