{"entities":{"Q3934374":{"pageid":5964279,"ns":120,"title":"Item:Q3934374","lastrevid":55030813,"modified":"2026-02-02T23:54:13Z","type":"item","id":"Q3934374","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3750929"}},"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":"Q3934374$DDA8A41A-A1D9-49CB-823F-AAB9657393FA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"72dd42f1489281da140bbd8533f3ec8ed8943475","datavalue":{"value":"0478.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3934374$B0E72D58-9C35-433F-B4D2-8F950F1751DD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3934374$B20FC9E3-B0E3-4343-AA41-94AC00154C5B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3ade5fcd6cabec4fdda8e76313f50d1161a44465","datavalue":{"value":"03C95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3934374$E1C453B3-C7C3-4990-85B6-0B05413F761B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3934374$AA91E397-FA38-434C-8531-596C3D47540D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3934374$54850A26-C041-4029-8481-FF7917FCDC5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3934374$A9CB98FE-3623-4D1C-979E-CD75187BBBCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3934374$613BD0E1-7BF5-4DB7-A4B4-395CF0B538B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3934374$145D4709-AACA-45B0-B96D-E4580F91B147","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"157cce7e428a76157ef3ceac1cd77b8d96d73782","datavalue":{"value":"3750929","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3934374$A0213CC5-3A92-43A2-984D-ED0AC963E806","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b363c41490270c8942243f7c8b8e7946de3a3c4","datavalue":{"value":"reduction of many-valued logic and model theory to two-sorted two-valued logic and model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3934374$B2E6EEE4-6FB8-47D3-ABA0-F896943FB262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bd84c1c229bf212ddf8b555f508ec7051d965c5","datavalue":{"value":"internal quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3934374$D4A50B08-561E-4197-91FA-AD64E30C2790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c4ed4fea13432d188a5ec678aec936f44975a8a","datavalue":{"value":"syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q3934374$13ADAE29-5857-4F36-9F8D-4F561DFB9636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3934374$6B954938-EF07-455C-B442-0E55E634A0D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af31523ac2adb05ca7a31f8f15a404f9e40f1d47","datavalue":{"value":"external logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3934374$A67BFB2A-3AA6-4C62-B859-47EE68FA91BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13222abce42a3157de4cbd60f9dbb9eaa2eefcc1","datavalue":{"value":"internal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3934374$C9893321-D562-4CF2-B2D5-1D9FEA46DFF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5d740a60c3500640187978e8fbb91eb25ebc9c8","datavalue":{"value":"special implicative algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3934374$BD6BB128-0919-421F-BE14-01DBCFA1B309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"872e4a50f524a853d7093b2872ea866d3349bf61","datavalue":{"value":"residuated lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q3934374$E2848A3A-606A-40E1-A49E-9901B5C06FB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b0e1448d8abd4b598e98751dcd410a4ec36aeb9","datavalue":{"value":"elementary inclusion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3934374$194FB153-6308-4C8B-BFEA-A52EB49F974C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4c475a0c898992990bcd1b56f62d2494f9e2a09","datavalue":{"value":"downward theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3934374$E1DFBED4-8672-4495-9838-985AFFB57F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fde32cd68a42e4449475681b170c87e0976d509","datavalue":{"value":"filters","type":"string"},"datatype":"string"},"type":"statement","id":"Q3934374$62A7E324-31DC-42B3-A15C-ED5E09DE0DC2","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":"Q3934374$3033FE0A-DD25-493E-89CA-44983C8041C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3934374","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3934374"}}}}}