{"entities":{"Q413854":{"pageid":415621,"ns":120,"title":"Item:Q413854","lastrevid":61777476,"modified":"2026-04-11T01:35:18Z","type":"item","id":"Q413854","labels":{"en":{"language":"en","value":"Inductive equivalence in clausal logic and nonmonotonic logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6031585"}},"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":"Q413854$77AAC7EB-0954-4FC1-B560-2F162EE047F5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ef9006088c8853c17e818ef7dda8b3800c5d36bc","datavalue":{"value":{"text":"Inductive equivalence in clausal logic and nonmonotonic logic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q413854$4CCFE103-A7A7-4812-98E1-3224B1658998","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"95fd42bef7fbb6e356b397a4165336c9011b7ccc","datavalue":{"value":"1237.68208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q413854$D2FF9EB6-3FB5-48DD-8A1C-794CC7B978D8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb7f365089f19283ba2a09add7a0eb7b4b253f67","datavalue":{"value":{"entity-type":"item","numeric-id":413853,"id":"Q413853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q413854$30F7CA6D-B6B3-42F6-8E41-199638917287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"54e804c1f7efed58c4ab3563ef841d7e67b0819c","datavalue":{"value":{"entity-type":"item","numeric-id":374190,"id":"Q374190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q413854$BFBC0C6C-BE83-4650-80F2-015A8CA778D2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2500bd7472785bf7f3577cddf9bbcc323031858b","datavalue":{"value":{"entity-type":"item","numeric-id":65106,"id":"Q65106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q413854$09E79E39-B228-485B-8850-6A301833A432","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9606813db06ead53f454259419bc7094bb7b9c5d","datavalue":{"value":{"time":"+2012-05-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q413854$A0C99500-AEDF-401A-945F-E3559CAD4C48","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q413854$022AED9B-8324-4DFA-B63C-74710BC318B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q413854$77BD4599-B31A-472A-9D88-36BD089F0309","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c66279cc33b3af07bb9436657b53658a7976574","datavalue":{"value":"6031585","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q413854$43F96584-CCDA-41CB-8425-19FEA4BD57AA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0aa48c528ad941f2e055e2cae2538b78c52cb0c","datavalue":{"value":"inductive equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q413854$EB640790-915D-4571-AA59-CCD3DA4E5313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1812f6185a29beefd2c73ebcdd619e76c6b5fe3c","datavalue":{"value":"inductive logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q413854$1BA3FA72-7B15-4BF4-AF76-317FDB68886D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45625231019d415fc5cbea900e351ee73bc5a7dc","datavalue":{"value":"nonmonotonic logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q413854$0368642E-DE83-4A72-B918-0CE28679B8E0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a7264941e01ce3997001a450a5fb52643a7157e0","datavalue":{"value":{"entity-type":"item","numeric-id":44796,"id":"Q44796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q413854$252661ED-393B-42AC-94D7-4A5302099C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1d852a84c9cc55d58a84ae8f696c1b0df5576bff","datavalue":{"value":{"entity-type":"item","numeric-id":36447,"id":"Q36447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q413854$D82DE47E-6CD0-41B0-9B44-63582D299597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5aabcf5ff1b69bc155714fdd4782134b335ae40f","datavalue":{"value":{"entity-type":"item","numeric-id":44797,"id":"Q44797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q413854$94E02497-3F9C-4E91-BF40-0191A0BACFFA","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":"Q413854$BD65A96B-779D-4438-B6D4-59FE23AF373C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"90d181b45b8aefbe35b876f46d9ef6845545c54e","datavalue":{"value":"https://doi.org/10.1007/s10994-010-5189-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q413854$0F6AAC35-CDFD-4F1A-86FA-CF82A229CB21","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4399b8178fed8af92698c266ea9ef7a9704567c6","datavalue":{"value":"W1997314029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q413854$39B82655-74C7-4BC1-8771-5AA78741ED28","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c07e4811bb629b6ba7cf520dbc00dbdc1ef1f0c","datavalue":{"value":{"entity-type":"item","numeric-id":4305625,"id":"Q4305625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q413854$273CAEC8-9C64-4703-BF96-D66E8F2CAFAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e987535b4cf569317f73e58b0e19113981066163","datavalue":{"value":{"entity-type":"item","numeric-id":1060864,"id":"Q1060864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q413854$4FF71699-957A-4CC0-950F-FB1F4518EAC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f24e2aa3770cde9916d2e1dce7d416d99b0c16f0","datavalue":{"value":{"entity-type":"item","numeric-id":833733,"id":"Q833733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q413854$0E957CB0-467E-4939-962E-E2BF019E268E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07009b385fbb4865e279e70b784c73accaf20d0f","datavalue":{"value":{"entity-type":"item","numeric-id":1389603,"id":"Q1389603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q413854$831A7C5C-F08F-446E-8C44-4F42E0D925B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00c16164b2c71fc1b900fc4419fef67df1e1daed","datavalue":{"value":{"entity-type":"item","numeric-id":5394653,"id":"Q5394653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q413854$1EB6528B-64EB-44C5-BBA0-B1F9F616D882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4d16805d94743792569e1eb254e6cde7f94a967","datavalue":{"value":{"entity-type":"item","numeric-id":678587,"id":"Q678587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q413854$3E468FEE-241E-4393-AE55-9AAC8FF95F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f28586038cea8cbc7416baeda543b4e3023f378","datavalue":{"value":{"entity-type":"item","numeric-id":4707746,"id":"Q4707746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q413854$A6AF14B0-D8D6-48FB-B4E2-03E9F778C416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3eb31d1f35138bbf0149d57bdfea62403193c96","datavalue":{"value":{"entity-type":"item","numeric-id":5191482,"id":"Q5191482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q413854$3C060F55-5E96-41D6-957A-BB423CEF5D31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2221caafb968431ddd3a33ab1ce67d5d8dd57729","datavalue":{"value":{"entity-type":"item","numeric-id":4530868,"id":"Q4530868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q413854$21E65626-1379-4A96-B2B6-EAB6B98E8C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60a9de76924445cefc84acc003270ad0e5b892b3","datavalue":{"value":{"entity-type":"item","numeric-id":3983043,"id":"Q3983043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q413854$F3D7C0F4-D41C-4243-A1CB-080446DF2DD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5556cc9d5e02cd37667f364513eec03b5d63eff2","datavalue":{"value":{"entity-type":"item","numeric-id":5894894,"id":"Q5894894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q413854$8B11ED11-07E2-4CF1-B28D-8D76FFA455B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"550e25e3a74fd3b0952480baa830dd6f8033718c","datavalue":{"value":{"entity-type":"item","numeric-id":5394123,"id":"Q5394123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q413854$1FC6177E-1295-4F07-A579-EDE0007DA1DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bda6f06e8a3600e09947cf18f4d9964ef9aedc54","datavalue":{"value":{"entity-type":"item","numeric-id":4530875,"id":"Q4530875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q413854$75572F77-A946-4249-A3C5-B6F38603A85F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38cb9076080702698c6deae3a784d29226831c41","datavalue":{"value":{"entity-type":"item","numeric-id":3411859,"id":"Q3411859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q413854$7B1EB2FE-69CD-448D-B884-04E2836ADC7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4000719d0508fc913cc281b447ed6dd5e3f412e8","datavalue":{"value":{"entity-type":"item","numeric-id":5424886,"id":"Q5424886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q413854$2DBC5D59-D8CB-4226-A6CA-35A6C0847EA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0eda07e74c455b9508c4802bce8fdc74d6e13f24","datavalue":{"value":{"entity-type":"item","numeric-id":5738917,"id":"Q5738917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q413854$C468A33B-4AF2-49B4-A8CD-ECADD816C3EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"423afc99b15b62a04b1a8a934c14a449f9640ab9","datavalue":{"value":{"entity-type":"item","numeric-id":1140440,"id":"Q1140440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q413854$418B7215-3C50-44F9-BD6F-E059BD7802A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb1aed9af0b115c501efcd1e09a55330fdc38c0b","datavalue":{"value":{"entity-type":"item","numeric-id":3939270,"id":"Q3939270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q413854$EECCA44A-73B7-4D9C-8859-DACF0491489C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6adb6855ef389bf054811a011cc0d541ef395a32","datavalue":{"value":{"entity-type":"item","numeric-id":4004339,"id":"Q4004339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q413854$BF8AC372-EC15-4ABE-9E45-151A8A52953F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"777ab2fea1fe21bf7c230b27cd82595402d79274","datavalue":{"value":{"entity-type":"item","numeric-id":1356228,"id":"Q1356228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q413854$255A3D58-F422-4A9A-9E49-85A90EBF3BD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41cc8fa824231246d9f4afb888d5c2b3944b16d4","datavalue":{"value":{"entity-type":"item","numeric-id":4808808,"id":"Q4808808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q413854$6625402E-3310-479C-9670-291E5D4D4CB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61302b3619b8d063972f78cfcdc96a69b0028235","datavalue":{"value":{"entity-type":"item","numeric-id":4796703,"id":"Q4796703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q413854$4824BB63-8914-4DB4-9361-7ABDC5033DAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc8d76c6c2a703677e15081f90265ace1b4e83d2","datavalue":{"value":{"entity-type":"item","numeric-id":4305629,"id":"Q4305629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q413854$DBFB8366-C527-414C-B261-67218F06500C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea3dda75970a4bd0a41ac690f289b5e07ae9c635","datavalue":{"value":{"entity-type":"item","numeric-id":5677085,"id":"Q5677085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q413854$83D3C82A-4B49-4149-AAB3-DACF3A594C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5df285ed4a3a7550e886a05c44466213c9e69769","datavalue":{"value":{"entity-type":"item","numeric-id":1959490,"id":"Q1959490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q413854$22EC0C13-3956-49D8-B145-AF140CB182B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f91daa2195cbe510cefc59ffaafa18b1c28390","datavalue":{"value":{"entity-type":"item","numeric-id":4107888,"id":"Q4107888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q413854$9253A5D3-52BC-4F28-94CE-2ED9082B5392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd7aa7f823732baef134ea790bcd0c07074553bf","datavalue":{"value":{"entity-type":"item","numeric-id":4815035,"id":"Q4815035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q413854$D4573F64-AAAB-46BA-8F8B-B4427FA9E971","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d0fdd478e5faf2a9b63979e0520636825c62e662","datavalue":{"value":"10.1007/S10994-010-5189-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q413854$947054C1-1A6A-413A-ACE4-A3D9744BE661","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e4ce3c03dee1723f4226f152f53671af393c383","datavalue":{"value":{"entity-type":"item","numeric-id":5394653,"id":"Q5394653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81fddbf866fc2c73954e18903b02fff094a9a561","datavalue":{"value":{"amount":"+0.927938997745514","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":"Q413854$6893321C-2C4B-4D31-84A8-0AC4AD361434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05e2558ba90f86d11c1db62cb3c1b7e897600048","datavalue":{"value":{"entity-type":"item","numeric-id":833733,"id":"Q833733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f072cc700af3eb34532ce4296a9cdb0745215d72","datavalue":{"value":{"amount":"+0.7795295715332031","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":"Q413854$C2617254-D42D-4ABA-8B38-16C2056EC993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6429dea076847a091542fc999725e0b15698a5f4","datavalue":{"value":{"entity-type":"item","numeric-id":5277720,"id":"Q5277720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1709b18b89c836c361e09887b884f3de077f4370","datavalue":{"value":{"amount":"+0.7550094127655029","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":"Q413854$515EC0B2-E942-4A46-B3C4-ACF01F206518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"118dfaa27ad090fef4188158a8c0672f212c74e2","datavalue":{"value":{"entity-type":"item","numeric-id":4305633,"id":"Q4305633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0727f77f2216e6d640fee4f02d36be13f209413","datavalue":{"value":{"amount":"+0.741886556148529","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":"Q413854$A25B3FFE-FC8C-4F59-9CF3-BC1956B0262C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc2181a717b3e5bf174673ab89cd2f1c972fe238","datavalue":{"value":{"entity-type":"item","numeric-id":4702575,"id":"Q4702575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5069a1e1f235181fd9e9151b44853a387b0fc86","datavalue":{"value":{"amount":"+0.7404499053955078","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":"Q413854$2F06E6B3-981E-4055-A790-39095D7BCE50","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Inductive equivalence in clausal logic and nonmonotonic logic programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Inductive_equivalence_in_clausal_logic_and_nonmonotonic_logic_programming"}}}}}