{"entities":{"Q4883282":{"pageid":6912861,"ns":120,"title":"Item:Q4883282","lastrevid":29004363,"modified":"2024-03-05T16:50:26Z","type":"item","id":"Q4883282","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 895271"}},"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":"Q4883282$E868E8DC-0689-4E27-BA45-8791285C112E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aa597033057c451d7c92e084bb6982a405560b3e","datavalue":{"value":"0848.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4883282$F66A3E1B-A367-498A-B469-768778C41D3F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2bf00b2fa3a5538b0429f832c8bf0163860a958","datavalue":{"value":{"entity-type":"item","numeric-id":1275624,"id":"Q1275624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4883282$5D87AC45-88F6-4082-9FD3-01FAC18761D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f07b5b97e9021286534ec61e4c6a7a24654de93","datavalue":{"value":{"entity-type":"item","numeric-id":452346,"id":"Q452346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4883282$F6EBB5AB-F207-4E70-BA02-158657461DB0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"79a780aa2953ebf6e4b780cb703846ce5b9cd87b","datavalue":{"value":{"time":"+1996-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4883282$03F162F8-EF81-414C-92A7-2B771F64BBFA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4883282$CCFD7F1C-F698-4FBE-887F-4C3BD75A8A43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4883282$647C45D1-E886-481A-9A1D-A551918C07C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa69c13f73ae57309db5e91fd7e4d5aaf111f98e","datavalue":{"value":"03C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4883282$E0B54254-61D4-4440-9671-5401AA972DFB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b3d04e29438dc48f4ee030abed6ecdc78b69b004","datavalue":{"value":"895271","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4883282$759C6A11-9CA7-4B8A-AD6B-F2EFB0FEFC1C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83631a4651e9bb52b23e4d9a54e2b08100d4f5e6","datavalue":{"value":"Kripke trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q4883282$612DFC10-8C31-4B58-8994-A2DAE2EAF3E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d1017b5e10d038e359d69a4c400d6213f241e01","datavalue":{"value":"intuitionistic propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4883282$01942749-F637-4A66-92A8-C1F4EA63958F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d412c8f09e557ce150206de14b4a769b31d0b5d2","datavalue":{"value":"contraction-free sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4883282$BAA0FCA1-B277-49B9-BD04-0D5230AA6A75","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":"Q4883282$0DF8B064-CC7A-41BF-BF7D-CEAE52C48E03","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4883282","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4883282"}}}}}