{"entities":{"Q3789524":{"pageid":5819430,"ns":120,"title":"Item:Q3789524","lastrevid":52755110,"modified":"2026-01-23T10:43:20Z","type":"item","id":"Q3789524","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4053565"}},"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":"Q3789524$23A3A93B-A37B-49B8-982E-99A36A41376B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3491355fb09dea4feb5d45732d6d4ae7211ae124","datavalue":{"value":"0646.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3789524$19353E49-9F75-494B-91A4-90B0284403A7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d8ab48b348d6418a0a3aa65e9a78d23ab1fe4f21","datavalue":{"value":{"entity-type":"item","numeric-id":1242668,"id":"Q1242668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3789524$9D09ABD9-8046-454F-A612-6DF665E26B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e2f1fd6f2929b6653b631272c22fa4df2c93bf4","datavalue":{"value":{"entity-type":"item","numeric-id":1140435,"id":"Q1140435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3789524$F6EA24C2-E0BB-45E0-B817-B5173ABE0499","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":"Q3789524$F189DD84-A089-43B8-B95D-5169C528E51B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3789524$4CEA4FA9-A9DD-4401-AE0C-26393366F6E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3789524$CE544B1D-4B59-4F44-B381-18A295B84C63","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7fb8c2101c7cd34b22f4f6bdc06672b7531ff801","datavalue":{"value":"4053565","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3789524$E55B4588-D81A-48FE-ADBB-8771D19FD05A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a82a5e5d1231ef96f2fed8b52e95c45d0f257591","datavalue":{"value":"FOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q3789524$8804C51D-5914-4579-8ED8-9D608AD25CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aae9b68b0d329a97e0a56bfa30b34bc7dbd9a9bb","datavalue":{"value":"First Order Logic proof checker","type":"string"},"datatype":"string"},"type":"statement","id":"Q3789524$D321408B-72E1-47C4-B59A-6656083529FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df58c5aa31da916823f1fd645a2ebf5afa23eadb","datavalue":{"value":"many sorted logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3789524$8053589F-82A2-4CA3-9736-BC03F0CE1941","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":"Q3789524$C15E4489-E2FA-41B6-BADE-96F0254D9D95","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a39a2cb9e8db094cb4da26da228b833592e4016","datavalue":{"value":{"entity-type":"item","numeric-id":796289,"id":"Q796289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"204310eb6737edd77b81bcb2cca36257bd7f7dfb","datavalue":{"value":{"amount":"+0.7365385293960571","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":"Q3789524$D3768880-CFAE-41C7-BB49-7DFB460D99CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c46fe5c150997d387043c16332b2de5bbe073a23","datavalue":{"value":{"entity-type":"item","numeric-id":1821563,"id":"Q1821563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d317aba28638c305340483bd3a57495d4f8b44ae","datavalue":{"value":{"amount":"+0.7248046398162842","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":"Q3789524$D7A10AAF-DCF7-48FF-9EEC-082A10F14BA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbf175ca02fbfe4698f3e33445ec7cdc416b1c24","datavalue":{"value":{"entity-type":"item","numeric-id":5477663,"id":"Q5477663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"912c46ca3fcb8f39c3877d9b1b207f312b0ef7e3","datavalue":{"value":{"amount":"+0.7233158946037292","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":"Q3789524$2E173628-A7A9-4A01-82F7-592F575A0CA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12e48e9e05eb2aa140fc917005762fc00b6691d0","datavalue":{"value":{"entity-type":"item","numeric-id":4645222,"id":"Q4645222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"907bad37d2ebea621b73add474644e8fe5286aff","datavalue":{"value":{"amount":"+0.7183742523193359","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":"Q3789524$278AC49F-18BE-4E6D-B18C-A93969E59268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83e3e9cb880ef7c410d6bf49ff1239cf63227c24","datavalue":{"value":{"entity-type":"item","numeric-id":2785674,"id":"Q2785674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"829da2fc05fc60fd0eff554ef6df1622e73b1fdb","datavalue":{"value":{"amount":"+0.7134126424789429","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":"Q3789524$F7A01E0F-2810-450B-86C2-EAE6A3C34FDA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3789524","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3789524"}}}}}