{"entities":{"Q4583744":{"pageid":6613329,"ns":120,"title":"Item:Q4583744","lastrevid":53191088,"modified":"2026-01-24T10:29:12Z","type":"item","id":"Q4583744","labels":{"en":{"language":"en","value":"Studying sequent systems via non-deterministic multiple-valued matrices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6930420"}},"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":"Q4583744$78D06819-134D-4580-AD90-7BC6DC1E70E1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"66d694734f62049adf45351baa6f304c86edd297","datavalue":{"value":"1393.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583744$D55365B0-3A25-4563-9F65-03BFD3945CBC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23fee96c298cf311331c13562efa1577022e6237","datavalue":{"value":{"entity-type":"item","numeric-id":1677039,"id":"Q1677039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583744$17DA0629-CB86-401F-BE21-EEFB859394E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7a86a6aed7188bb3ff3424d78e3001f3e02dd61","datavalue":{"value":{"time":"+2018-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4583744$ACF9F544-F27C-47D1-85C8-DBF890E4FEE7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c83d767e62d110b5202f75220f25110d9861452b","datavalue":{"value":"http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-21-number-5-6-2013/mvlsc-21-5-6-p-575-595/","type":"string"},"datatype":"url"},"type":"statement","id":"Q4583744$1DC651C1-09E6-4B89-B2AC-FED3DFC4A79B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583744$2E23458D-AA65-4FC3-9100-E13A57609723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583744$9185B135-6D0D-4D54-9C01-9EF48F7E80B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583744$22AFCE42-6555-4B6D-BA5B-29C1F18AACAA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e7a605cba5d201866e5aa2327e47fc68f21af32","datavalue":{"value":"6930420","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583744$8878F9D1-376E-472E-B097-E5C0EDF2CEDD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583744$B2E2BE71-7EC6-483F-8684-F51D0C69DFA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5811ee01be7b6090e46931f12c7b72244d4806da","datavalue":{"value":"sequent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583744$F534A471-9239-42E1-A967-9727A0F0B981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583744$B8F39F0F-82A8-49AB-93E2-B281F80DE844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4e37660d35d4ab82a42a0de5df28075f05a3f73","datavalue":{"value":"semantic proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583744$DDB142E4-EB34-4FDB-851B-4236278EC7D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"496b9973e3b06473381d8df2748e6ea2128b03fb","datavalue":{"value":"non-deterministic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583744$8A633D9B-B646-468B-8BA4-E0A899464956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ef70beaae1d548d6d32bb08ac016112f60132c8","datavalue":{"value":"multiple-valued logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4583744$083609B3-753B-4301-A7E7-DA27E54F5AD5","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":"Q4583744$F0603F1A-72BF-42AD-8F6C-847CE33B4BDE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2261462d6a6417a8558f399e5f3e5e7b8a3bcb5a","datavalue":{"value":{"entity-type":"item","numeric-id":5703736,"id":"Q5703736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a5d6916da7044eed6407600ef3a4fe2a2629c28","datavalue":{"value":{"amount":"+0.7844948172569275","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":"Q4583744$E0544410-80F6-4929-A386-F00781C6FBCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f855e2ebbbd8003dd6356d9fa897a9a6bc662010","datavalue":{"value":{"entity-type":"item","numeric-id":3025337,"id":"Q3025337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4b77b92073e0c4353b0a1ec633bff91c4c1a951","datavalue":{"value":{"amount":"+0.7768200635910034","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":"Q4583744$DB955988-9EDD-4CA4-A4C5-D871DC853CE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11de348693e72ee51cfb6aa2e95b862e239e3f00","datavalue":{"value":{"entity-type":"item","numeric-id":3007244,"id":"Q3007244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"467e46cb916d0a791730ebc6317995adf5512fe9","datavalue":{"value":{"amount":"+0.7748156785964966","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":"Q4583744$E2C8283F-B178-4BE2-B89B-36112F6CEFF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"827bd3ad20f35ba7a16e52d1924b4f856da1f871","datavalue":{"value":{"entity-type":"item","numeric-id":5300580,"id":"Q5300580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db2c1ac9183e28ffc37b048678e534ad3fa95f84","datavalue":{"value":{"amount":"+0.7563503980636597","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":"Q4583744$A6A41A37-2E30-4F05-A99D-80340779FE39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ff4104fa0d0150e1ad5dab26a5a571c447cea0d","datavalue":{"value":{"entity-type":"item","numeric-id":3605518,"id":"Q3605518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be525159e1705ecae81a9de864ea7956df6c5ebf","datavalue":{"value":{"amount":"+0.7481276392936707","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":"Q4583744$B340A661-E80D-4616-9D78-8D6C19C0C353","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4583744","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4583744"}}}}}