{"entities":{"Q3719824":{"pageid":5749730,"ns":120,"title":"Item:Q3719824","lastrevid":50667149,"modified":"2026-01-14T18:05:46Z","type":"item","id":"Q3719824","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3949706"}},"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":"Q3719824$96309F81-BC6B-4661-A36B-DBAA2DC59BB1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"647aad68e28eddffd6c755112fca84be05850398","datavalue":{"value":"0591.68041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3719824$2AADA20C-E3ED-458D-AA68-37FFBE783D45","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d158e95d9652c2d0191af4ccea1d07838d2e8021","datavalue":{"value":{"entity-type":"item","numeric-id":241052,"id":"Q241052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3719824$FA10397C-1A09-4850-804B-D9A0F8FA35A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b1bfbcb4e8f5871a00d29a6022e3016b3479851","datavalue":{"value":{"entity-type":"item","numeric-id":235599,"id":"Q235599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3719824$D6516A43-E0CE-4969-8B1E-28F8EBDADFBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db32c21cc482660e99c90b1907d7d5760cbfacfe","datavalue":{"value":{"entity-type":"item","numeric-id":347381,"id":"Q347381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3719824$1869AE2B-6EC0-4BA4-809C-A2AD0C83BBB1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3719824$0B8A62FC-8765-4B53-9758-1117591A6418","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3719824$893A1606-6631-4145-9114-27F8412FE70D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3d53f4f8504531dc1d4f34947ee793dc8e8b2ce8","datavalue":{"value":"08C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3719824$DA424FE8-D6DD-4BFA-AB67-4FC6948CE8CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3719824$3F4DB5CF-5930-49AA-ABA3-9C39E0B3F393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3719824$01A232BF-6772-4F0B-9CDB-D3A1DFAC0090","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"72a4190263ef9bba08229f34c25f12999f49ccd4","datavalue":{"value":"3949706","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3719824$CA685C5A-63ED-47D6-8487-4CD4DB97E59E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3ba2907cc5d70692d3692f21c97b6eba0cd4632","datavalue":{"value":"many-sorted algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3719824$9FBDA313-E026-4EBD-9A23-1063F64C136C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"827ec8417fc7b4c073105437a4a7b1b66870cc91","datavalue":{"value":"subsort relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3719824$2F7706F2-B37C-464F-9FC2-66F358965A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e972ff2173c0deffa6eebf1618724b2f35848ea9","datavalue":{"value":"conditional equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3719824$7DF868A1-74C6-4CE4-AB1E-94B3D607908F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37b3ab0f09992e89bcf121debd5a8636f1fbadb6","datavalue":{"value":"implicational class","type":"string"},"datatype":"string"},"type":"statement","id":"Q3719824$EFB921AA-D31E-4AFD-953D-7F729D1EE070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"744fd5f6b592344bd2a87ac1816bb7847861172e","datavalue":{"value":"equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3719824$28B26A28-57D4-4D19-92FE-2C22B00D48A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669e1ab0be3b0e96a51a2ef7e433c212210f37a0","datavalue":{"value":"completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3719824$C2A3638A-5EE4-49CA-9D99-AD4E615AE466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06c8954512017c7bc687623ab7d878c0b6581738","datavalue":{"value":"rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3719824$139981B9-89B2-48FB-B00A-415DBB91B079","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":"Q3719824$407C6F5A-C6C5-400B-9492-904066BBBB2B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11478f5ecb8b29c65dccd06e13596b48d3489e10","datavalue":{"value":{"entity-type":"item","numeric-id":1196302,"id":"Q1196302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aff7bcfb09f9612cde9f7d2e218cb9fbdb2cd670","datavalue":{"value":{"amount":"+0.8787378668785095","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":"Q3719824$C75D5A61-9936-4D60-A050-BDACAF49F8BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d24aa9f3ad13a995178657677b3e0038ab31cfe9","datavalue":{"value":{"entity-type":"item","numeric-id":3334056,"id":"Q3334056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdd7fe32744e0ae2f00dd9a21a9b66dcdc331b5b","datavalue":{"value":{"amount":"+0.8785274624824524","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":"Q3719824$AEE7B3D0-F300-4825-8581-78DC2272FB14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"504517ea1f6531ad77b34af39b2379dad53298bc","datavalue":{"value":{"entity-type":"item","numeric-id":2996140,"id":"Q2996140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94f2427903acd2832fa407e1a65862913414d7f7","datavalue":{"value":{"amount":"+0.8569567203521729","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":"Q3719824$1E0C35FC-9861-4873-8DEF-F8FFDB27ADCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e01cc18982a4dbca606784e3f43e80bb8562685","datavalue":{"value":{"entity-type":"item","numeric-id":4035262,"id":"Q4035262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4682cfc376493354ccdd7f3c0d15a230d50d14f9","datavalue":{"value":{"amount":"+0.849108099937439","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":"Q3719824$685619FE-DFF2-4471-A70E-F80FA1D71926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae7bb35592ad269eb97113d8b796cc449419c18b","datavalue":{"value":{"entity-type":"item","numeric-id":1177935,"id":"Q1177935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4682cfc376493354ccdd7f3c0d15a230d50d14f9","datavalue":{"value":{"amount":"+0.849108099937439","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":"Q3719824$276DE782-BA50-4AD5-8170-F546879553E2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3719824","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3719824"}}}}}