{"entities":{"Q5210814":{"pageid":7240385,"ns":120,"title":"Item:Q5210814","lastrevid":53639444,"modified":"2026-01-25T11:42:33Z","type":"item","id":"Q5210814","labels":{"en":{"language":"en","value":"\\textit{Symlog}. Automated advice in Fitch-style proof construction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7154597"}},"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":"Q5210814$9F0C7B5E-E1F0-409F-9FBB-8646959D2E3F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"26861458b60ed9465fcf86f5f9960165fe062e99","datavalue":{"value":{"text":"Symlog automated advice in Fitch-style proof construction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5210814$B4A1D6C7-35F0-4EAD-A158-EF2B89920F5A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"71b2978593bb88a9898b7e23215708142d2ffef8","datavalue":{"value":"1433.97005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210814$4202C653-9757-4936-941C-07A4A063B641","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2ccb0fcecda1a603adbbcb06d24323bf4b864fb9","datavalue":{"value":"10.1007/3-540-58156-1_64","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210814$11600F19-2074-44D4-B474-89CD76FB54E7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0126ebd6a520e4fbad798b2202fe501cb331aff4","datavalue":{"value":{"entity-type":"item","numeric-id":1577336,"id":"Q1577336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210814$71431788-56E9-4146-9182-35C2C9AF4B5B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5ce55bffd503afc59f0668cb8e4536460b24d029","datavalue":{"value":{"entity-type":"item","numeric-id":5210757,"id":"Q5210757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210814$3CAFC80C-94D6-45F5-9B56-96DC9D1E5B99","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a33e9289a41a440ea82601c0f5c7fc7756e3797","datavalue":{"value":{"time":"+2020-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5210814$1F6EFC38-F3B5-41F1-9B61-B9E7D8B7052F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"eab3c337a226628edabe1bc42d3a4bc95587014f","datavalue":{"value":"97U50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210814$27F3FACB-8F90-425F-98A4-189FFA1DB5A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210814$FA9EB660-1B55-4D26-A853-654FB2CBCE2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cebe8d4122be7614b406d415cd75649f85958d8c","datavalue":{"value":"97E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210814$4FCA9938-19A7-42A4-BFB4-8A21AD723668","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f79e65aab6d60e7baf4e887b224e7ba1ac57ab9","datavalue":{"value":"7154597","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210814$C1935D70-A399-46E8-B640-FF1D82D4026F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"22d8aa51f185209aaeb9373dc9060da4fe2fb417","datavalue":{"value":{"entity-type":"item","numeric-id":14472,"id":"Q14472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210814$64323BB4-9327-46C6-BFB1-B3DC0CFDB4A7","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":"Q5210814$9E9318E2-4764-4214-AF34-E4BED3AA1626","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"95794153c1f4f04441c1fbc22878812e5e851c31","datavalue":{"value":"https://doi.org/10.1007/3-540-58156-1_64","type":"string"},"datatype":"url"},"type":"statement","id":"Q5210814$82309E2E-9606-47DF-993E-C4DB2ED7AA41","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"13c7c33f749d4135cad37e711b9daf68c1487b28","datavalue":{"value":"W1719594331","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5210814$D0939B26-7437-475E-8A7C-D70A8B3586C8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f660261386a269c5c6d007e1774c790f4ddf72ec","datavalue":{"value":{"entity-type":"item","numeric-id":5815602,"id":"Q5815602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210814$10655DF1-7BC1-4E6B-A2E8-7412586F61A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40db5472baffaceeda3322c9df730087f166f603","datavalue":{"value":{"entity-type":"item","numeric-id":3336730,"id":"Q3336730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5210814$924DC2AA-4B1A-43D7-AB92-ACBA82722501","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"faf01002aa0f4b572e110107e03d32d71f0dcf46","datavalue":{"value":{"entity-type":"item","numeric-id":1577337,"id":"Q1577337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"213dbb683081e2efecdf62a3a1bb98607001c134","datavalue":{"value":{"amount":"+0.8860248327255249","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":"Q5210814$B82C6C97-3BD3-44B3-8E5D-A350CE92300F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb5b9cb0856d127c2a916c295ebc1e9c91730609","datavalue":{"value":{"entity-type":"item","numeric-id":3804241,"id":"Q3804241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7d82cf0a3bdb998af95faad26f9816350f2b3eb","datavalue":{"value":{"amount":"+0.7526475191116333","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":"Q5210814$B0715155-08A6-4738-B663-97A94E9E25D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7079c30424d27b7f8c1f7e218dc3fe286210acd9","datavalue":{"value":{"entity-type":"item","numeric-id":5427804,"id":"Q5427804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd970904593e7ee463c5da604916fb65b86e2df2","datavalue":{"value":{"amount":"+0.7472286820411682","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":"Q5210814$1538E01F-5B59-4BEC-A8A2-814CE5C01A6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3d791142e1e65a80dacca3a17722b4ad0e5718b","datavalue":{"value":{"entity-type":"item","numeric-id":3696551,"id":"Q3696551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32a18951f2df60782abbb6713758d808d4624682","datavalue":{"value":{"amount":"+0.7238452434539795","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":"Q5210814$05C23F62-C9EF-44CE-80F0-D524031D71B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f62d3c74f1452c00e4d697b29b4b03afa7c01b35","datavalue":{"value":{"entity-type":"item","numeric-id":865629,"id":"Q865629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f24939b68edeb94b769efc22cf47b3ca092c3ec","datavalue":{"value":{"amount":"+0.7205226421356201","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":"Q5210814$28895618-93DA-4881-8D10-5E840B58E588","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5210814","badges":[]}}}}}