{"entities":{"Q7024192":{"pageid":21648051,"ns":120,"title":"Item:Q7024192","lastrevid":77545133,"modified":"2026-05-05T05:06:12Z","type":"item","id":"Q7024192","labels":{"en":{"language":"en","value":"RAT elimination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7987679"}},"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":"Q7024192$1108B152-9F70-4536-AB72-3DDDC529DF80","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a2c1b302273eac24ae5c9559d2fa822d85e5659e","datavalue":{"value":{"text":"RAT elimination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7024192$6F6C2350-0FF9-469B-AA41-3266D94FDD0F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"854061a422ff7565b9bd7a24154621be9d863b80","datavalue":{"value":"1564.68265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7024192$1CDC6F16-EBD1-4347-8184-0DAAD5895B4B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"29705786b324cde93678f40859985bad2f526ae9","datavalue":{"value":"10.29007/FCCB","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7024192$BA41C164-5055-4D0A-BC93-288A2A15E7F8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca432b2e16ad9e194c3af93cff128dfaded4c01e","datavalue":{"value":{"entity-type":"item","numeric-id":1799111,"id":"Q1799111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7024192$B7B96525-03D7-4646-9717-8D3DBF4FAA25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cafc89a69d4324ea4f0d501a434f10ab730991dc","datavalue":{"value":{"entity-type":"item","numeric-id":286730,"id":"Q286730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7024192$835E1747-A664-496E-8232-3D2012014CA2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"368a9ee771a105678c8cb484e60c7c131ffd0da4","datavalue":{"value":{"time":"+2025-02-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":"Q7024192$D67B0532-379D-4219-B4E0-DB3DCD6788F4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7024192$BC40F135-C1B7-4CCE-8C46-BFBE46A8377D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"28cadf422a80fc06ec4c4f772510f4e52bf0830d","datavalue":{"value":"7987679","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7024192$6A215325-85A2-4035-B977-5E73009FE3FA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92d0129c4a0581ddafd6b917c069aaee0e9b2d03","datavalue":{"value":"drat proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q7024192$FFECEDA5-4069-49B7-BF20-8FA4B59FDA12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"187fd2e064c0654ef44cc5c14c973e213f327001","datavalue":{"value":"proof based interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q7024192$B6B279AA-CEF3-4C67-A72E-0EC9C88C8AF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q7024192$CB9B8E9C-1332-4F94-8247-4ACF537F9615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87021f83c0bc2bfb13b38866d6825671687cfc77","datavalue":{"value":"SAT solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q7024192$55C485F1-D6F9-452F-95B1-797D58EE0CA6","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":"Q7024192$D2E6B990-D345-457B-B085-4AFF13187753","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"89838827382acbf53ce860d7765a55008850713f","datavalue":{"value":{"entity-type":"item","numeric-id":5573405,"id":"Q5573405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7024192$FB6EBFFB-A936-4BD4-A40E-AD9D03F959B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7024192$8F1E6B0C-028C-4BF9-BA5D-4B72198EC0C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef9a85754f10c794d7ea794155cce4bd2f066956","datavalue":{"value":{"entity-type":"item","numeric-id":3075471,"id":"Q3075471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7024192$BE287009-C9DF-4758-9713-51C5D31CE7DB","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":"Q7024192$2D15CB5D-5CBD-4E50-ADF4-C9BE38E69664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4d5ccea7b6fe9f5a7082344f9edaface083da76","datavalue":{"value":{"entity-type":"item","numeric-id":2405252,"id":"Q2405252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7024192$45C93060-0ABA-49E0-B9E0-B48AB1A92A75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a1f27d5e14d456aa8b6031d92ee27db277fbe0e","datavalue":{"value":{"entity-type":"item","numeric-id":3656880,"id":"Q3656880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7024192$C63EAD3D-0DE6-4EBB-B539-5A60324FB045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"871a7838603e3c550db89a4460c5c1dba9e680e8","datavalue":{"value":{"entity-type":"item","numeric-id":694550,"id":"Q694550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7024192$3E28800A-3445-441A-A500-FCFF29CD1DCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f89527defb7821d91c51c15ad00dbe2e1b3d605","datavalue":{"value":{"entity-type":"item","numeric-id":2941732,"id":"Q2941732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7024192$B0D6C95C-A772-4BC2-ABCA-760FA5C27184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd1ae1eae0bbb3048cc59d85f34aded019099780","datavalue":{"value":{"entity-type":"item","numeric-id":4928451,"id":"Q4928451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7024192$1184B8E8-E55D-4FB1-9521-F0937655984F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87be12daaa9049d37eba12568fd639bb8a1c86c9","datavalue":{"value":{"entity-type":"item","numeric-id":2908507,"id":"Q2908507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7024192$9628FC96-D66B-4E51-94D1-BCAF3AC2AA2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b23cf2e3ea0c2f15f6e745918f55a7ede222992","datavalue":{"value":{"entity-type":"item","numeric-id":1799112,"id":"Q1799112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7024192$C2890C4C-C7AE-4A88-A5C3-748CB52D877A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"600333a0c3b702f996bf24ab4fc7166efae866e9","datavalue":{"value":{"entity-type":"item","numeric-id":4645726,"id":"Q4645726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7024192$A174D94E-94B0-42E9-ACB5-D20AC3908D63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59453e58f7cfaf844d3b63583cdaa54741e69f19","datavalue":{"value":{"entity-type":"item","numeric-id":1383164,"id":"Q1383164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7024192$8DD1C870-BE3C-4534-88FC-1C8B5B9CACBE","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":"Q7024192$D512E1A1-283F-4B65-A92E-D6EFACB35764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f0b58d0abcd9e4d9a58c0a0e5204160a728cc8f","datavalue":{"value":{"entity-type":"item","numeric-id":4645727,"id":"Q4645727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7024192$6CEE27FF-FE42-4D79-A422-E47C83528FCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40f34823cac176489a74f3e54ebb7fe9577d93ab","datavalue":{"value":{"entity-type":"item","numeric-id":4372917,"id":"Q4372917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7024192$A746F955-3B51-43E0-AAA3-98FD5DDED0B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fdbfd9418840eefe921b7c66e8d9c4b67ffb71a","datavalue":{"value":{"entity-type":"item","numeric-id":5222981,"id":"Q5222981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7024192$8116595C-787A-44E6-820F-F0EF68D0B255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c841bf83f82e07c8fdbce47767837b933e2bd7d5","datavalue":{"value":{"entity-type":"item","numeric-id":286731,"id":"Q286731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7024192$A794BA75-46CF-4429-B746-A2C406224CDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7fa352a234d9acd3ab1cbfbd8265e2171907a2e","datavalue":{"value":{"entity-type":"item","numeric-id":1702933,"id":"Q1702933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7024192$67A7A764-9B24-4278-8C69-1311B85F41EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb081c24d3f308759ffc5be25d93bb06a52b464f","datavalue":{"value":{"entity-type":"item","numeric-id":3192088,"id":"Q3192088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7024192$3C796039-439B-4170-9D3C-4353BCE6B5BD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"RAT elimination","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/RAT_elimination"}}}}}