{"entities":{"Q4524782":{"pageid":6554374,"ns":120,"title":"Item:Q4524782","lastrevid":41263238,"modified":"2025-04-26T05:24:56Z","type":"item","id":"Q4524782","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1552522"}},"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":"Q4524782$0B4D78C6-7B61-42FF-A954-87EB459C3055","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b5dc3c1c6def5c90da3e56724e39d68adb7aa348","datavalue":{"value":"0971.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4524782$7CA91003-7F74-46BD-A416-0C803190C7BB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"573cc3758191477e0c4b208110ac7ed93fa98f2b","datavalue":{"value":{"entity-type":"item","numeric-id":229746,"id":"Q229746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4524782$5729C476-8556-4A33-806D-B9976789F698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7743279316f8ce0cdbb2e6d0842ac12b618ecbfa","datavalue":{"value":{"entity-type":"item","numeric-id":679246,"id":"Q679246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4524782$8398D83A-353A-4F9C-8BC7-BB2C7ECDA59A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74394fc69b270c1f3d13d751a39f3eeda7e280c5","datavalue":{"value":{"time":"+2001-07-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4524782$E0A4194B-9ECC-4A4B-985C-33B955026C9D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4524782$77C4F3E1-A4E3-4CE6-B4E2-5255C5987AD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4524782$A721D8D5-2632-41CC-87C2-D5AD593EDA60","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e2a8c4ba74295870806dcc40fd3ca3f4d95ede39","datavalue":{"value":"1552522","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4524782$16799087-DBEC-40D1-B63C-C7792B9E92A5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4524782$7E62FC39-4790-4809-93AB-982B3A0E746C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e269374e5a98e44a2949e7e46023a94d0f33df27","datavalue":{"value":"analytic tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q4524782$BA96052B-0F89-4D32-AD06-7A0FA9F87E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdd81e55ec45e7f09164ea4573373d2e004f9dd1","datavalue":{"value":"non-clausal tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q4524782$E1543CCC-5AF5-4CF5-A817-1C7CA424F841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20a062630d1bb5cf9aa5d669cd08fbd3eee7671","datavalue":{"value":"automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4524782$B4C83D42-D343-463B-8FAC-AE156B385A8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d221c6c407ca95146183c04cfcdb433018f3ee6","datavalue":{"value":"tableaux for full first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4524782$1BDAC43E-3CD0-4139-99E0-D1F5171D3B09","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":"Q4524782$181E0C4F-3174-4C64-810C-383CC4AC8F62","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4622a436a67ce00dcbcb619d760f799b47b303f","datavalue":{"value":{"entity-type":"item","numeric-id":3510444,"id":"Q3510444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b75730276980b9896f412c58ca5cbeea5bff4a6a","datavalue":{"value":{"amount":"+0.91582716","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":"Q4524782$7205E613-6271-43F8-B5A7-9DADF63F9C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa418dc352ccf1b2d9d4e42d7624dd06729ae9a0","datavalue":{"value":{"entity-type":"item","numeric-id":4305338,"id":"Q4305338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87672cb209e01ca3a40d480e183c6a2158abc36a","datavalue":{"value":{"amount":"+0.9041884","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":"Q4524782$DB66EDC9-DE46-426E-9D74-F7862CAFFE59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6731c47dbf1c391e70bd87f294f63921f8bfd787","datavalue":{"value":{"entity-type":"item","numeric-id":2751354,"id":"Q2751354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3570d37518a5eb4e56d24caff03011ad3ca2b47d","datavalue":{"value":{"amount":"+0.8836583","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":"Q4524782$E2267A98-9ACE-437D-80DD-6BC3E3AC0CD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08680def47457321ceda7f1220ccfebb6a1a62f5","datavalue":{"value":{"entity-type":"item","numeric-id":3410672,"id":"Q3410672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d96419c125ed23ac9a97565826b501c5050a238f","datavalue":{"value":{"amount":"+0.8805458","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":"Q4524782$E20BA1DE-7589-466D-BC3E-4CB16C6ABE38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90da4d6e7f8c4b5d2db00c0f177c40e4486aef67","datavalue":{"value":{"entity-type":"item","numeric-id":5175990,"id":"Q5175990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d96419c125ed23ac9a97565826b501c5050a238f","datavalue":{"value":{"amount":"+0.8805458","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":"Q4524782$C3330327-AD23-4A04-894A-9B9E327F2377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"634958e25f28279b48630d9501526774032a17ec","datavalue":{"value":{"entity-type":"item","numeric-id":3746935,"id":"Q3746935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ed005cfd95354b98bf7b891a39beaeb856d72b5","datavalue":{"value":{"amount":"+0.87877285","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":"Q4524782$71EB8B31-ED5E-4797-98C6-4D37671FE682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0366d1d0f096f2340ba14418bbea46a01c98290a","datavalue":{"value":{"entity-type":"item","numeric-id":5957079,"id":"Q5957079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6209f6198c5bd6737ecae724bbd70652c832d7eb","datavalue":{"value":{"amount":"+0.874372","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":"Q4524782$21A5A7D6-D4F7-40B1-94F7-787557582304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c18c18487a2a822e77b5d601018a132772b546c5","datavalue":{"value":{"entity-type":"item","numeric-id":5692795,"id":"Q5692795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f3ee8732c02559021725780bc1063496e9a3cf7","datavalue":{"value":{"amount":"+0.8447058","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":"Q4524782$4CDC6272-106A-49BC-B669-482B121CE081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b89a42564f48ee3e8cb491ae9aed5eea7ee1624","datavalue":{"value":{"entity-type":"item","numeric-id":926428,"id":"Q926428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74b6ab16b7bd346337ab4272759adffd6e6762b2","datavalue":{"value":{"amount":"+0.8419282","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":"Q4524782$60995529-5792-463E-9393-B5CD63C0BF8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4a162161b9401b27d45e2efc98386982a972a45","datavalue":{"value":{"entity-type":"item","numeric-id":121368,"id":"Q121368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d35073b948e3bb46f106facb2c4745f433b79d1","datavalue":{"value":{"amount":"+0.84172416","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":"Q4524782$F17EC085-971D-4CB1-8937-D75FA7DA6905","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4524782","badges":[]}}}}}