{"entities":{"Q4524784":{"pageid":6554376,"ns":120,"title":"Item:Q4524784","lastrevid":47558968,"modified":"2026-01-02T02:05:26Z","type":"item","id":"Q4524784","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1552524"}},"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":"Q4524784$FC0B6F83-84D0-4B97-9D2F-43600338A267","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b841dcd9f444373675eada9aed45eb4e805d7e36","datavalue":{"value":"0977.68076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4524784$9DAFF9C1-B670-46DA-88E2-33BB6637E7ED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"63095d86c000f08026b5823fdf1f8a25bfef2e00","datavalue":{"value":{"entity-type":"item","numeric-id":167057,"id":"Q167057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4524784$4704366A-03E5-4A55-801D-671C7EDB539A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41eb43f669c6e9bd047f95552906672fa500745e","datavalue":{"value":{"entity-type":"item","numeric-id":1322771,"id":"Q1322771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4524784$7CC30C4F-2DF5-4685-A9D1-2EF74AFB017C","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":"Q4524784$A2A3AAC6-CDCA-4812-9D7B-DFD5A41B0853","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4524784$41F1B2B1-0AF1-4E0A-AE8A-E4330F23304C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4524784$89671DDE-6E93-4329-819D-9B125B02ABE2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6441eb754411399df701653ca9145b567c36523b","datavalue":{"value":"1552524","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4524784$E3DD6B10-EA08-4AD8-8F9C-A49340F26394","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d4b608d2ef334644d4aaa6f389c89f17cc37215","datavalue":{"value":"tableau calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4524784$BA6F71A9-3C2E-4713-935A-AB05803EF509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4524784$28BF3742-566C-46EA-9C13-B76FC9833682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4524784$88C421B8-E3E3-4DCA-B558-883C71A5A0BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4f9c21f19043db329f0f1aa7cac08ef35ff4c4e","datavalue":{"value":"restart model elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4524784$68F557CE-D7A4-449E-9600-A6A7FC135D7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"098925cca13caec604ae9347f1b8673ec619b16e","datavalue":{"value":"connection tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q4524784$B8446C33-519E-4596-8A07-9A02C077416E","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":"Q4524784$EBEDE2B6-344F-4641-8FE1-342AB03BCFB7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b8536a3e17f2a494be1ecf93d3a1e7c672768e8","datavalue":{"value":{"entity-type":"item","numeric-id":5235250,"id":"Q5235250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08fc21fa5dda6d529e7feac2392ec7e46c768938","datavalue":{"value":{"amount":"+0.8538867831230164","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":"Q4524784$6ECF8390-8193-4996-A175-71C93D2904FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae57a956c6cda21fdb0bde3151b70c32df997ed0","datavalue":{"value":{"entity-type":"item","numeric-id":4530468,"id":"Q4530468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe89d0631af1cb40dd4f44d2513bd1228ec6660e","datavalue":{"value":{"amount":"+0.7992070317268372","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":"Q4524784$04A488F6-51E6-45C6-8E76-081988AA936D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6775afbfbab38e695b755a444f34e4002f1cc655","datavalue":{"value":{"entity-type":"item","numeric-id":4783311,"id":"Q4783311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"501ecf6b1a9951ae7e91eee534a163acb760e38c","datavalue":{"value":{"amount":"+0.7965065240859985","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":"Q4524784$8E80054E-71AB-4F94-B4D2-BF0389208B08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"becdad8f4d8d4bf7a15188e3d77ec7307b95fc58","datavalue":{"value":{"entity-type":"item","numeric-id":4364517,"id":"Q4364517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffeb931c4c4cfda6f1c7ea9f10372944cd2e4fc2","datavalue":{"value":{"amount":"+0.7950080037117004","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":"Q4524784$3EFF186D-7C18-4AE6-87C9-66FD7139A0A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eae2b24f8f1c826f359d1e2fb850d2dcdcb7b869","datavalue":{"value":{"entity-type":"item","numeric-id":2996159,"id":"Q2996159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"733e90f8392a6c6595e4acf3a248f6ec0f8a61d0","datavalue":{"value":{"amount":"+0.7882707715034485","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":"Q4524784$7D3D2BA8-97A8-48B0-9FBC-0870FF442FD0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4524784","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4524784"}}}}}