{"entities":{"Q5210773":{"pageid":7240344,"ns":120,"title":"Item:Q5210773","lastrevid":53639201,"modified":"2026-01-25T11:42:27Z","type":"item","id":"Q5210773","labels":{"en":{"language":"en","value":"The applicability of logic program analysis and transformation to theorem proving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7154548"}},"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":"Q5210773$C0CA578C-7AC2-43E7-BC4D-8A2F1A115120","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"47310b11a016191811f7b6a74a3dd5fe93675dfb","datavalue":{"value":{"text":"The applicability of logic program analysis and transformation to theorem proving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5210773$FEF8D7B9-3436-4F7E-B9A7-9985C6471C75","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f9d637ad32b151bbd9e370526cd339e0ad4f63cc","datavalue":{"value":"1433.68543","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210773$501AC0A5-6F39-479C-B58C-CCEA2F292ADB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8c8f5809f33ab11b20ad339712d2028a7199721f","datavalue":{"value":"10.1007/3-540-58156-1_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210773$61871582-47FE-4B67-8E4E-B2785C70B47C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b83c4196b217d63b5747bbfbc651956ccd74ac1f","datavalue":{"value":{"entity-type":"item","numeric-id":5210772,"id":"Q5210772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210773$772934B0-B08D-4AA1-9099-6EDA08A8E507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2c13ddb28c279be9eed2b39004f69512bab7c50","datavalue":{"value":{"entity-type":"item","numeric-id":238502,"id":"Q238502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210773$77247CC2-9473-474C-AAD5-3DA9CAF90403","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5ce55bffd503afc59f0668cb8e4536460b24d029","datavalue":{"value":{"entity-type":"item","numeric-id":5210757,"id":"Q5210757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210773$24A20CEA-40FE-446D-B7D5-BF630CE8F4A6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a33e9289a41a440ea82601c0f5c7fc7756e3797","datavalue":{"value":{"time":"+2020-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5210773$9FD68974-EA53-4FDE-8500-FA37410303ED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210773$41247DDC-E6E2-40D8-A105-7F6B8B064725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210773$976AF8B3-B52C-4CF3-B45F-A745D49FA208","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b4adc2e619bb029ee1b6e5e53027afcfbd4ae377","datavalue":{"value":"7154548","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210773$C0FA9EC2-6C93-4E4B-A8A5-3D65230E548D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210773$7C2C25E9-35DF-4EF4-9C5C-6FF4DD448B0B","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":"Q5210773$16B637C1-B9D6-4E31-B534-92896C6BF248","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c21eeeef49026409d9a827c9abf0fef6338774fa","datavalue":{"value":"https://doi.org/10.1007/3-540-58156-1_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q5210773$FDBE69BB-E02B-4244-B4F1-52C384AB8D59","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1a215133d4bd5728c918b26e5d0bc0ba42bf6db3","datavalue":{"value":"W1487533857","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210773$1FB21342-DA10-4D6B-9588-6457BA270830","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"565ff389bc9a092cb46738ef60d5ab4992bcd1a3","datavalue":{"value":{"entity-type":"item","numeric-id":5210773,"id":"Q5210773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210773$F2272D0B-D25E-494A-BC27-45CF6A5255D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210773$9555D24E-BDDC-4197-B1AD-74E0A90104E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63d6648d4f28199265be3ea8533a8f67f88e77f7","datavalue":{"value":{"entity-type":"item","numeric-id":4327427,"id":"Q4327427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210773$C9FED364-CAEB-4E26-8517-CCBAC8018533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606b55142cd4468a9a74e0ea3982d2b3991333cb","datavalue":{"value":{"entity-type":"item","numeric-id":3992908,"id":"Q3992908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210773$C67DC804-ABA4-474F-A54B-D48A9F43BAA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28b1b08756d91316e1d97aa4b3cacebc09d7bda5","datavalue":{"value":{"entity-type":"item","numeric-id":3988796,"id":"Q3988796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210773$FB15BC62-2F8D-440D-9686-656E4491BC16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1aa9e8bb4ef37ec285d6c238c3f5aa5ed5c9a38","datavalue":{"value":{"entity-type":"item","numeric-id":4139711,"id":"Q4139711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210773$038BF6F0-9DFE-416C-BFB8-9B6941BA9F2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ace3bf3851cb3603b10fadcc13358fc2d3ba2b54","datavalue":{"value":{"entity-type":"item","numeric-id":757031,"id":"Q757031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210773$5E1EFA69-C98D-4C67-A98C-4D2D668E97EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c543490a726fc37940ebd65e1478942f96856567","datavalue":{"value":{"entity-type":"item","numeric-id":1356224,"id":"Q1356224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210773$BE3B9D1C-9374-454D-AA17-0B16B52E823C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43dddbaf5c4f9e9ee266c77f660b52f01e365b4d","datavalue":{"value":{"entity-type":"item","numeric-id":5672217,"id":"Q5672217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210773$D8C2BE10-0C81-4D8E-8562-D14E8E6C462B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab124a7373ba82029ffdcc597bda7b4f27aee620","datavalue":{"value":{"entity-type":"item","numeric-id":5287559,"id":"Q5287559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210773$131B0B9D-4A58-4587-BE27-50BADA3D37C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0604320a87c3f436457e3624a89e9909caa7f6","datavalue":{"value":{"entity-type":"item","numeric-id":3747756,"id":"Q3747756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210773$28071DC5-1D65-4936-965A-E30F1EBF2FC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cce39a549f256d22ed5e1331ab397faa12cfbde2","datavalue":{"value":{"entity-type":"item","numeric-id":4371669,"id":"Q4371669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210773$902EA854-09FA-4FFB-88DB-7DDD5D031082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07441aec0715add91dbf903fea4c539fe7c16a9c","datavalue":{"value":{"entity-type":"item","numeric-id":5210777,"id":"Q5210777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210773$E5FED940-BAC1-4CED-86BC-DD2C07E75356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12dc2237422c9e8486380cc9c5aeeb4608ef9069","datavalue":{"value":{"entity-type":"item","numeric-id":6488524,"id":"Q6488524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210773$C517CF2E-61A7-4A28-82B7-DA0AAEA8AE11","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a43cab8c2ba5cdc061577d02eee019d133831866","datavalue":{"value":{"entity-type":"item","numeric-id":3820055,"id":"Q3820055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e3fa005da7bd0890b32308e495c608ce17220f2","datavalue":{"value":{"amount":"+0.7823092937469482","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":"Q5210773$7840EE7B-D64C-47F5-B93D-36AAF61751F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"323da5be1cd32b10efb198a86740427d123e78ed","datavalue":{"value":{"entity-type":"item","numeric-id":2865083,"id":"Q2865083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11c0c85ddb73d1d600dcf1b5150d32db8dbed011","datavalue":{"value":{"amount":"+0.7798503041267395","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":"Q5210773$9B140FC1-F0E6-4E08-8B32-4C45695A11F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33fe49094536a6000a6ff11386d0b3a35de5c58c","datavalue":{"value":{"entity-type":"item","numeric-id":1103415,"id":"Q1103415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b2d18950bbcdeff8b900a56b9c1070cd5204e36","datavalue":{"value":{"amount":"+0.7756768465042114","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":"Q5210773$87ECBEA1-20FB-46F0-8A4B-39EA7376898F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8685d12c668c5305ca1caae76f7d99ad21a6bbcb","datavalue":{"value":{"entity-type":"item","numeric-id":3708773,"id":"Q3708773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd2f18b968544bad9a81d6ee3c3b6b2e073f5460","datavalue":{"value":{"amount":"+0.7663443684577942","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":"Q5210773$DF74AC32-B412-4C98-982D-ABA6F23F9D77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f916edd1fdfc353e2c4e2b983a5961a845cca9a","datavalue":{"value":{"entity-type":"item","numeric-id":3578393,"id":"Q3578393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cc459411eddc6d0fb5a2afe967073ecbbc9724b","datavalue":{"value":{"amount":"+0.7661024928092957","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":"Q5210773$773AF9A6-4BEB-4046-AAB4-30928DD89B09","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5210773","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5210773"}}}}}