{"entities":{"Q928660":{"pageid":930508,"ns":120,"title":"Item:Q928660","lastrevid":65442780,"modified":"2026-04-12T02:37:59Z","type":"item","id":"Q928660","labels":{"en":{"language":"en","value":"A logical characterization of forward and backward chaining in the inverse method"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5287718"}},"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":"Q928660$4E47FDDF-2441-4CD7-9D50-7D183F6EAD26","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6be64fe55bbd5d5bb175bce139e67c960161974d","datavalue":{"value":{"text":"A logical characterization of forward and backward chaining in the inverse method","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q928660$CEF01D5F-883A-4DD8-98FF-6C950ADD47D4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e3566ab7c9035d1e39b49eef25cf1260f2e09b40","datavalue":{"value":"1151.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q928660$B63617ED-0061-4971-9DA3-37D54C8699E2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"20c32845a86517c3925e9fa1724cfe5786b42b11","datavalue":{"value":{"entity-type":"item","numeric-id":928658,"id":"Q928658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928660$6C807BD8-E51C-4EEE-8DB4-756D4C87A60C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a33736bad804e6a530176061e0a43d6da42cd52","datavalue":{"value":{"entity-type":"item","numeric-id":476188,"id":"Q476188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928660$CF2D1151-4B68-4578-9072-460ED70B9B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"59868cb1e8a689ff709b5cc22c54ac21e9737717","datavalue":{"value":{"entity-type":"item","numeric-id":928659,"id":"Q928659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928660$89AE6149-BF78-4AEC-923C-E281ACF40D2B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928660$C68DCA38-8D04-4ADC-BE76-A967D390C832","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f1c0b93a352a714c61ccd46766a52600d36f8c2","datavalue":{"value":{"time":"+2008-06-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q928660$42D7ADF9-F102-415D-B53F-E98950353046","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"480569a6826156a9b1e6a5675885e3b0c2d84cc8","datavalue":{"value":"The authors present the focusing system for linear logic. The key feature of focusing is that each logical connective carries an intrinsic attribute, called polarity, that determines its behavior. Polarities may be chosen freely also for atomic propositions as long as duality is consistently maintained. The authors show that proof search on Horn propositions with the inverse method behaves either like hyperresolution or SLD resolution, depending on the chosen polarity for atoms.  The focused inverse method therefore directly generalizes these two proof search strategies. Experimental results and an evaluation of the practical benefits of the method for a number of examples from different problem domains are presented.","type":"string"},"datatype":"string"},"type":"statement","id":"Q928660$890B257B-C0F6-4A42-BD73-239735C7F1C8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q928660$62B9D6AD-DC08-44E4-BE00-9EFF792E61D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q928660$F888F56C-4AC8-488D-BC09-32029754D33D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q928660$2B9EB584-535E-4B00-AD01-56FDBABC2103","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0568446706e69162756c632b459d8417504a71b8","datavalue":{"value":"5287718","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q928660$BE141D5A-7516-413C-AC28-3645877725C1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b8172a831afb574c09d4af1e38d80f7368b2084","datavalue":{"value":"Inverse method","type":"string"},"datatype":"string"},"type":"statement","id":"Q928660$3511C0DA-ED12-4A5C-A983-A18161787A35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"088040b9b6f91335463f76a3d1e29e1b7c2204c2","datavalue":{"value":"Focusing","type":"string"},"datatype":"string"},"type":"statement","id":"Q928660$556A3760-D912-421B-A3EA-F7F36F03FEFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6df87906b02eb78cee139c2547f0cbf5413af1e9","datavalue":{"value":"SLD resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q928660$B91B04FD-BEDC-4561-AFDC-87A514FC300B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e13940da213acea029685e89fdcbb3bfc1966a4","datavalue":{"value":"Hyperresolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q928660$1CDC0EA4-4671-4308-BCBE-FB58DFACBB98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f396c79748c868dc975ff16764590731fbd592af","datavalue":{"value":"Intuitionistic linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q928660$6E7BF984-979C-4297-BB98-3A386B67CF0F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"05f3dff3edc7d97b14af7ecb326f488fb3fee31b","datavalue":{"value":{"entity-type":"item","numeric-id":583186,"id":"Q583186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928660$19ACF4A7-27AA-40DE-B163-01F6B2E33CDC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bb3edc89650c4076d0b4ea16fb243ec7c06ec7a5","datavalue":{"value":{"entity-type":"item","numeric-id":23927,"id":"Q23927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928660$02834627-1EB4-4A0A-AD70-B0266489A604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b6f0aa77e475c4664199396d1dc04a1aa751a004","datavalue":{"value":{"entity-type":"item","numeric-id":23925,"id":"Q23925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928660$1CA579DC-97C4-41FB-B564-61F22E293804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9bea83566ad047ec39e22bd8867e363c00af7d87","datavalue":{"value":{"entity-type":"item","numeric-id":5975143,"id":"Q5975143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928660$01A79AEC-73A6-4DE0-99F9-7302E6A50FC0","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":"Q928660$C88F40FA-79A5-40B3-870C-4503922A87E3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"367705b583cec09594b440b6eccb310b8c5db39a","datavalue":{"value":"https://doi.org/10.1007/s10817-007-9091-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q928660$3D756173-DF4A-48E7-B586-F2399C87292A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ba9875df7a1782b77ca7568baf2737b5d84da9b0","datavalue":{"value":"W1989085426","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q928660$A3ACD60C-BFED-4D27-BA3A-1FAD4E5A2898","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"42bdbea0160e788f4fb95a24a8a29ffb0eadc069","datavalue":{"value":{"entity-type":"item","numeric-id":4018167,"id":"Q4018167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928660$D8FD24D3-9E1E-43E9-B0BE-B6B764BA8855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2b64ad0f54114cca4f6f8a057044ad2660606ba","datavalue":{"value":{"entity-type":"item","numeric-id":1840461,"id":"Q1840461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928660$45E4477F-8D75-411F-8279-44DFD3D6FFB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f86d3198c0103ad27fa7411df5914a9c680761b","datavalue":{"value":{"entity-type":"item","numeric-id":4669651,"id":"Q4669651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928660$A95E25A6-95D0-49E5-AC62-0688FF07920A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa19d45127427927ec930c6ce8f8170b9db93184","datavalue":{"value":{"entity-type":"item","numeric-id":5712317,"id":"Q5712317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928660$DBCAA8B4-3CB7-4DE4-924B-99216E79DCBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52cd177f27872aefbc53dc58b8f8b6e7286de8db","datavalue":{"value":{"entity-type":"item","numeric-id":5394607,"id":"Q5394607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928660$DD5957B3-AF32-45B7-97E0-4FC5FF58876A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b9ce23a390aca5ab2f9e7fc1d9ba7525a0aa93d","datavalue":{"value":{"entity-type":"item","numeric-id":5394578,"id":"Q5394578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928660$8EA98226-6A65-448A-8C71-96205CD552E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0f63346c2c09b92edead2672cbb40785bce97a8","datavalue":{"value":{"entity-type":"item","numeric-id":3613403,"id":"Q3613403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928660$528FCFD1-BE46-4FEC-A38C-70133C094E0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d0c3c520266c0eb0c8719af10bc93260259779f","datavalue":{"value":{"entity-type":"item","numeric-id":4842975,"id":"Q4842975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928660$9E7ACC77-A4CE-473B-B100-81CFBE5EB02F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e84ff42267477e949575e937efae295817dbcbf","datavalue":{"value":{"entity-type":"item","numeric-id":4372906,"id":"Q4372906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928660$B6E74ADE-7745-4E8D-BF26-236B55CEB4DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d38c990f7473437368929348051961f829bb40c","datavalue":{"value":{"entity-type":"item","numeric-id":2751355,"id":"Q2751355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928660$51DE564E-190C-4A87-961C-D972064E1D41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e86f643d8e66f52adb7b0f50d83caa81327cbd4e","datavalue":{"value":{"entity-type":"item","numeric-id":2732138,"id":"Q2732138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928660$BD399FBA-0917-4B76-87FF-EB6D1EACD702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"483505c109466864c272a9800591d657b7054034","datavalue":{"value":{"entity-type":"item","numeric-id":1327384,"id":"Q1327384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928660$290618A0-B34F-4BA0-8AAC-6EE1FA23DA41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"389c270a04975059278317e246116b16c0bfe95e","datavalue":{"value":{"entity-type":"item","numeric-id":5897796,"id":"Q5897796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928660$6222D7B6-127B-42E2-8344-B6D80404745C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dbf5d4c6cedd5848e03816494729378cde53a8e","datavalue":{"value":{"entity-type":"item","numeric-id":2551698,"id":"Q2551698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928660$F4C0D03F-F920-4074-B89E-88ECA345BB8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a87f2606ad290840a6686f988ffd91bfb79b51fb","datavalue":{"value":{"entity-type":"item","numeric-id":3608430,"id":"Q3608430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928660$313F20A9-22DB-4480-A768-F8A85B33A7FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"074134d8b33bdd9cca293a6e8f5f8ee888ec9918","datavalue":{"value":{"entity-type":"item","numeric-id":1192352,"id":"Q1192352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928660$A5583E53-777A-4336-9413-0A6B95EC3CFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"442e3fa6ac35d64bb4bbe8f58a34e439aaaa3352","datavalue":{"value":{"entity-type":"item","numeric-id":4263017,"id":"Q4263017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928660$8E95123E-817D-48AB-979D-E6E1766A0397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60d92ec0084f340d80cbc1a7bc9f79448934cb19","datavalue":{"value":{"entity-type":"item","numeric-id":5894646,"id":"Q5894646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928660$13DCB59E-88AD-49E7-861A-B36A0E2D11B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99b0af58919081b0ba1c198c5dd217c031469f73","datavalue":{"value":{"entity-type":"item","numeric-id":1820593,"id":"Q1820593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928660$B85258E9-A109-461E-AFCD-0F02CA40BBA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"366403401f7622593b34e9b9dbb671be627d25af","datavalue":{"value":{"entity-type":"item","numeric-id":5285991,"id":"Q5285991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928660$1B69D843-4765-4A98-8144-05851E604DD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14f098296defd7d87a2d0ef069f4dda2f2e52c03","datavalue":{"value":{"entity-type":"item","numeric-id":4364504,"id":"Q4364504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q928660$EEF916FE-DCAF-4825-A4FE-838ED0F56947","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae59df40a9fd40a5501e45fc75ef366e07cd7f30","datavalue":{"value":"10.1007/S10817-007-9091-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q928660$324870DA-1DB3-48EC-8EE8-C7A52B7BB335","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94a19a9547c344f3a3549fb84ad42578b9d0260b","datavalue":{"value":{"entity-type":"item","numeric-id":3613403,"id":"Q3613403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a785f56433d3e294da3c51423669dbca86a5a2ea","datavalue":{"value":{"amount":"+1.000000238418579","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":"Q928660$362733BB-563C-42F9-AD3C-750E02482614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fecaf5d9c86b134261a13b9db086904b8d4b9fc","datavalue":{"value":{"entity-type":"item","numeric-id":5394578,"id":"Q5394578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54c05d71a874829fc6e9a0abc9c280a29983c209","datavalue":{"value":{"amount":"+0.8251967430114746","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":"Q928660$058E5BB8-FCEB-4246-AC94-18B7E10888A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"feb12b6f155c1b635d97f8d773d99bccea11d71e","datavalue":{"value":{"entity-type":"item","numeric-id":2871877,"id":"Q2871877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe6d65bd179b681a4b76a14708520a43bded534b","datavalue":{"value":{"amount":"+0.7467307448387146","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":"Q928660$6F2CE6C9-5242-4EF2-90E9-5E8DA0F945E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6bde130b4267059170040a3e4c0797abe92f105","datavalue":{"value":{"entity-type":"item","numeric-id":5705943,"id":"Q5705943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51e07962b775cea0430b812fee7f79cd6770e9da","datavalue":{"value":{"amount":"+0.7326309084892273","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":"Q928660$4CD1E509-F6E7-4BC9-A9C1-4BC1F16B7319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40826d8e2370c6b67b444d3bb1bcca8486bb5753","datavalue":{"value":{"entity-type":"item","numeric-id":5394607,"id":"Q5394607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97906c0a64ea18a68b6b50f4c2bc481f3bb2bb44","datavalue":{"value":{"amount":"+0.7305094003677368","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":"Q928660$79CF9EA7-76A2-4087-99E8-F06DFAAD4D4F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A logical characterization of forward and backward chaining in the inverse method","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_logical_characterization_of_forward_and_backward_chaining_in_the_inverse_method"}}}}}