{"entities":{"Q5918558":{"pageid":8049403,"ns":120,"title":"Item:Q5918558","lastrevid":93646799,"modified":"2026-06-05T04:46:12Z","type":"item","id":"Q5918558","labels":{"en":{"language":"en","value":"A comprehensive framework for saturation theorem proving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7614520"}},"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":"Q5918558$33440930-B4C8-4881-A4A3-3C30803CFF28","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"de38d3ee107a812012d5609edaa7d8b031ef5da8","datavalue":{"value":{"text":"A comprehensive framework for saturation theorem proving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5918558$EF57BA3A-6055-436E-ACB0-3E0AB3D2A397","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6b496abe2dbf4b1491a46e8d9d8c37e17c139f1f","datavalue":{"value":"10.1007/978-3-030-51074-9_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5918558$D3FCF40F-36DE-47AC-A251-251209724125","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ecde3ddf4f96a8da457aeb906b2979614b354694","datavalue":{"value":{"entity-type":"item","numeric-id":293310,"id":"Q293310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918558$D14E7557-2910-470E-B802-DAE8182B281E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca512d58059d63156835648800422b2988de4fc6","datavalue":{"value":{"entity-type":"item","numeric-id":2051562,"id":"Q2051562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918558$77FDB1F3-2D8E-4662-B7D9-B84E66C9AB36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"271a0e8db5ca773d7b7fe045738dca9e2e181b42","datavalue":{"value":{"entity-type":"item","numeric-id":1799097,"id":"Q1799097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918558$FC12B67F-3A87-4DBF-A0D0-8E8CFBA394AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"42c29c686dffd678d9f155b05a4a1aa93e85953c","datavalue":{"value":{"entity-type":"item","numeric-id":287335,"id":"Q287335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918558$54ED3385-D43C-439D-8E56-D470409ADC6C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918558$447C773D-B054-4128-AD4A-EAB5014A9049","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a54434e20074f3f6b59987a5d81b4852d3c35ec","datavalue":{"value":{"time":"+2022-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5918558$AB52D5ED-11AC-498F-AD89-C872033AF548","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5918558$9A53DC94-C06C-48BC-8BD1-0285725CBEDF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f3af60fa27ad7ee25bcf13349a9766975313e6f","datavalue":{"value":"7614520","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5918558$B6DA344B-0407-44FD-8C4F-55EAC95B80A7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918558$B3202F89-F74B-4DA0-80AB-61F9A8EA1FFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1017108dce3983431546a14c274f65bc4aaae70b","datavalue":{"value":{"entity-type":"item","numeric-id":22154,"id":"Q22154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918558$7ED140A1-F6C8-4A1E-BF24-491DEAB465CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"90c7c18880caa813a6bdace0f373d3dec3147690","datavalue":{"value":{"entity-type":"item","numeric-id":40350,"id":"Q40350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918558$E64732D6-F352-46AA-A324-660A1F8DBCCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3002e5aece34ca8a020af27ced77e73776ebb698","datavalue":{"value":{"entity-type":"item","numeric-id":53728,"id":"Q53728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918558$EB70763D-5F8E-4F28-88C3-169C92F7C52E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c766f98bf98fe7cf06a05963cc75ed84be39ac3","datavalue":{"value":{"entity-type":"item","numeric-id":31394,"id":"Q31394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918558$F73C01D4-2636-40B0-8265-4918E9B9D8A5","rank":"normal"},{"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":"Q5918558$EFD7C642-61CD-48D6-AB74-50F10C89FE93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3f1ae8e244d27f4e93f1981ec80f87d04dfe89da","datavalue":{"value":{"entity-type":"item","numeric-id":31438,"id":"Q31438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918558$82C201B9-56E2-44FC-9E2E-5F34A9B6A3DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e338912f65cbd77347bbd512933e55736ef58bd1","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918558$BCDB1CB8-0DC3-470C-864A-53F14A372F35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b443b776731e3bc75eb79b752e7ef8c4cee2d97a","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918558$8667360B-2FA0-4B3F-93F1-0DDEA4B0659D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2ad21f150c621099eebc7c2e673cd9cf43b81a4e","datavalue":{"value":{"entity-type":"item","numeric-id":24376,"id":"Q24376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918558$13BBB72D-DA7C-4612-B3B0-2167DD5256AC","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":"Q5918558$07B5FEFA-FEE9-4817-A28A-D93745ECDFFD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8d2461f1194c1b4b130feaa3e5303715d25a7a2b","datavalue":{"value":"https://doi.org/10.1007/978-3-030-51074-9_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q5918558$CEDF8C41-159D-4210-AD41-26775695577E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"becfebdec0dcd498901fd223c1c1eab28ead30c3","datavalue":{"value":"W3039562913","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5918558$E2A502D4-2F54-4072-AF65-FC438E5B478A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aefe5e0f2b827afb25f0a8067d25c4a893f91ca","datavalue":{"value":{"entity-type":"item","numeric-id":4304492,"id":"Q4304492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918558$C32AD40A-EC50-4460-9BCD-04560205F829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b1137cf78c4cad0e217f70ec321f2a593915490","datavalue":{"value":{"entity-type":"item","numeric-id":2751353,"id":"Q2751353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918558$2331E6AC-C679-48E7-B6C8-98A0408F0772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"207d1a4f947fa872ea38eb5c749f0304803e02b3","datavalue":{"value":{"entity-type":"item","numeric-id":4282593,"id":"Q4282593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918558$BD6F3803-63DF-4DA7-8EFA-91A58F0F4D5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4db61376dc05e8ac9b799b75f45910b0e723393","datavalue":{"value":{"entity-type":"item","numeric-id":1328182,"id":"Q1328182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918558$51061BA3-C71A-4E23-9B5D-C4B77EE0B037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4738798d9702e646d9743f53f948745583da971","datavalue":{"value":{"entity-type":"item","numeric-id":2352487,"id":"Q2352487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918558$A0146EAB-1629-42CF-860C-BDA9B5F0AD56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d7e9017e9f92808788a0b971125d9368ce41250","datavalue":{"value":{"entity-type":"item","numeric-id":5919500,"id":"Q5919500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918558$63A676B5-BF8F-428B-A9C0-5BBD3B5D2570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"200a38ad327b4bf6451febd1153cf5712eb36a56","datavalue":{"value":{"entity-type":"item","numeric-id":1799065,"id":"Q1799065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918558$D46B6E0E-0C86-47CE-A820-530C1E4AC493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a7ce665db3435fa98f1acda442e827ec5d171f3","datavalue":{"value":{"entity-type":"item","numeric-id":2096452,"id":"Q2096452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918558$2FEE544F-2C89-430D-AD60-61B35ED547D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4d993f7be3ea77cad4a800be898a39b5ce70ed5","datavalue":{"value":{"entity-type":"item","numeric-id":2879246,"id":"Q2879246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918558$F905D2E8-B304-4DC3-BAD1-412964A40AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a309f58f5f6626efce9327a48302c58795d8b557","datavalue":{"value":{"entity-type":"item","numeric-id":1799098,"id":"Q1799098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918558$61EBD230-8BA9-4F5F-BA28-C7C4FD946685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e7f4e131abd397423f508ff6cb02fd16c492dec","datavalue":{"value":{"entity-type":"item","numeric-id":1037396,"id":"Q1037396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918558$F08CAD70-983B-4310-B032-1A033B4CA51F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29fa80c0f07bcc3d0c1ce4424d0bf7c24f99ed88","datavalue":{"value":{"entity-type":"item","numeric-id":4809080,"id":"Q4809080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918558$D5C89429-3FCB-4D2D-B24D-94C1CAA97EC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78a8fb7c1504b4023b489475633410efba01eda3","datavalue":{"value":{"entity-type":"item","numeric-id":1897557,"id":"Q1897557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918558$99D6EE38-2F16-48DF-95F2-10357DD49FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e264974062f53b439460b85662778a60b49509d","datavalue":{"value":{"entity-type":"item","numeric-id":2926333,"id":"Q2926333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918558$CDF975E6-6AB7-4F36-A633-281968549F60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918558$1D8D532D-A2FB-451D-81DF-D1E877BA6252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6247542da97c1bd60e1293202198b0e15650e479","datavalue":{"value":{"entity-type":"item","numeric-id":5916290,"id":"Q5916290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918558$6B1F4E39-83E7-41D4-96FA-45C67388356F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93fc8985b7898988b7d52edb5c0cd61c1b917df6","datavalue":{"value":{"entity-type":"item","numeric-id":3150301,"id":"Q3150301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918558$7DE6D1F2-E1C7-437B-9D35-BAC4DC9A34D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d61546e6fd6be76472da0ab32feef7093fd5ac18","datavalue":{"value":{"entity-type":"item","numeric-id":5918558,"id":"Q5918558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918558$61E5555A-BC13-4A39-B052-4422C056D896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aa6750f3149d248c4e232f6fdbdc36d7bc86e39","datavalue":{"value":{"entity-type":"item","numeric-id":2920991,"id":"Q2920991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918558$7EF75E49-5702-4A28-BD71-DE53349CCE47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e40e4405ca2e810f3efb132cadf13beb7627b919","datavalue":{"value":{"entity-type":"item","numeric-id":1864898,"id":"Q1864898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918558$1EF82083-D6CA-45F9-A6AE-7B5B3D42F20B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81507f430d90ccca44c5914f167260e0646ee88a","datavalue":{"value":{"entity-type":"item","numeric-id":2751379,"id":"Q2751379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918558$B3D81E1D-87B0-40C3-BE20-C9C9ED349A98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24e4d5d206133d3398c50fe5451aaece0e817a40","datavalue":{"value":{"entity-type":"item","numeric-id":6488549,"id":"Q6488549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5918558$A5A7BB11-3E28-433E-A6A9-249E862F64AF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"858189730601ab127bb167cd5cec59ec6245e14d","datavalue":{"value":{"entity-type":"item","numeric-id":5970776,"id":"Q5970776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7b1f6b6877b79c29e35be7bb455d48ede34bb82","datavalue":{"value":{"amount":"+0.9698410630226136","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":"Q5918558$54F5FD93-18DF-4967-9669-8F73125FC075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea53f4d0daf48dd7127e69ca85211a01679fed0d","datavalue":{"value":{"entity-type":"item","numeric-id":2583288,"id":"Q2583288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa61704092d6f54b028c99866000709f52f35897","datavalue":{"value":{"amount":"+0.7671660780906677","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":"Q5918558$F5C3108A-F112-4BEA-8B3D-D22A86273F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a59a3a7b5d0a65eed6813342966633f36dfe714b","datavalue":{"value":{"entity-type":"item","numeric-id":3541714,"id":"Q3541714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0fbc8f447d2c698a597b71ed7d0d736cc1e04f6","datavalue":{"value":{"amount":"+0.765122652053833","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":"Q5918558$FF7B3C50-96F8-4E47-8D12-5458109CDD03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4564dcbe209d24a2f509e63518773f769d6b6c9e","datavalue":{"value":{"entity-type":"item","numeric-id":4524792,"id":"Q4524792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dbf2738ba2cd2e6e9aaeab95b4e2eab43fff97f","datavalue":{"value":{"amount":"+0.756270170211792","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":"Q5918558$3C9B1FC1-84EC-48AF-BFF9-6917A09FD41D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b18f0f9547a5cf62e001b698d7ffbe52435e519","datavalue":{"value":{"entity-type":"item","numeric-id":5277771,"id":"Q5277771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dbf2738ba2cd2e6e9aaeab95b4e2eab43fff97f","datavalue":{"value":{"amount":"+0.756270170211792","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":"Q5918558$9A655B4B-8A94-4A03-9019-6C24E7F507FA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A comprehensive framework for saturation theorem proving","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_comprehensive_framework_for_saturation_theorem_proving"}}}}}