{"entities":{"Q4822149":{"pageid":6851729,"ns":120,"title":"Item:Q4822149","lastrevid":74937804,"modified":"2026-04-15T01:09:22Z","type":"item","id":"Q4822149","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2109539"}},"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":"Q4822149$4736475A-CB77-4648-8803-CB3457B84735","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1b047a5cfefb8521b83c2a541175cfdf0792c9d1","datavalue":{"value":"1061.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4822149$7CCC6E0A-8192-495E-8523-D4A8279C86D4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf46b424f34bc75ff7efa1123c3981a48794242a","datavalue":{"value":{"entity-type":"item","numeric-id":189427,"id":"Q189427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4822149$2964BD80-2A29-4644-AA60-290D5077311A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a1fc9660edc8b3cb7297987537c2c9c6ca4e5fa3","datavalue":{"value":{"time":"+2004-10-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4822149$0E03E19A-E257-4250-84C6-404B6EC9BE41","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4822149$B0CBE23E-0052-4852-A88E-E0FF42EA2615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4822149$AFDE2185-CD7C-4F94-BBEF-E8B28A83A74D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4822149$B39D87FE-4FB4-48E8-81D6-36ED49EAE068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4822149$0B7D0552-CC55-4B89-8757-88B84903A53E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5c21d57ab0c589e688e10128182c70776e56cc11","datavalue":{"value":"2109539","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4822149$7918A7EA-BC02-4A37-9450-63FD2535878E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b838261c78c4ae7442badafeb6cc147e9d09de5","datavalue":{"value":"many-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4822149$0B5119FE-0FE5-453F-A7E1-268CA07F8AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b598d397dd76de4d9819e8c38a6ffdd10ea58456","datavalue":{"value":"equality determinant","type":"string"},"datatype":"string"},"type":"statement","id":"Q4822149$D34ADD10-28EC-47A0-B3F0-0C2054CB9E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4822149$44D63420-DF33-45D2-B9B4-FD0A5B6BC205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4822149$BEF5976B-9CB4-4558-98F6-D78F8D69CE82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec281b5f1d997842b0ce9e98282ccd39bc96d3","datavalue":{"value":"algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4822149$BB1E5A51-2AAE-4FED-A0A0-170BF24379B6","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":"Q4822149$495C2329-32E3-42FA-8B27-52FE424B83A7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a51c65abf01061d4fae5f1012b8aa2f430285e5","datavalue":{"value":{"entity-type":"item","numeric-id":1931344,"id":"Q1931344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d125c02ef731a6cb8711946b0fe9767fa5bbc4e1","datavalue":{"value":{"amount":"+0.8097540736198425","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":"Q4822149$F2420259-58DD-4FBC-853C-D3B62C936E4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b05d18c6325ebb1828de43f9776f16ed12645a3","datavalue":{"value":{"entity-type":"item","numeric-id":2810128,"id":"Q2810128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe9e6a54972167ce8de9377ab6c29d32bd591b31","datavalue":{"value":{"amount":"+0.7834281325340271","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":"Q4822149$66FC1145-1EF8-4FB7-B57B-E6E6C3D68EDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e9852b6076c444d5064bb46d63ab13495875d23","datavalue":{"value":{"entity-type":"item","numeric-id":3147361,"id":"Q3147361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3063531910054550ec0e582e0029ef205bfbcb91","datavalue":{"value":{"amount":"+0.7740925550460815","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":"Q4822149$6F27FC24-C381-4629-8F2E-155A59E4905C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54cfa520369bdc61cc16a23a4dcecb6e807fddbd","datavalue":{"value":{"entity-type":"item","numeric-id":5441551,"id":"Q5441551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b0131568ea9a29051f70c3d2551c5dc243d6802","datavalue":{"value":{"amount":"+0.7657073736190796","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":"Q4822149$40A98579-B485-4335-A2CC-D0D9DE83AC88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d884fad1be1d006bc9315d659f9d84f8d407e15","datavalue":{"value":{"entity-type":"item","numeric-id":2936239,"id":"Q2936239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4909c82bdd104826cc42a80bdee4e8287945060a","datavalue":{"value":{"amount":"+0.7644249796867371","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":"Q4822149$8929041C-D6E8-4CB8-8D95-18E95218ECD4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Scientific article; zbMATH DE number 2109539","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Scientific_article;_zbMATH_DE_number_2109539"}}}}}