{"entities":{"Q746767":{"pageid":748616,"ns":120,"title":"Item:Q746767","lastrevid":64030929,"modified":"2026-04-11T17:10:35Z","type":"item","id":"Q746767","labels":{"en":{"language":"en","value":"On recursion-free Horn clauses and Craig interpolation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6496662"}},"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":"Q746767$D50C9EB5-0D63-440C-8904-02894B86EE57","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d265682fa7beca6e9905f2e6c07aa25040cd5e76","datavalue":{"value":{"text":"On recursion-free Horn clauses and Craig interpolation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q746767$D77628EC-96AE-4289-8D03-5FC7B703615D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"75bdfa83de74a09648d6b79cdbbafcd210bfaa7b","datavalue":{"value":"1322.68134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q746767$23499DD2-1677-47B1-B53B-965F51D0192B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c0a4237c509f19dceb169b6d7b433af280d355b","datavalue":{"value":{"entity-type":"item","numeric-id":300416,"id":"Q300416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746767$7F193FE0-8824-4618-BE0C-4B56792F6720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9d858257cdcd153ab51f401565cbcee0b7efab5","datavalue":{"value":{"entity-type":"item","numeric-id":433343,"id":"Q433343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746767$360EEE2A-E439-49FF-BCB4-C69615F2CC5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c4a981688ce96064434c07429a9f8191c6df21c","datavalue":{"value":{"entity-type":"item","numeric-id":746766,"id":"Q746766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746767$865BB8A1-7E20-44ED-BCBC-85FDED1C9192","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746767$71386D82-D670-43E1-9324-4A7D0F6D8E45","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0ca124807d665f1ac71f73d3aada45c27dfaabea","datavalue":{"value":{"time":"+2015-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q746767$4CAE3EE8-5289-4D14-91B4-5482272A5B1A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q746767$B6FAA94A-9E3E-44F6-AFDD-785A37333A46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q746767$82F1D945-737C-4C63-8E72-84C9C726F484","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1d6b2ae5260c66b51d153e12a7381679c452b677","datavalue":{"value":"6496662","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q746767$FEB93145-A5C0-4D0D-B832-187DFD4713E6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"516e3e3f9c1d3d9891def155acfa8f4b112f0db8","datavalue":{"value":"Horn clause verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q746767$236F6C26-9D33-4A94-B920-5C816CDF3EA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bc6474ad8409ef4528af84655741b6b5be3d7c","datavalue":{"value":"interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q746767$A4AB9522-25CD-447F-ADDF-F8B7F79D1C84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ff93fcab863d9a2d7b61f398ca8507531735efa","datavalue":{"value":"software verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q746767$0E9F14A7-E8EB-4F59-985F-D0884D656F40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69915e018ed669c5d09bb1f8b68333ef5bbefe95","datavalue":{"value":"SMT solver","type":"string"},"datatype":"string"},"type":"statement","id":"Q746767$12A40C8C-52A8-4B1E-AF9C-F6449DCC910F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0e3f8f91d1559da40b3e6abc73d4e0baa9c0808","datavalue":{"value":"software model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q746767$7878C6EF-88DD-42E5-98FE-0F4371ABC16B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9fb50508d9ae1a4b5b2525656ffbf4223c07463","datavalue":{"value":"predicate abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q746767$3A4DE243-E3B0-4069-9E41-E289AD2927B7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"549148d32f0439e7b014790e18353e555528aa0a","datavalue":{"value":{"entity-type":"item","numeric-id":31323,"id":"Q31323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746767$16853B0B-B619-4379-8A05-538602FDC60F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b194bd31d37c1243d7e8c5eddae754651b6b0ca4","datavalue":{"value":{"entity-type":"item","numeric-id":18941,"id":"Q18941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746767$0C088002-F884-4D6B-8D45-1C9F9D37A192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9571a980e5821fda7407e6c3a929e1cfdaec4d40","datavalue":{"value":{"entity-type":"item","numeric-id":21846,"id":"Q21846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746767$10CCBD69-5E2B-471A-8FF0-2A39E6A40AF4","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":"Q746767$4551E0ED-8AEB-4C14-B185-776DE2F88950","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"26a8249f304ae3f959c2f7e3a901edd4de6511f6","datavalue":{"value":"https://doi.org/10.1007/s10703-014-0219-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q746767$521716C6-00A6-4006-AE91-F4CAE586B77F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2bdd3375b3d7571ad0ff74a69ac0dac89a9473dc","datavalue":{"value":"W1979348329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q746767$2DC48807-C2BA-46A1-9875-CD158D8C05B6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7554eba9ee36bec68eba2e82a0628d8617cc50ca","datavalue":{"value":{"entity-type":"item","numeric-id":2891400,"id":"Q2891400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746767$240338CD-164F-4F9E-835A-1A1A2E0E3223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"302fba4972f027bccf62618a4d6131134324ec74","datavalue":{"value":{"entity-type":"item","numeric-id":4472235,"id":"Q4472235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746767$00ECC7B8-873E-420D-8FBB-E87A5160491F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e23109f316745795b7fcddc5a9d05a8cccbfac3","datavalue":{"value":{"entity-type":"item","numeric-id":3617430,"id":"Q3617430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746767$8C83041F-0345-4C28-8903-63D0720D8332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02525d66cda8cc43861270af05678eb88e9d5099","datavalue":{"value":{"entity-type":"item","numeric-id":5015366,"id":"Q5015366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746767$6672D493-E984-4EE2-83D9-53663AA78A96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"895baf16c3d391ecd89bff3eff559d1d10b9dd0b","datavalue":{"value":{"entity-type":"item","numeric-id":438556,"id":"Q438556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746767$C48ABEDE-A039-42D2-887D-BF2B50216B0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dac129a159e5019d1399be30aa2aedbb8b57223","datavalue":{"value":{"entity-type":"item","numeric-id":2946624,"id":"Q2946624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746767$3E68B077-71CA-4793-900D-D0754A7D7401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8971435217b64c50e375aec68a6c58475d8d0dd9","datavalue":{"value":{"entity-type":"item","numeric-id":3249759,"id":"Q3249759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746767$FC24ACC9-DDE7-47B7-9E4D-C90900C9D1D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"358a4e09d6cbdccb0a6a97551bee24c6efb9d080","datavalue":{"value":{"entity-type":"item","numeric-id":5326338,"id":"Q5326338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746767$41A7D564-044E-441C-A9CB-879303900209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7abf001ed642cc216d8415c5b95bc69e8c224d37","datavalue":{"value":{"entity-type":"item","numeric-id":5299583,"id":"Q5299583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746767$21B375AA-9AC0-4295-ADBE-903739988066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca9f162f4a85a97b1a291ab01415512c0c6cffca","datavalue":{"value":{"entity-type":"item","numeric-id":5326327,"id":"Q5326327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746767$65BA7BDE-BEA0-4783-B1AB-92BC3A7D13DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c55a9f68ffc0e71e7984b9c43c61a46d7027f03","datavalue":{"value":{"entity-type":"item","numeric-id":5408554,"id":"Q5408554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746767$A95CBBC5-F0B0-44D9-B837-3710939CD923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4146e72afcbe84eeff7133f3f472d7248d06ae08","datavalue":{"value":{"entity-type":"item","numeric-id":4997234,"id":"Q4997234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746767$D59E6C01-88B6-4162-A561-CEDA71F7A817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69c855d2d3c6fcf01df092770dc59968c62cb661","datavalue":{"value":{"entity-type":"item","numeric-id":1005990,"id":"Q1005990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746767$20F2485D-B389-4FA9-A3B0-20A4946664C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcf2b678c67af5d9c3ef01ce8f5125a52e30717a","datavalue":{"value":{"entity-type":"item","numeric-id":5255103,"id":"Q5255103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746767$667828B0-5F59-4A4C-8D9E-E0A9EC7C31BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4e94238a6a5ddf3dd15f03313efac1f027d9611","datavalue":{"value":{"entity-type":"item","numeric-id":3452263,"id":"Q3452263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746767$9E2DBCEF-2540-46A7-B932-F8AF6313C8F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e29a9e63db651327a88d88e2cdc75e51e9cd4afb","datavalue":{"value":{"entity-type":"item","numeric-id":2843329,"id":"Q2843329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746767$7FEC3C55-200C-4A39-AF9A-DA08E6038350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63d6099524e3f7bed0ce635b8cc10b44d3701853","datavalue":{"value":{"entity-type":"item","numeric-id":4649296,"id":"Q4649296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746767$01ECDD2F-2CB3-48D8-8620-C2AF8D67D05F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"accca46e00850b3764f42687075785fa2c1053c0","datavalue":{"value":{"entity-type":"item","numeric-id":4997236,"id":"Q4997236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746767$D967067A-9028-4298-B054-FD989B640AD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1060c39f6c78c6c906f6922c72b026efa0999e0","datavalue":{"value":{"entity-type":"item","numeric-id":518396,"id":"Q518396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746767$B73DA2DD-607D-45D6-A5A9-545E17AB4157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"348369ca3fccbe91226809a75cbf31afd7f3186d","datavalue":{"value":{"entity-type":"item","numeric-id":5900666,"id":"Q5900666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746767$40AF217D-6D2B-49A5-B8F4-CB6E7CED5467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2d9d5673d377c95422809e446c2052b58cca8ec","datavalue":{"value":{"entity-type":"item","numeric-id":5756749,"id":"Q5756749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746767$609A569D-53C7-48A6-87A8-823EF917734B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03c75790c9dd4ffc2c395fdf76c21f0ca40efe2d","datavalue":{"value":{"entity-type":"item","numeric-id":5504599,"id":"Q5504599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746767$B6736495-A370-4532-B532-0FECF2BF89FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbbe3c720aed0327b731658d3d109eaa2ad9e5ef","datavalue":{"value":{"entity-type":"item","numeric-id":746767,"id":"Q746767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746767$BEC269F7-9298-497B-8E24-24EBE75F8F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90a51493597a1f1f73f81f82274ca3c0eac31a88","datavalue":{"value":{"entity-type":"item","numeric-id":353052,"id":"Q353052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746767$86347625-4F0C-4502-B2B2-E5ECD5727A63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b8d9876fc4b1bc762aaa2e76ab4503f7e596a90","datavalue":{"value":{"entity-type":"item","numeric-id":5255067,"id":"Q5255067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746767$107E62D2-24FC-4F3F-9A4B-E96C91B85C71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44133b9bfa2aad984355aaf2ce1066824a22a8ee","datavalue":{"value":{"entity-type":"item","numeric-id":2931785,"id":"Q2931785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746767$0AA0A4FA-AC2A-4BFB-935F-ADA8FDAC4815","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ebe224e082ed72eb768519aa4c891b919c082731","datavalue":{"value":"10.1007/S10703-014-0219-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q746767$C3EDC72A-2F92-4D71-B425-49F08BC2C0DE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56c4a36a31274c5966ce09e345f4fcb7cb21489c","datavalue":{"value":{"entity-type":"item","numeric-id":4997234,"id":"Q4997234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e3c292182bf30336240b0455fa0b2fdfe16e00e","datavalue":{"value":{"amount":"+0.8804244995117188","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":"Q746767$CCA310D3-F264-4FB9-8037-638FCDC6A00D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9297116a8fd5d2d74795bb8b8d5edc5bf38cae53","datavalue":{"value":{"entity-type":"item","numeric-id":5452619,"id":"Q5452619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e6ff49d46ed0258052b469fc33b5f24a9d536d2","datavalue":{"value":{"amount":"+0.7773601412773132","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":"Q746767$731D6C76-8376-4B78-B1AD-BFE28BAC7F69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5302c862f26649c1cb13bd6e9bc82d762cb6ba77","datavalue":{"value":{"entity-type":"item","numeric-id":604394,"id":"Q604394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdca19a4f021dfbbf5620f47056b30ab9f1acb73","datavalue":{"value":{"amount":"+0.7772451639175415","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":"Q746767$6251926E-F030-4235-BE5B-4E8E7331F91C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"846b5d7a88a34ba7463fd26b4ab55d9721f4c5f1","datavalue":{"value":{"entity-type":"item","numeric-id":3558223,"id":"Q3558223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ea420df90a0224ecc63450a2b3d064a375f35b0","datavalue":{"value":{"amount":"+0.7738449573516846","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":"Q746767$E1A3D1C5-881B-4CF2-BF79-2A8B2CFF6BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72ac296eef685af3714af18edb241e087213d64e","datavalue":{"value":{"entity-type":"item","numeric-id":5890659,"id":"Q5890659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec4223ceff91056a015e195d7989bd6d48c35afd","datavalue":{"value":{"amount":"+0.7724031209945679","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":"Q746767$D33ACC0E-F41E-48AA-8E7B-490297F1D859","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On recursion-free Horn clauses and Craig interpolation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_recursion-free_Horn_clauses_and_Craig_interpolation"}}}}}