{"entities":{"Q352974":{"pageid":354741,"ns":120,"title":"Item:Q352974","lastrevid":61229262,"modified":"2026-04-10T22:00:14Z","type":"item","id":"Q352974","labels":{"en":{"language":"en","value":"Invariant-free clausal temporal resolution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6184689"}},"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":"Q352974$3D639DF9-C2DA-4FF2-8F3A-E243CA5FD510","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"724a528cc383337f6957b429c1369627da7b463e","datavalue":{"value":{"text":"Invariant-free clausal temporal resolution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q352974$CC0D0961-CF16-4EF7-974C-45327395A9EB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"da5fdf84b4bd2fbc07986a29364d0dca2f34345b","datavalue":{"value":"1408.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q352974$BB8B2152-9014-41AA-B19D-8214A9302681","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cdf8e9157016f16de7bf96faaf4cc8f3999545b5","datavalue":{"value":{"entity-type":"item","numeric-id":352971,"id":"Q352971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352974$A8A82133-0269-491B-9F36-2CEFA7812829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb667340cfbcd9cd67a94ffb3784afb72b2034ec","datavalue":{"value":{"entity-type":"item","numeric-id":287085,"id":"Q287085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352974$A1AAFA2F-35D2-4E8F-9C52-45D3169DC858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1fc9c84eb3207ee438d2d5ce3c97d92242bb030","datavalue":{"value":{"entity-type":"item","numeric-id":352972,"id":"Q352972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352974$FD083885-81F8-470C-84FF-6C896F320B3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ed55229bd3e6c069ce7f99b0f19bc30ef1facc7","datavalue":{"value":{"entity-type":"item","numeric-id":352973,"id":"Q352973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352974$FA1F0C4B-3CA5-4837-B65F-7F792D84A7DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"874a476e6716f6cd8f170e2420dcab2786650206","datavalue":{"value":{"entity-type":"item","numeric-id":347378,"id":"Q347378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352974$52455C61-9D48-4121-B7AC-25370CD194AD","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":"Q352974$E56B75AF-0D64-433B-8926-AF8902D6700A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e553745941756c98d8238154d74f9ad7174c4d8e","datavalue":{"value":{"time":"+2013-07-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q352974$5FE1D791-4FD1-40A6-830F-249A14154085","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q352974$EB2F2C27-15E4-4B45-92F0-44CEE49B3E5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q352974$5115425B-CBBF-41D4-A924-0CC39A364DE8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4ba00af90aea1b093eb739fefd27a752701c3bcf","datavalue":{"value":"6184689","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q352974$9AF7D8C1-3F13-415F-91E1-648ECF3DA823","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84acfee9e4b6c70b0174fe93080ef56efe585039","datavalue":{"value":"propositional linear-time temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q352974$233569B9-5AB3-4355-B521-7D05B7C3CD29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q352974$38F829C7-1B6A-478E-80F7-BA86C032C534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a342ab58386521564e96ddba06d417728d72814","datavalue":{"value":"invariant-free","type":"string"},"datatype":"string"},"type":"statement","id":"Q352974$D7852B33-70C6-4264-8DEF-889A760D8A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e368250af775e16d1e321f89fe4c0cd4a8d4479","datavalue":{"value":"clausal normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q352974$1C25DA89-40C6-47F5-B8E4-90CDA799178F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"351376af9337c9358d4b7714d8543cf671d9a4b6","datavalue":{"value":{"entity-type":"item","numeric-id":26576,"id":"Q26576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352974$566700A5-04FD-4A32-B72F-45C88601B8F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1dd593caa76171727c63057fe580e976fa16cf5","datavalue":{"value":{"entity-type":"item","numeric-id":23931,"id":"Q23931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352974$B10A22E1-0334-40EB-B54C-EB4F19F59500","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":"Q352974$726CE671-E724-43CF-82F8-38F4EC2D285F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e2012b4eb71232d3e7276528b7e95a49f4336cc8","datavalue":{"value":"https://doi.org/10.1007/s10817-011-9241-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q352974$B3CD81C7-56F3-49C1-A0B0-5C320B4255E0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a35087afe22ac05deeaaa71bebdec91f54a582c6","datavalue":{"value":"W2010166872","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q352974$420ABBCE-7C80-4308-B1C2-B4BEB1BF8DD7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8604220f0faeddc925050a4b84461fa4317e71f4","datavalue":{"value":{"entity-type":"item","numeric-id":3682464,"id":"Q3682464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352974$03CD65A9-80BC-4D9C-82CE-C4374511F1A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e94fc796d6281ef35fac1f629eb9ac4a5b3b29c","datavalue":{"value":{"entity-type":"item","numeric-id":3474286,"id":"Q3474286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352974$8FB45C02-03ED-40D1-9731-D75402EC64AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"194d0bf0a6cc5352e93ae868670d4f1ac2906a84","datavalue":{"value":{"entity-type":"item","numeric-id":3498455,"id":"Q3498455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352974$B1EEC438-74D2-4478-AE6F-07E051E3E80A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e1bac099fbe4678082a91d992b4ab581e8ee2e8","datavalue":{"value":{"entity-type":"item","numeric-id":4421285,"id":"Q4421285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352974$AD3E5E28-222B-4F16-8041-B58814545C88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b32ef8c8641427188d46bb8b56103385e3874640","datavalue":{"value":{"entity-type":"item","numeric-id":3338212,"id":"Q3338212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352974$AB849A42-3FEF-4D02-9FB8-DE383579FD55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"939cf83495e80d5f1a10ebf54229516c3f0a9d61","datavalue":{"value":{"entity-type":"item","numeric-id":4412853,"id":"Q4412853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352974$54935DDF-47DB-454E-9D31-16F563F398D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91b17ca5304b07e27db69bbaad41f776f31427c7","datavalue":{"value":{"entity-type":"item","numeric-id":3997615,"id":"Q3997615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352974$FFB223B0-1934-46C0-A1D5-82C3A0FE9E81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b330f5cd7a65a8735b5cd88f9d99cd7626efdb5","datavalue":{"value":{"entity-type":"item","numeric-id":4012170,"id":"Q4012170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352974$10264A41-11B6-433B-AFB3-1000AE9E29FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3b5731d8665a1f402aa8ba470cd1f3967c3e0c5","datavalue":{"value":{"entity-type":"item","numeric-id":2996923,"id":"Q2996923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352974$D998E52F-F6C4-4D9F-9B33-01103E74CA59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9f21257d8b20ccfecd3db595afbc8b2e1a0a737","datavalue":{"value":{"entity-type":"item","numeric-id":3835817,"id":"Q3835817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352974$B421E79E-B639-4B20-B5FE-5E59D6E9014F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c17739bb71064dd8907ad80486b9d1ae9f0d4818","datavalue":{"value":{"entity-type":"item","numeric-id":2753192,"id":"Q2753192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352974$35C621DE-BA75-4C20-ABC9-A3F2936BF437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d76baf677d1bd1d922afa18500942dfeefac2ea5","datavalue":{"value":{"entity-type":"item","numeric-id":2871849,"id":"Q2871849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352974$AB5478FD-FCAF-44B6-B8CD-52BC1A658766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e79adceaea1e40b4cad7838a35b0a0fd442b58ac","datavalue":{"value":{"entity-type":"item","numeric-id":3608433,"id":"Q3608433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352974$D058C379-FD05-41CB-AB3F-B29D9E2C160C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a496189b2c0d0db72b1b1548e59d07017b738a59","datavalue":{"value":{"entity-type":"item","numeric-id":1035676,"id":"Q1035676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352974$32429A3D-4E62-4942-AFBE-997989159D0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"604c81390d22816ec8435f3d98657d187cbde2a2","datavalue":{"value":{"entity-type":"item","numeric-id":3605530,"id":"Q3605530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352974$3CB2E3C6-3889-46DC-896C-801315FA8606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf1aae49eb6b5d7cf3c74c68e06df16ab076f84f","datavalue":{"value":{"entity-type":"item","numeric-id":2753601,"id":"Q2753601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352974$5DA68998-2863-4521-8C0E-C81C959B5379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"975b69a52d70fff5a2cc8b737e571d9ff57ab726","datavalue":{"value":{"entity-type":"item","numeric-id":5191118,"id":"Q5191118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352974$D2E0D2F0-1586-4578-9651-9E7CAAA22DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eee35eec4f1bcb8802869b456425f53aadfa3936","datavalue":{"value":{"entity-type":"item","numeric-id":4443417,"id":"Q4443417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352974$8E20E872-C62F-4057-83ED-B57594422332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd68e36e1fe801649f887329d63136eed8f71abd","datavalue":{"value":{"entity-type":"item","numeric-id":1826368,"id":"Q1826368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352974$C686A5BD-833D-47F0-96E0-823A123BE17C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d55d9d717b6dd928ca51f3a56f3933f99738e0a9","datavalue":{"value":{"entity-type":"item","numeric-id":4444910,"id":"Q4444910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352974$BF66A3EE-162E-4B8D-91DE-A0D98C5E1245","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":"Q352974$B2CC916A-2669-489C-8CFB-0C2D59E6B0E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e8bcaa657d0aa047b23119a2d7bccc8e7f786fb","datavalue":{"value":{"entity-type":"item","numeric-id":5905500,"id":"Q5905500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352974$FF85C6E8-FCE2-4E6B-9404-BDA51032F3F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bf387cf6efa0c72efe979138deef219e19f92f0","datavalue":{"value":{"entity-type":"item","numeric-id":3838819,"id":"Q3838819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352974$FBBD18B8-67A1-4B19-8543-BC04C91CBEB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d079b47cf1ba2d598f964b28ddec583cafa7821","datavalue":{"value":{"entity-type":"item","numeric-id":1088653,"id":"Q1088653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352974$0CEA566B-322D-4953-8379-DE68437DFA18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09e0682cd7b7941e53ad4f333d01634cbe29d198","datavalue":{"value":{"entity-type":"item","numeric-id":3741614,"id":"Q3741614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352974$8CEC3B17-4F43-4A00-AE04-38DFDF3F168D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6a31e0cf3ff6a73ad4ee5a92d1ed62572bdd89","datavalue":{"value":{"entity-type":"item","numeric-id":3317085,"id":"Q3317085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q352974$5A2A9BBC-9183-4A84-9163-BB100C5A1A47","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e85cfd5f6fa81d313f517f02b1ad8e31414c6a18","datavalue":{"value":"10.1007/S10817-011-9241-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q352974$0DFFBF69-775D-44D9-9732-CC1CAC748A20","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0397c16d05660865fcc8040789ba222e8321fe95","datavalue":{"value":{"entity-type":"item","numeric-id":4421285,"id":"Q4421285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9509a987ac0b59957a8f497dd117999a1e13b86","datavalue":{"value":{"amount":"+0.820633053779602","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":"Q352974$7D373A22-7710-4102-A47E-400DAEB6AA5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b11c55812abe09c2901f8963ae6e33a309a73cc4","datavalue":{"value":{"entity-type":"item","numeric-id":4428293,"id":"Q4428293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa4a282e014d9a9b309ff1d988714d8cb7cdac74","datavalue":{"value":{"amount":"+0.8175009489059448","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":"Q352974$FC7C63C4-1A84-48E0-9D2F-8A43B1C5449F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4be3f39e228ac8e1655e831f1223a5fe918b0808","datavalue":{"value":{"entity-type":"item","numeric-id":4412853,"id":"Q4412853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65b6386d94c026422dabddb6f65c202af5f54a14","datavalue":{"value":{"amount":"+0.8169371485710144","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":"Q352974$9ECCBCBD-4E0C-44B9-83F8-568093DC9DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0678c8baf9c876545b77d473b06988a25fb5c817","datavalue":{"value":{"entity-type":"item","numeric-id":5738910,"id":"Q5738910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1a1b831961bb37609814e3c4a0b7dc07929accd","datavalue":{"value":{"amount":"+0.8023713827133179","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":"Q352974$775B58FC-4654-4215-953B-EBAE49EA0F47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5225452bae2904b4a8fe5f33e86f9216d0ae06a2","datavalue":{"value":{"entity-type":"item","numeric-id":4012170,"id":"Q4012170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72a6bc6fc122240d49befc0e153453ddb9f1b0fb","datavalue":{"value":{"amount":"+0.8011986613273621","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":"Q352974$E9BB7DCD-AC2F-4929-81A7-487D969D3174","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Invariant-free clausal temporal resolution","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Invariant-free_clausal_temporal_resolution"}}}}}