{"entities":{"Q1193483":{"pageid":1204232,"ns":120,"title":"Item:Q1193483","lastrevid":66822786,"modified":"2026-04-12T13:06:09Z","type":"item","id":"Q1193483","labels":{"en":{"language":"en","value":"A semantic backward chaining proof system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 64746"}},"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":"Q1193483$902B4B36-8DC2-46B8-9C10-76A5482F0918","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1d73632c99bb3814dfd01f81f6f9a7df13ab54a5","datavalue":{"value":{"text":"A semantic backward chaining proof system","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1193483$A54E55D0-58B7-4082-8C43-AB1D2FBED267","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7d2c00ab65fa34d33b35fdb7de219f62a67255a5","datavalue":{"value":"0762.68056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193483$29CBAD69-AE42-4027-82C0-DA5E4B76FEE8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4cc39e46a89ef878d27108667f0ba1a52dc5824c","datavalue":{"value":"10.1016/0004-3702(92)90044-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193483$CE916710-3279-41A8-A9C8-5E2C6BB0F2FA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b6721df2a0037b15fd86f65472c88ec7ecc0ce5","datavalue":{"value":{"entity-type":"item","numeric-id":582115,"id":"Q582115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193483$C077BEAE-776F-42B3-9EE6-08907CA6315E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"34f99c9947f4d98af9da609b6496b55645bbe075","datavalue":{"value":{"entity-type":"item","numeric-id":1238600,"id":"Q1238600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193483$BA0A6674-BA48-4563-BE4F-D5BA7A524B16","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193483$06CB08CC-03A5-4E40-9590-AFE13BB60284","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1193483$CBEE3C55-5CD4-443D-9BEC-A9F4BDA477B1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193483$8B18D833-176C-4CAE-82A8-024A26B78F11","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d64dd0148c665b20184c3d8f6c28982b82dc5fa2","datavalue":{"value":"64746","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193483$00A6C036-D355-414D-B55D-78B1BBCF6AB5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"efbb583c42e9b8c8e80ae4b2f848e40c43c9ff49","datavalue":{"value":"sequent style clause-based system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193483$5BF7A8FA-11AE-4825-9C31-FFE0FA4EB013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d34de3c11ccf20220ba98ddf49fafd02e47d9685","datavalue":{"value":"backward chaining","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193483$BE936143-AB07-4BE8-A506-014647CB1109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d779176a196e7e7db9643604fc46a5a0dd0518c","datavalue":{"value":"caching","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193483$03EF0855-2814-4E0C-9066-4A3910165DFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef0eccad148285786136276ecc0e8bcf21513b1f","datavalue":{"value":"semantic deletion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193483$B95FE8FC-7594-4DBE-A56A-C9C8B7EB80A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7b4e9c2a50c33f2dc42a4a310fcb36c3b89212d","datavalue":{"value":"genuine support","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193483$CA0055E3-FD2F-4461-975D-07D09053A6D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a00d955875730559833c31b3dab690baa6b4e46","datavalue":{"value":"splitting rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193483$FF4150BE-8AFF-46CB-A238-EB7ADD0EF1EB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193483$5B71153D-709D-4262-8B3D-4B41D80E5437","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":"Q1193483$727566E3-04FB-4612-B9CB-7AB3A2D8534E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbb4aa8dad638334a86cbf0de6c1439e4250b0ce","datavalue":{"value":{"entity-type":"item","numeric-id":4692618,"id":"Q4692618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193483$7FB988B7-2DBC-418A-8CA0-C2DEA6796FDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8bf1eb0085816c68ff7078182501fe6b0337105","datavalue":{"value":{"entity-type":"item","numeric-id":3743300,"id":"Q3743300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193483$7C8169E7-6224-405D-AA81-C56E83D7DC03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bdf21144d9e32553e8f12d339373f204fb256fe","datavalue":{"value":{"entity-type":"item","numeric-id":5721424,"id":"Q5721424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193483$007F3735-8575-438E-9929-C57B12138F50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193483$FFF6206A-1818-47F6-8D07-E1D3656C9A13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8586c92c4d90a06cb521bef03111f958a597fe2e","datavalue":{"value":{"entity-type":"item","numeric-id":5574714,"id":"Q5574714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193483$1BB4A4D9-4A29-4DEE-9B0B-FA99BB9E0BFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7cc6b50da59d61e4104676cfaa2ed0a6b850865","datavalue":{"value":{"entity-type":"item","numeric-id":5619635,"id":"Q5619635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193483$D18FF2A7-17D2-4070-A374-CBD709CBB861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d43919d1f4da3b9a07eea3d230b3f18d880d5940","datavalue":{"value":{"entity-type":"item","numeric-id":1116717,"id":"Q1116717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193483$CE7BE544-96F8-4D64-9CCF-2DB8A7DA187B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0e6b99241bd5405a7d704114ed85dbdcd125acd","datavalue":{"value":{"entity-type":"item","numeric-id":2639044,"id":"Q2639044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193483$A6CE077C-8FD1-4D63-86F5-7D988EFDAB7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"741bca91778ccb8a74c0e336f5cb913dd02dbdd0","datavalue":{"value":{"entity-type":"item","numeric-id":4088303,"id":"Q4088303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193483$99369714-7AA9-4347-BF2A-38F39589AC36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193483$070EE978-4ED6-4786-BD1F-E14DC3157384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edc6b5f087fec6d157af216327e534fa3b171462","datavalue":{"value":{"entity-type":"item","numeric-id":1148892,"id":"Q1148892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193483$9B18ED5B-C156-49A2-9170-41B15836F8F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f771f551f48b2f2d21f6f2011008cb21eb26e492","datavalue":{"value":{"entity-type":"item","numeric-id":5538933,"id":"Q5538933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193483$FD74B869-14DF-40B8-8F97-52AC1B79A3F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8aefcbbb48c9809b0ea99532e8c981cd3b1e3ae5","datavalue":{"value":{"entity-type":"item","numeric-id":1101259,"id":"Q1101259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193483$E1A9B923-2973-42EF-AEAF-5D4EDC1EA9E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ab938ba3d2bb1de7d34dc0f9166735f59a48b21","datavalue":{"value":{"entity-type":"item","numeric-id":1114446,"id":"Q1114446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193483$2BBE77BF-471F-4B85-8ABE-ACF778445FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09289f6833573b3dfe785ef27b87fe1f0ccbfbc3","datavalue":{"value":{"entity-type":"item","numeric-id":1060859,"id":"Q1060859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193483$215032D7-DBEB-43C4-90DD-66ACAEB04F7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2ad23ca61534fce39d231de8434f91a2de01c5c","datavalue":{"value":{"entity-type":"item","numeric-id":1098332,"id":"Q1098332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193483$B360AB8C-DBC1-4934-81F2-A2CCBC9458F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47bab4f7d1b2661e9a9ca3ddc35e5a57311ad582","datavalue":{"value":{"entity-type":"item","numeric-id":5507985,"id":"Q5507985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193483$D9760430-82B1-4DEB-900F-5BA438188DD5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"140176f3030a4a9f6ad93c93bb03dd21e4913d7e","datavalue":{"value":"https://doi.org/10.1016/0004-3702(92)90044-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1193483$87045DA0-8D41-47A9-9B08-32D518FD26AE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a99cb9e1a18ae3410099856ff37da2461e46cb1d","datavalue":{"value":"W2079135579","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193483$193D0089-FA68-4F57-BE80-868DDB2F1F2A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81cb7a760d56a3fd13b382a64d990b56529e1db1","datavalue":{"value":{"entity-type":"item","numeric-id":6488519,"id":"Q6488519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd2515779eef2b22c6ffd2101369fef96f279417","datavalue":{"value":{"amount":"+0.9724883","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1193483$1B594608-3A32-4D00-A80F-910F229FD2E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44af30343c97035db2458d44e2bc37c41941abdc","datavalue":{"value":{"entity-type":"item","numeric-id":3491006,"id":"Q3491006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd2515779eef2b22c6ffd2101369fef96f279417","datavalue":{"value":{"amount":"+0.9724883","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1193483$FFCACD7E-7BC6-427F-9948-43EAD84E918D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd21842729ec61282c4554fe7b111152dfeb8fc7","datavalue":{"value":{"entity-type":"item","numeric-id":1799270,"id":"Q1799270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9d68cdf5efca1ef3a376c316209c7a95843ba7c","datavalue":{"value":{"amount":"+0.87082833","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1193483$BBE33AFB-5F84-4D68-857D-A114206AAC76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1bcd5a4f2a3a4b818bb6472e6cdb051ac463c70","datavalue":{"value":{"entity-type":"item","numeric-id":1311394,"id":"Q1311394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25cb283c569eb852856f6ca8ed81123080110ff8","datavalue":{"value":{"amount":"+0.8515195","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1193483$B87DD190-EE6F-468B-998E-EEEF80E065EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"226121f40b73e00fe8371096ff69d89da821216e","datavalue":{"value":{"entity-type":"item","numeric-id":1944778,"id":"Q1944778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40efabcce5396e14b3b2d3187c316adff5994990","datavalue":{"value":{"amount":"+0.8466579","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1193483$6A99157A-2B66-4F48-8727-EBFE44B691D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8494bc5cdc0a117d479adeda39b13518641ff5be","datavalue":{"value":{"entity-type":"item","numeric-id":707742,"id":"Q707742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b50ee88396db2d75b46253965fb5337c5bb26390","datavalue":{"value":{"amount":"+0.8451409","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1193483$BA655C3B-F89C-4664-B486-213A8CE3DB84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21c4f1bc8cd8d42b857e0e2210f247af32dae022","datavalue":{"value":{"entity-type":"item","numeric-id":6164538,"id":"Q6164538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6133763b7b0bad38e0fd4e093b1cdbfc84580f04","datavalue":{"value":{"amount":"+0.8450212","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1193483$5C08EFAB-9047-4335-B310-DC4C2F2D96AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac1e03e79ab26cf28f54964f9fe002b3c2a096b2","datavalue":{"value":{"entity-type":"item","numeric-id":2870114,"id":"Q2870114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd093734b8d859ee641d73f960e1d428acbdd9f6","datavalue":{"value":{"amount":"+0.8425914","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1193483$0B092A74-B4C8-4F04-870F-B27146D2584C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71274504e39e0b2e4b7d18cdfe702c0ad24e4a8d","datavalue":{"value":{"entity-type":"item","numeric-id":2703718,"id":"Q2703718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51b6dbbbf7c4d2ad34fe501bd0a74127798e5872","datavalue":{"value":{"amount":"+0.8423671","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1193483$0F466A8F-A132-433B-B1A5-269C097ACA03","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A semantic backward chaining proof system","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_semantic_backward_chaining_proof_system"}}}}}