{"entities":{"Q4449232":{"pageid":6478831,"ns":120,"title":"Item:Q4449232","lastrevid":48234448,"modified":"2026-01-04T01:37:00Z","type":"item","id":"Q4449232","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2038767"}},"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":"Q4449232$B4119740-1760-4D48-B96E-701D8F729CC1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e9ecc77591ed0c8251578d17703c265f8a3fe4ff","datavalue":{"value":"1039.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4449232$0BF88D24-AFF9-4EB4-8527-6AF1B68297CF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4895f1c2b2fa5f03866021d880ae705f028de523","datavalue":{"value":{"time":"+2004-02-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4449232$59266A44-56FC-4656-87ED-FF9F68F33B5D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8884491d0472801c78b6be8fc7408d5fcd36a32a","datavalue":{"value":"http://link.springer.de/link/service/series/0558/bibs/2719/27190956.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q4449232$14BE0BE3-7453-410D-BC90-31A647F1EA27","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4449232$E2210BCE-8CC1-4B8D-96CA-0BED93C8A119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4449232$8DA9DF2F-6DC2-4F3F-BB70-DE585FF8DB52","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d30cc9cd5d8499bd516ff2de497cd0ba2882ef8b","datavalue":{"value":"2038767","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4449232$0CA4173A-3E62-47E5-9C41-1CFEB840B7A7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"803071656ef49caf5ffffeffb35be0afbcb7ae7c","datavalue":{"value":"pure type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4449232$B37C53E0-5ACE-4F92-AA40-EC9EFD6BD4BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"404e591614190488419156400105486d83841bbf","datavalue":{"value":"sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q4449232$4A6AAFCB-FC05-4F58-9C7F-3C9EDD4AA9DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4449232$3233091A-F880-4BA6-81DB-78145505FB30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e90dcfe5b5949a750354f7c050fcfc70a382644","datavalue":{"value":"expansion postponement","type":"string"},"datatype":"string"},"type":"statement","id":"Q4449232$C4999C06-91DD-4BB9-8961-1A4D2C817CFC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4449232$5A137B28-2A90-42F7-A006-37DC72CBE30F","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":"Q4449232$62459656-F9E5-476F-89DF-A0A08744E6C6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af0883e379d10d28de7592d639b18e0f3696c856","datavalue":{"value":{"entity-type":"item","numeric-id":4236762,"id":"Q4236762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9ac6c40e5df9ffce282aea118e86fb31ca0aec1","datavalue":{"value":{"amount":"+0.8356028199195862","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":"Q4449232$E884B81D-89FB-400C-9F4D-EC83D1FA7D53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b97ad471e6172b61acd1f2b10b8e40a3cfe9a5bc","datavalue":{"value":{"entity-type":"item","numeric-id":3003307,"id":"Q3003307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b86f6df641e0abfc90410152abd49f5cae4a6023","datavalue":{"value":{"amount":"+0.8352579474449158","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":"Q4449232$9BA8836F-B19E-4ADE-A400-069832E06070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca32bfebc5ee8b344c13dade8a516a1005272067","datavalue":{"value":{"entity-type":"item","numeric-id":4924532,"id":"Q4924532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7940435c145b251a1300e580be42f903da14404","datavalue":{"value":{"amount":"+0.829669713973999","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":"Q4449232$EC4FC8F5-4DE1-4603-AD9A-A7A82ECCD4CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8a544c586305d31eb9f454821e4e1fcc838961b","datavalue":{"value":{"entity-type":"item","numeric-id":1375333,"id":"Q1375333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2758def911ec3b1bb845fbaeb2fd0790e01000eb","datavalue":{"value":{"amount":"+0.7931616306304932","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":"Q4449232$20E3466B-7762-48B0-B064-478629ECA960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dacb1efe57da7e4f0053849537554b81b452c4ab","datavalue":{"value":{"entity-type":"item","numeric-id":3079922,"id":"Q3079922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45fab58dd3c649995217d6a7c7193cb7bb298360","datavalue":{"value":{"amount":"+0.7865158319473267","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":"Q4449232$4EC0123B-E6AA-4285-8246-ECE75AB7A8C4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4449232","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4449232"}}}}}