{"entities":{"Q1919983":{"pageid":1930725,"ns":120,"title":"Item:Q1919983","lastrevid":47403535,"modified":"2026-01-01T15:48:18Z","type":"item","id":"Q1919983","labels":{"en":{"language":"en","value":"A linear conservative extension of Zermelo-Fraenkel set theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 910391"}},"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":"Q1919983$D99EA451-2210-41D2-8108-76E2659BEA6E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"192277bf421b8826b5aa953a7ec2fecd2bdf3aa4","datavalue":{"value":{"text":"A linear conservative extension of Zermelo-Fraenkel set theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1919983$8334D8AF-F9A3-4ABD-8C03-7F5772C4CB2E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ccdfc831f29795ecf2a15419951c7b049d200a49","datavalue":{"value":"0851.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1919983$B22079DE-F3C0-4728-A933-787524109FAE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"526e5ca9f16fab53309dff828fe2e126d7dac972","datavalue":{"value":"10.1007/BF00372772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1919983$1EDA0139-765C-415C-BA9B-6DFC3FB3ACD8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8b3e92481db9db5cde50b697161a2a8a1a99356","datavalue":{"value":{"entity-type":"item","numeric-id":1919982,"id":"Q1919982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919983$1E50655E-8377-4B49-B2B2-F9178C0EAE2E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919983$BA7369C2-BCA8-4542-96CE-86743DBB6778","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6a8d1237d32ec5eadec6067ce7ffbf57e42f0929","datavalue":{"value":{"time":"+1996-11-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1919983$25F5AC2C-2EA4-44B6-A7E1-0DD6632237B8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1919983$1CF68681-A142-4560-BF4E-DC1FC86F9C85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1919983$9A1AA2BA-E515-422D-A50B-C57E89C240EF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ec9cd06d8f8fd46d2b19d328384079508e7848d","datavalue":{"value":"910391","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1919983$16CF9CF0-F87E-48A5-B5B3-E584A3FE697D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1919983$BB456A4E-3CD3-4889-98E2-9AB4F0C4EC62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe2ee98eaf298efe2cf4257b7458d6752884f8a1","datavalue":{"value":"set theory with unrestricted comprehension in full linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1919983$30D1BB1E-9B69-486C-B9FA-4B9E9B15C196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1919983$B666611E-E74D-471B-8B17-19727C0EC41C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fb883d98fbe07258387a651856dce7819cc4645","datavalue":{"value":"partial cut-elimination theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1919983$9EC331E6-6403-41C8-9EF7-2FB50733160C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ffbeda3dbd58689ab30e97cde49de65fb4d432b","datavalue":{"value":"subterm property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1919983$4E159C84-9B84-4E8B-959F-D51FCCCB31BC","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":"Q1919983$A3F6405F-E35D-467E-B8F5-4A0E20357E47","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"82c7ff17d186eeec961fee84f228f3f7d74176a9","datavalue":{"value":{"entity-type":"item","numeric-id":1106836,"id":"Q1106836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919983$C2101697-12F7-44D7-9F95-7F3AA7B724A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919983$A49890E7-1420-4BA3-91E1-4EECC7E72EF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c20b3efd28014f3e3743af53ab793f5500601551","datavalue":{"value":{"entity-type":"item","numeric-id":1193854,"id":"Q1193854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919983$BAF41F15-0139-48A5-8B22-8DE83B0943E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e5e39fd51b21cf59f307b998c87f9702120e063","datavalue":{"value":{"entity-type":"item","numeric-id":3832538,"id":"Q3832538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919983$26CC0E1A-BF33-43F9-9B2F-521294B515AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa53ea8e16479341853a4ba6a2e4c94fd6f74174","datavalue":{"value":{"entity-type":"item","numeric-id":3789529,"id":"Q3789529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919983$570DD8D2-7AD1-4B5C-9832-B83B31B1DF48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d54c4e543c0065d64d45130a19f43b779198cf4","datavalue":{"value":{"entity-type":"item","numeric-id":1208119,"id":"Q1208119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919983$14841882-A0B2-479D-86FD-768C1577EC52","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"21e1f4907ad5942c6685b75bf5459ff8a32a3154","datavalue":{"value":"https://doi.org/10.1007/bf00372772","type":"string"},"datatype":"url"},"type":"statement","id":"Q1919983$36435B47-DF34-42F2-A210-3ADADBBA77B3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"67c135178ae1c2223c870712ef641abca575369e","datavalue":{"value":"W2093657228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1919983$3A2BFFFA-B943-4E9C-96E1-7CF8C380EB3C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"069320dd895050fff31b1ccac07df74a745445f6","datavalue":{"value":{"entity-type":"item","numeric-id":2784789,"id":"Q2784789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da0b5d55cd56a5fc29848bb31080b88b048b1345","datavalue":{"value":{"amount":"+0.810927152633667","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":"Q1919983$88CBB7A4-EE6F-4B01-9C9F-D91E6378AED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"155ddd2dcdeef2517843a753f6ea8eba711d9dad","datavalue":{"value":{"entity-type":"item","numeric-id":3343963,"id":"Q3343963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"168f60998d3998b4447785116b4839f0c0a45538","datavalue":{"value":{"amount":"+0.7703889012336731","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":"Q1919983$CC99C7C7-3AD8-4086-BB32-22EADD846059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4e0e74574b043e8294c16982712efe5af07a209","datavalue":{"value":{"entity-type":"item","numeric-id":5897610,"id":"Q5897610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73d77e830b21fba52de5770fc62fad67207e6667","datavalue":{"value":{"amount":"+0.7529248595237732","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":"Q1919983$861383DC-DE6B-4203-AA1D-67772A5CEBCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cd8c183e44807767a8384413f7d97391a385900","datavalue":{"value":{"entity-type":"item","numeric-id":2705152,"id":"Q2705152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"529abb82147b4bbdfbb38fe3dddb2cedec9919c0","datavalue":{"value":{"amount":"+0.7483459711074829","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":"Q1919983$1F59739E-3F72-428D-8ABA-54D771336F06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b554ef460af5f433863514f1135c1a067618d64","datavalue":{"value":{"entity-type":"item","numeric-id":722147,"id":"Q722147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"529abb82147b4bbdfbb38fe3dddb2cedec9919c0","datavalue":{"value":{"amount":"+0.7483459711074829","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":"Q1919983$BF3427C1-2AF1-4D42-A0C9-19D7D06C3B8C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1919983","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1919983"}}}}}