{"entities":{"Q3855172":{"pageid":5885077,"ns":120,"title":"Item:Q3855172","lastrevid":54530630,"modified":"2026-01-28T01:39:46Z","type":"item","id":"Q3855172","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3655929"}},"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":"Q3855172$95889162-6084-4EB0-9E0F-B789B701A6BA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cfabe830f3aa56d52127db23999ca3efc427862c","datavalue":{"value":"0422.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3855172$2C9260E6-17E6-4163-9089-BBF008128CFB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a49472451190faf858f564fafd4bcba399999753","datavalue":{"value":{"time":"+1977-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":"Q3855172$A60AF044-BB08-46C1-9C73-D7FD55129872","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e914ad4198919746f7f43e5298d5baf07e389c97","datavalue":{"value":"03F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3855172$D897FC53-C525-4E02-B44F-06B7AA437D21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3855172$7F92AC23-219B-49F4-8012-19ADFE1A8198","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f2ac272a1d8555de114988b207f027a49c539337","datavalue":{"value":"3655929","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3855172$A89B1AE2-A15B-48C2-8951-A24AB453AE08","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdeb95310fb8edbab8d0fd7a40959d2db5e84caf","datavalue":{"value":"theory of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3855172$8DA2CDB0-E0CB-4B90-8EFE-B7CF795170FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3855172$101EAB17-9138-44C2-BAB4-E579908D9717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6de6bdab8f165d1776970d79a317deefa641c00","datavalue":{"value":"phenomenology of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3855172$F053FAB6-4946-48DD-94DB-6B6207A0135A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c85887f6a64e74193afb2c1c63338210a0a2833","datavalue":{"value":"explicit definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3855172$B684FF1F-6775-4AD1-B790-B355D07197E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ee539f3c66b5148353f42975573a39b50c5340f","datavalue":{"value":"complexity of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3855172$805E261D-4A0C-40E5-8664-8FF65FF4A715","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab34ba425bc9591434354330de0028b3a960e2ed","datavalue":{"value":{"entity-type":"item","numeric-id":1238802,"id":"Q1238802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3855172$66E5F316-0DF7-45CC-88FA-FEB1B9067958","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":"Q3855172$C912B341-67BC-4273-8F07-23416D9DC3E4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3855172","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3855172"}}}}}