{"entities":{"Q4364521":{"pageid":6394120,"ns":120,"title":"Item:Q4364521","lastrevid":46520256,"modified":"2025-12-24T23:16:50Z","type":"item","id":"Q4364521","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1088206"}},"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":"Q4364521$330FD254-E639-4D3F-906F-7CA924297BFE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9323ffe907ca6fb2e50f72a229298be7a9e4d6d0","datavalue":{"value":"0884.03054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4364521$39E981D3-E55E-45AB-9A75-18D3A42B15E8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"726d6d17ffd7097481aaa7acac69959461b65139","datavalue":{"value":{"entity-type":"item","numeric-id":587965,"id":"Q587965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4364521$7A605210-A58A-49BC-B578-FEED46A7623C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"642c03e106b7580fbefdce7150af6960573fd3b8","datavalue":{"value":{"time":"+1997-11-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4364521$BBEA8215-8FCF-43BA-9379-32121C009A6D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4364521$A3E4A144-7CA6-4169-9B26-53A24278FD8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4364521$3E76180F-96A5-444C-BE01-EC438DFA2032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4364521$85B71A6B-659D-46BD-A50B-E0F8626834FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4364521$BBFE4F04-E8BF-46C1-8CA5-22A5C7005337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4364521$6A02748B-CE90-4DF2-9F96-E22BE91EDBCF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c2430ee523a2a285f398bf100361146030353893","datavalue":{"value":"1088206","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4364521$7300E3DD-EA99-4209-AC08-70B1BF78016B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4149a8f1669aeaa044f5642a62d17f86820331be","datavalue":{"value":"fragment of set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364521$13522235-5B74-48CD-9B0C-5B343E3996BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf85b75efa9d763358c9dd44ecd11e63c16d9be7","datavalue":{"value":"extension of Kripke-Platek set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364521$772B5EE1-F0F4-485B-85B6-1925A3732EF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc7069f8de108cfb25cbe2a7dafa78f6721b42bd","datavalue":{"value":"Martin-L\u00f6f's Type Theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364521$BF5D20CF-CB97-40AD-B011-5BB6FB00B788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364521$6B953E54-F6E5-4829-81C8-D906B22FAEB8","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":"Q4364521$B9E0E14E-AEDA-4CAA-BCBA-1BB9D23A7927","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b1e3fef7a91f717d982de5af60bbc76f7514a80","datavalue":{"value":{"entity-type":"item","numeric-id":4944846,"id":"Q4944846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a4a589b3348b5cd4c6448790218ea33a8cf3a36","datavalue":{"value":{"amount":"+0.7517325282096863","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":"Q4364521$37CFBCAA-8324-47DA-9665-9016F95D5579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bd2a7c5ae41bbaf82e6faeb8738632585b8325c","datavalue":{"value":{"entity-type":"item","numeric-id":2176677,"id":"Q2176677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d087c05f3017426585bb1e420856b129df39c35a","datavalue":{"value":{"amount":"+0.7340553402900696","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":"Q4364521$354BD221-D495-48EC-BC4D-E6C914C5016D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6e3531ca5baa0e71d970e1f7742f2d4f1bea84d","datavalue":{"value":{"entity-type":"item","numeric-id":2500469,"id":"Q2500469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67b114bb2b6f0c37796c78cc97e939096bf1e0ab","datavalue":{"value":{"amount":"+0.7339436411857605","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":"Q4364521$29282ADA-5C88-45BB-8E43-006AC4E76A2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0dae42f2f5ebbad37f24bb65e6b70e78930432c","datavalue":{"value":{"entity-type":"item","numeric-id":4844507,"id":"Q4844507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b60e4064e88db9463db50fad8b09b629aa08f08","datavalue":{"value":{"amount":"+0.7309281229972839","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":"Q4364521$CAFDF632-32E6-4B22-9958-3AD566BC6901","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4364521","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4364521"}}}}}