{"entities":{"Q4207896":{"pageid":6237497,"ns":120,"title":"Item:Q4207896","lastrevid":49338820,"modified":"2026-01-07T00:01:17Z","type":"item","id":"Q4207896","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4128806"}},"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":"Q4207896$599CEC14-A0FF-4B2B-A7EB-C6CD342ED269","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2b85e3d520a780169bd2dc56db2dab5ce1628520","datavalue":{"value":"0689.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4207896$B4EC417D-E28E-48C5-AF4B-4F1031D9682B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"98156e494398a35b2d843b98a737abd4eb3af2cb","datavalue":{"value":{"entity-type":"item","numeric-id":494641,"id":"Q494641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4207896$64571F10-3BE8-4561-BE2E-1B85DE173E56","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":"Q4207896$7663E4BD-29C6-440F-BB38-DD7DD2FDD8A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4207896$21117136-AF82-4866-9F65-BA6EDB5BEFC5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"51d60fd2d1ab07f66ae7eb160bf5f20cfeb5d5b0","datavalue":{"value":"4128806","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4207896$56D1F254-8B42-40BA-92A4-D4D49577C68D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6b2394774747f377a5ba84345f9ee50cd643f3f","datavalue":{"value":"cut elimination theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4207896$E3B63136-EABF-4D8B-A695-583F74998587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c24b8f9e5f49ee9cc7730fc330731e00244bbebf","datavalue":{"value":"theory of types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4207896$D6CFF878-1E0D-44F5-BD16-15815B7FFA56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b30f207bb4de7539a915b52d9158c4913803d0ba","datavalue":{"value":"end pieces","type":"string"},"datatype":"string"},"type":"statement","id":"Q4207896$B4145AAA-D25D-4EDF-98DC-D2A06F177068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d851dc6dad0c21e96d2633170c6d7b269b86574","datavalue":{"value":"ordinal diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q4207896$3E1B5CDA-9A86-47DA-823F-0EF103ADFF50","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":"Q4207896$074AC5FA-5774-443E-817E-EFDAA8321198","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff4af6fa2aaaf9285536961c094e604d461cb4de","datavalue":{"value":{"entity-type":"item","numeric-id":3970572,"id":"Q3970572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05564651dae7b9fd2f53a43a3e4bb44566938b87","datavalue":{"value":{"amount":"+0.8504893779754639","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":"Q4207896$5FA2F199-C3AE-4220-905D-081B46912DF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"060c11824453d7d11b7734e7def710dc27b17879","datavalue":{"value":{"entity-type":"item","numeric-id":3455184,"id":"Q3455184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cfcf66809f7d845f7409f73d5724d5b87c85f2e","datavalue":{"value":{"amount":"+0.8468412756919861","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":"Q4207896$2E75F0F1-E532-4642-A286-B70E3C11344D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95c3422917e1dcda2e4ee6df0a1af28d2cec621b","datavalue":{"value":{"entity-type":"item","numeric-id":4877107,"id":"Q4877107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a870d13c2319e12d780557c0abf9955fcb755a90","datavalue":{"value":{"amount":"+0.7611919045448303","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":"Q4207896$BDCA15D8-F802-4FE1-828E-3AF55980AC3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a749c88e916ba664a0472496251827c9cd968ba2","datavalue":{"value":{"entity-type":"item","numeric-id":5084572,"id":"Q5084572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93ce6137d08251e04cdddb7a5faf1e12e19e4efd","datavalue":{"value":{"amount":"+0.761191725730896","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":"Q4207896$3A435DC4-2CD3-454C-BAFE-923E50F596C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b419f24277f2c2c36c621175f439653d84f33ae8","datavalue":{"value":{"entity-type":"item","numeric-id":3655015,"id":"Q3655015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de47633a660b327131b09ba2bbdd797c28fe60b4","datavalue":{"value":{"amount":"+0.75856614112854","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":"Q4207896$8182BFE0-0C35-48E5-B265-454632134696","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4207896","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4207896"}}}}}