{"entities":{"Q1101243":{"pageid":1111995,"ns":120,"title":"Item:Q1101243","lastrevid":69642726,"modified":"2026-04-13T08:24:41Z","type":"item","id":"Q1101243","labels":{"en":{"language":"en","value":"Errata to ``75 problems for testing automatic theorem provers''"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4047176"}},"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":"Q1101243$AC13C496-707F-4AC9-AAB6-DB5998BC64F6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"862dd8f8935b1956ed5e276a77ba0d857987fe52","datavalue":{"value":{"text":"Errata to ``75 problems for testing automatic theorem provers''","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1101243$7DE96FFC-A5E2-405C-BD60-5FA85E41B1E9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"518cf7650ea968281866d901c94374733f7edff1","datavalue":{"value":"0642.68148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101243$59A4A034-78D6-403C-B592-6CD239FF76CC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f25aab4c6b00769b6480f5283f54feec0bb72d4","datavalue":{"value":{"entity-type":"item","numeric-id":679253,"id":"Q679253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101243$6C2C76B1-759D-476F-B6CA-DC52D66BA0DA","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":"Q1101243$D4ABFE36-6ECF-49F4-825D-138F09740EB5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1101243$57F1A929-B200-4554-B459-5F72531B7521","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4d1b75b6c4786d6f9a52056b501e8417ec73b327","datavalue":{"value":"Errata concerned with ibid. 2, 191-216 (1986; see the preceding review).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1101243$48BAD923-40AC-4540-B0AF-D51472D84145","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101243$611363EF-F0DA-4491-B289-E9E63197157E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4c44c1d246f69fbf005039d5f3f74edbb21eadbd","datavalue":{"value":"4047176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101243$C86159EB-072F-434D-9767-63A876E84704","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d2aa687cef17cd912aad76972cec097c0540be8","datavalue":{"value":"automatic theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1101243$870FFD47-9B9E-460A-83DD-D2CD577A8C22","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":"Q1101243$579ECEE1-F0F8-45B4-8BAC-58117E610E91","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d9cd9eeae13369908264b49c4541b5e91974462","datavalue":{"value":{"entity-type":"item","numeric-id":1107334,"id":"Q1107334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3bf8ca16593233fad239060724a890e72d4127e","datavalue":{"value":{"amount":"+0.88116837","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":"Q1101243$3FD19229-03B0-4103-85AD-613C06D26A06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de035f677bc940e95a40c03e8df5350bb9add37b","datavalue":{"value":{"entity-type":"item","numeric-id":3216155,"id":"Q3216155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ceb1e6a32180e08645063d834fe624bc4d330ff","datavalue":{"value":{"amount":"+0.8297534","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":"Q1101243$9B8898B7-359A-4022-9E47-AD754AF6AA46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c01a4e01564c57dc9039f50d41534000cadb4aa6","datavalue":{"value":{"entity-type":"item","numeric-id":1074337,"id":"Q1074337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bec57fab37d3c5d2c8413554e06b52901d07930","datavalue":{"value":{"amount":"+0.8264037","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":"Q1101243$CB94996E-1C58-4724-9F4E-584B600CA257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9490aac330bd8187f56b189fb4a851e577b60e7a","datavalue":{"value":{"entity-type":"item","numeric-id":1854497,"id":"Q1854497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99da94f4e1d9064c89437e99b64d39249461298c","datavalue":{"value":{"amount":"+0.8201201","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":"Q1101243$928A81BE-D2D9-4894-B18C-F7DC7DF38B42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47d08cc44ffeea241be1d804c05939abb9a2c76c","datavalue":{"value":{"entity-type":"item","numeric-id":3571252,"id":"Q3571252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ff5a7ac877b19a0c0ff3901cee9e9ba50072698","datavalue":{"value":{"amount":"+0.81848115","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":"Q1101243$63C5BA62-676A-40FA-9B98-7C8ACA0CA5DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"275043e7e8c4e5297664f978b9aa57e55ead1d08","datavalue":{"value":{"entity-type":"item","numeric-id":3781732,"id":"Q3781732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24cdf172bb1bae5451e7ff062162ecd14eaf7641","datavalue":{"value":{"amount":"+0.81757665","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":"Q1101243$B2D0D3EC-8A61-45E8-B43E-CDD8853EDECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c905b506fd7d67b711b1880bd53ea1b2b99b006","datavalue":{"value":{"entity-type":"item","numeric-id":6134990,"id":"Q6134990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfbe06c41bd5e87b9fc8991f75867dbd2b813add","datavalue":{"value":{"amount":"+0.814846","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":"Q1101243$6D394722-2E3C-4DF6-B196-63400FF1025B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af0a3bf9bdd0f7ea5fe705aa2b46eefc4aba3fb6","datavalue":{"value":{"entity-type":"item","numeric-id":3034850,"id":"Q3034850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa07fa887037e80241bbfea3fc00c4f0fae8119d","datavalue":{"value":{"amount":"+0.81451297","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":"Q1101243$8ABE828F-C336-4A32-9515-2DF62318F81F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b09c6a971b6451ef202d48aa08df2a5aabea6c5","datavalue":{"value":{"entity-type":"item","numeric-id":3709920,"id":"Q3709920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f419172949d534e2b815ce54aa5b7988b651216","datavalue":{"value":{"amount":"+0.81438994","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":"Q1101243$8B4BE63E-ECD7-4F20-8F47-8D53EFAD88BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Errata to ``75 problems for testing automatic theorem provers''","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Errata_to_%60%6075_problems_for_testing_automatic_theorem_provers%27%27"}}}}}