{"entities":{"Q5082067":{"pageid":7111643,"ns":120,"title":"Item:Q5082067","lastrevid":94250768,"modified":"2026-06-05T06:20:40Z","type":"item","id":"Q5082067","labels":{"en":{"language":"en","value":"INFORMATION IN PROPOSITIONAL PROOFS AND ALGORITHMIC PROOF SEARCH"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7541925"}},"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":"Q5082067$41F1F6F5-ACC1-468B-BDB1-654C8BF6D068","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6ebe1a21a27063ad060449aa9d20fabe1cd5ad40","datavalue":{"value":{"text":"INFORMATION IN PROPOSITIONAL PROOFS AND ALGORITHMIC PROOF SEARCH","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5082067$5D9A1989-08D0-43EB-89D1-D668EC791C08","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4b9ae896fbf78b3fa2084fd5300754d74076f66","datavalue":{"value":{"entity-type":"item","numeric-id":226860,"id":"Q226860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5082067$0E58A998-2FBD-4B2F-8F82-DC305006853A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b034a322f1ddd26cbad4d23fbb21c53158db6544","datavalue":{"value":{"time":"+2022-06-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5082067$7E295A7F-9B62-4080-9A9B-3B07E41DF7C2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d38130a8ee98f018237235066ba4b0922c01c087","datavalue":{"value":"https://arxiv.org/abs/2104.04711","type":"string"},"datatype":"url"},"type":"statement","id":"Q5082067$5DBD0DC1-7AA9-4265-B0A0-05CFFC3AF995","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082067$E51C46ED-A223-4049-8483-D3F3936A71A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7ff42dddfe5f41df416984cf4dad89a0ad78ba0b","datavalue":{"value":"68Q11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082067$FF312AA5-766F-4365-A382-D167FE7EA93A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e243fd7c22ca7737465c92434b0b01e09fe89c42","datavalue":{"value":"68Q30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082067$33C4581F-67BA-4A4F-A1BC-448D3353BD23","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9240e3b663f70f211a888274890b23a69d3c1c9e","datavalue":{"value":"7541925","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082067$7EA91686-7E4E-4171-882E-BEF58304A7D8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b24e51e460d663f6ecf18860b761adb8bb29e572","datavalue":{"value":"propositional proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5082067$A15B7259-E92F-49BA-8B4B-67E34C6CC7DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56614c1037fd13c2795e6e15482eeadf0b01c857","datavalue":{"value":"algorithmic information","type":"string"},"datatype":"string"},"type":"statement","id":"Q5082067$09278E8C-1D1C-4920-967F-9EF1CDF8A2A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4879e8c35d56fd297a402f7c1eba53238e04d57b","datavalue":{"value":"proof search","type":"string"},"datatype":"string"},"type":"statement","id":"Q5082067$6F84F46D-8F13-4900-A05C-4FFB478D0223","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":"Q5082067$3CDE052F-1A44-4CB6-8539-AAA2AE00113F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0482bf264f2c45dec0c9745fb42d01b33c8f03c2","datavalue":{"value":"W3158765418","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082067$7AEB82A8-482A-4A89-BD9C-7DCAE58EF34B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb1bf83626afb25080059b6ed16da69d74215dd1","datavalue":{"value":{"entity-type":"item","numeric-id":5133983,"id":"Q5133983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5082067$64DD9AB8-D192-44F4-88A5-ADC4B45AF24E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"770839834e9b2e75c5cac9d85b4f2bbde549b6c8","datavalue":{"value":{"entity-type":"item","numeric-id":4507332,"id":"Q4507332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5082067$BFE3213D-FB18-4D73-AEEC-C98DAB1110A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f416081c3eaaf4dde329560f81e41ba25dd362","datavalue":{"value":{"entity-type":"item","numeric-id":4775470,"id":"Q4775470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5082067$04B051D8-87A1-496C-8758-CAD127930B69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34a549ed1d776396be3e4308655e166de224ba89","datavalue":{"value":{"entity-type":"item","numeric-id":4133141,"id":"Q4133141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5082067$24576702-1FA0-4233-9A2F-EE30F433C23B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de1b3541975f21c68128b48b36c15544e39ff063","datavalue":{"value":{"entity-type":"item","numeric-id":5444705,"id":"Q5444705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5082067$5C8F716F-5FB2-48ED-8BE9-2C76EC161D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bea75da9fa67a5f77faa9362cd4aa6c737c792a","datavalue":{"value":{"entity-type":"item","numeric-id":4194955,"id":"Q4194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5082067$4C7F5071-C996-4984-92CF-7EB4A2133B53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2fa04d400281f100817ce7e13bdaafd2683670","datavalue":{"value":{"entity-type":"item","numeric-id":1071750,"id":"Q1071750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5082067$DC8D40BB-2934-453B-86B2-342C43EF3BB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2c5f4a456f9910b4c4f2a1d73e4561be8a5dbc2","datavalue":{"value":{"entity-type":"item","numeric-id":3214803,"id":"Q3214803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5082067$5EE22366-707F-4776-839D-6635E5477C22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"102a26891507bd915dd804ec90cf13faf460e1bf","datavalue":{"value":{"entity-type":"item","numeric-id":5554774,"id":"Q5554774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5082067$F6F9C651-5BF8-466B-9794-341F5E93DD7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70e7ced847ef0c7f988c1b5d60be1b5ff4d2f251","datavalue":{"value":{"entity-type":"item","numeric-id":5311724,"id":"Q5311724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5082067$E7D3273C-516B-4A51-96AF-367559768015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d151091cd142eaef42486ea82a7e7398444c02a0","datavalue":{"value":{"entity-type":"item","numeric-id":5311729,"id":"Q5311729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5082067$003B9BA7-8096-4A51-B532-D5B30772C7CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac05fdbc3e4a01724a7d12eae757b5685f0f367f","datavalue":{"value":{"entity-type":"item","numeric-id":4829363,"id":"Q4829363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5082067$837C1264-8C11-4EF0-B420-5413AF7B9C3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db4bb8b81064be6d973a6c25598ebeb9e1adf756","datavalue":{"value":{"entity-type":"item","numeric-id":3072543,"id":"Q3072543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5082067$1039952F-8BC6-481F-AA6C-A6B0927A58A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"251187bc98bfd9b233c6fccfeff83ea3f779e3d6","datavalue":{"value":{"entity-type":"item","numeric-id":436581,"id":"Q436581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5082067$D8BBADF8-79DF-4FB6-82DE-08383252CB88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"327b8b07bae5edb39d51392add68b3d240b76011","datavalue":{"value":{"entity-type":"item","numeric-id":4629797,"id":"Q4629797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5082067$833A086E-F1E4-43DE-B44C-324B5CBD78DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25f4a86512e0f02bf82877dbb62313fcd7fe9ed1","datavalue":{"value":{"entity-type":"item","numeric-id":3472096,"id":"Q3472096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5082067$41FF50B3-F365-46F0-9248-E471E3C8F888","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":"Q5082067$F7B256F3-9CCB-4394-9E70-5A01BBFE393A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0365418a624c8d4afcaddb8f25b1c4de6c1379a","datavalue":{"value":{"entity-type":"item","numeric-id":3197800,"id":"Q3197800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5082067$6FDFB254-CD71-4D38-AEE1-93A0CB602997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd6a2ee4e62bbabd30a89fa5d4542078151787b4","datavalue":{"value":{"entity-type":"item","numeric-id":3720586,"id":"Q3720586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5082067$E6402950-9D5D-4A4B-B24B-C6B58C07E960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac9ec2d4fe272c652e065a656e21a0b8e433d7fb","datavalue":{"value":{"entity-type":"item","numeric-id":741088,"id":"Q741088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5082067$BB3B986C-8CF8-445E-BDA4-33D735341DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5082067$AD537F38-3B48-4541-AC24-EF278364C3F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fe0d1bc917b78776665b7c7db6cd95ecc5b3921","datavalue":{"value":{"entity-type":"item","numeric-id":5139736,"id":"Q5139736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5082067$A0FB7D9A-FAD7-4AA3-883E-98651BB148E4","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7cc32301d8aad3b5f5a46d0de19abc1a1ae266e3","datavalue":{"value":"Q113858283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082067$98A878C2-CE7C-433E-BD1B-94768F18B2EC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f0fd1030231d6d805d95503dbd4dc54ad43f1f0e","datavalue":{"value":"10.1017/JSL.2021.75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082067$4824468B-F1D9-4A2A-857F-5CD918197CCE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5082067$5D207B0A-1EC6-4A45-82BD-B21D3FA6D6F6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22fb0405a3492fe98e52c2328cf020bcb32911ac","datavalue":{"value":{"entity-type":"item","numeric-id":377482,"id":"Q377482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac07106da82cc77c0c0eb894c0d390371c07e026","datavalue":{"value":{"amount":"+0.8879804","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5082067$721BD006-8583-40BC-BCA7-D3B3425F3A17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04f15ac9508382a1540857ea46e9e179a37dc990","datavalue":{"value":{"entity-type":"item","numeric-id":4250053,"id":"Q4250053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89e9ce2cea15f99f1e2cbced9cc90a4bd5597883","datavalue":{"value":{"amount":"+0.8866259","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5082067$65CF31F4-6C1D-43CC-B36E-7CF9E26D776C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eac9c83f4a33bc09b1ff58540b08fa34e3d1b063","datavalue":{"value":{"entity-type":"item","numeric-id":833032,"id":"Q833032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5386f524eac6ce82cd8e328697dca3b08da1a931","datavalue":{"value":{"amount":"+0.88648164","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5082067$6D8F90B2-0419-48BF-9A84-64BA07EB74E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ede333e06f1da3162b3a541fa4bbf91926fc13b5","datavalue":{"value":{"entity-type":"item","numeric-id":4873893,"id":"Q4873893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c91de978cc3659c31d3774da95eb198ed5c839f","datavalue":{"value":{"amount":"+0.8820207","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5082067$D55B3F2C-34F2-4368-9812-9BEC0E65EACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d2414746d0c17a096536954eb7fca1268bd6b97","datavalue":{"value":{"entity-type":"item","numeric-id":5444711,"id":"Q5444711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c91de978cc3659c31d3774da95eb198ed5c839f","datavalue":{"value":{"amount":"+0.8820207","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5082067$C616B0C9-D481-435E-A08E-7DC7550D99B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7b47d5008fb5444114c966ed6f511fa02db28fb","datavalue":{"value":{"entity-type":"item","numeric-id":4790400,"id":"Q4790400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c91de978cc3659c31d3774da95eb198ed5c839f","datavalue":{"value":{"amount":"+0.8820207","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5082067$9600D8A6-FCF8-447D-B3B2-FCEC97CCCF4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e3f7c93d713abbc3351371e7962089974f86353","datavalue":{"value":{"entity-type":"item","numeric-id":4390867,"id":"Q4390867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c91de978cc3659c31d3774da95eb198ed5c839f","datavalue":{"value":{"amount":"+0.8820207","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5082067$5F0501FC-06C0-44E9-84B7-5F3128CEC6C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3aa2eca1729bedce32f244a4ef8fcd55294f7b64","datavalue":{"value":{"entity-type":"item","numeric-id":4934557,"id":"Q4934557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a1736e0d912428630eed29298ef80f4cc6af1a9","datavalue":{"value":{"amount":"+0.88115656","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5082067$0F328FDD-D29F-49C1-9930-C1E76C0C5226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96dc708fbd1384cb0999928a24e57600bbe45be5","datavalue":{"value":{"entity-type":"item","numeric-id":5593816,"id":"Q5593816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a567dc2edd15354bb35c0dfaf66883528c49930","datavalue":{"value":{"amount":"+0.87989163","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5082067$2C2B6FC1-1CA9-4387-BADB-C41125670166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8023cfed04eba08ddcc36c5be4efcae97eb4089","datavalue":{"value":{"entity-type":"item","numeric-id":4051642,"id":"Q4051642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9be1b8c4bc04537b15786fcacf7f5dc4fdca939c","datavalue":{"value":{"amount":"+0.8793655","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5082067$40FADCBD-D51D-490E-BC57-6A44420C4A36","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"INFORMATION IN PROPOSITIONAL PROOFS AND ALGORITHMIC PROOF SEARCH","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/INFORMATION_IN_PROPOSITIONAL_PROOFS_AND_ALGORITHMIC_PROOF_SEARCH"}}}}}