{"entities":{"Q4318615":{"pageid":6348216,"ns":120,"title":"Item:Q4318615","lastrevid":47289271,"modified":"2026-01-01T06:11:30Z","type":"item","id":"Q4318615","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 708485"}},"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":"Q4318615$7E468D7E-5EF5-477C-8208-5CAC46A46D06","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cca4bbe50ebe918400546725dd5235786a298cc7","datavalue":{"value":"0834.68103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4318615$02112F3C-724B-472A-868C-691B5BBD601D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6aa623dc34bd9c7dd124eddda9d63f590eb7cadc","datavalue":{"value":{"entity-type":"item","numeric-id":3051468,"id":"Q3051468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4318615$6288348D-94DA-4061-9DCA-D5FBF9C0C418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5d4261f09297f6534f26960f603bf96ebc51aa2","datavalue":{"value":{"entity-type":"item","numeric-id":1092654,"id":"Q1092654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4318615$04146426-A23C-49BD-96BE-E8255F1485A1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a8ab64d0488bf8097fa6605cadee4d59b47e319","datavalue":{"value":{"time":"+1995-01-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4318615$BEC3A26A-F1CD-4024-980F-CE0332C5BD93","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4318615$687D8FDB-C157-4BF4-859C-F25985FC1CD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"81ba1a045a2037276aea9aeb7e223aab3c4744ec","datavalue":{"value":"68T01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4318615$9EDF7C10-3480-46F8-B5EC-DC2801C02BA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4318615$1BD095A2-44DE-44C3-9964-00FCC1ED32F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4999e8f5c5d4342a55abb5c31139c322ffc4b19f","datavalue":{"value":"708485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4318615$F4C3D270-0401-4E44-9702-71B70F3D61AE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4318615$5C494414-539A-4E85-839D-383E002631B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c23389092b3e7567546230519cb84f1881ca5bc7","datavalue":{"value":"Gentzen's method","type":"string"},"datatype":"string"},"type":"statement","id":"Q4318615$92502ADE-8789-45E6-B8D6-74966702AC7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cb821bf754aa340a106c65c1ff238d64ccbe672","datavalue":{"value":"LOGLAN language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4318615$DBD1BF0C-9B76-4F90-9B5B-8ECAD982496A","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":"Q4318615$D84643F1-6DFE-4E76-A7EE-DC2D09FFB991","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21600ebf93e0786bbeca6c785e3c9bff573c8a62","datavalue":{"value":{"entity-type":"item","numeric-id":3743300,"id":"Q3743300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77a3fc5bc0c57a69a74e3a87ca9dc1676f216b56","datavalue":{"value":{"amount":"+0.817764937877655","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":"Q4318615$0A0BE688-8874-4BEC-AA11-F48BF2ACC161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d370192bbaebdd64f89013897ae67d132d2f82a","datavalue":{"value":{"entity-type":"item","numeric-id":3996619,"id":"Q3996619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6b856b9dad24fa37a271c2212bf46551985026a","datavalue":{"value":{"amount":"+0.7964418530464172","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":"Q4318615$CB9B343A-3F7A-4138-9AA1-6DD580A97A99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df4b0d16db5f218d4ee065f1f1897c47e139fa49","datavalue":{"value":{"entity-type":"item","numeric-id":3998281,"id":"Q3998281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd4b57e94848d84d546a83d8c73029abc6a5c462","datavalue":{"value":{"amount":"+0.793696403503418","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":"Q4318615$41D1B042-08FF-4DEA-A9F3-1BF39D950598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af85341fb3a22ba18faf1cdc9f498320571e9132","datavalue":{"value":{"entity-type":"item","numeric-id":4863622,"id":"Q4863622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd4b57e94848d84d546a83d8c73029abc6a5c462","datavalue":{"value":{"amount":"+0.793696403503418","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":"Q4318615$C88DDD9A-E8C2-4DCB-B390-FF284C8330A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b822606285ce070526363a622a7dc5d21e1e548","datavalue":{"value":{"entity-type":"item","numeric-id":4331757,"id":"Q4331757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e90a3d31a34a1d6e6f099733251ffce9cf2287dd","datavalue":{"value":{"amount":"+0.7932343482971191","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":"Q4318615$DAEA3AFD-A92B-4394-9A7D-2F4A3E7B15CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4318615","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4318615"}}}}}