{"entities":{"Q6610195":{"pageid":14221352,"ns":120,"title":"Item:Q6610195","lastrevid":103967663,"modified":"2026-06-06T08:33:46Z","type":"item","id":"Q6610195","labels":{"en":{"language":"en","value":"Fundamental logic is decidable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7918248"}},"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":"Q6610195$13C3725B-A778-414A-A3C5-AE57BCFE30E8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7ce2ab4dcd90d5b07b1289ee41155a954aedad26","datavalue":{"value":{"text":"Fundamental logic is decidable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6610195$84CB13B1-79C9-419A-810E-430FB8330644","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3e88ebebb464b6c44af0d1e7a1529c9841cee809","datavalue":{"value":"10.1145/3665328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6610195$1FE95081-1C6A-4128-BF19-312C46ECD48A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"79b013b7a9d2a2f8dca67e43ff0a0f9cda9e012d","datavalue":{"value":{"entity-type":"item","numeric-id":1699739,"id":"Q1699739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610195$CFD15704-4DDE-46AB-A467-647D98662272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6018be3dcb43cdc76421e1b409f7769f9d9293dc","datavalue":{"value":{"entity-type":"item","numeric-id":2120966,"id":"Q2120966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610195$EF27F0F1-1198-45A4-9B8D-4DAFD8BC1EF8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610195$8AEB02A1-8F3E-4726-B448-C0A2776B4377","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cd8865887ed774f6229caf289dc334855c91553d","datavalue":{"value":{"time":"+2024-09-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":"Q6610195$DCE3C670-7B06-48D0-8DC6-808A4D1C97C1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6610195$323B885C-3B2F-46FC-87B8-7E6F28C539A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6610195$A150A66B-8BDA-4B20-85F3-6E16981B2EED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"116508c9789fef93318e63b9f4381c1915376329","datavalue":{"value":"7918248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6610195$906AFBEC-01D3-48FE-B095-3AA75D30B2A4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0100a3dfa03d3f19b72d623c608152742945730d","datavalue":{"value":"fundamental logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6610195$FA0195F0-394F-48E4-8CA8-3EEC5B8FB783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a63125d4146b0c69c8e312a4f67df6119922af7","datavalue":{"value":"orthologic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6610195$84C06C60-DC05-4840-846E-775690E027C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0aadc8e4e1e6fa52b339bccd19c289ff32398fd6","datavalue":{"value":"non-classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6610195$84706B18-3516-48FB-AC21-7780769AB453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6610195$A450B153-15B4-439D-9F52-C459B4118B12","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":"Q6610195$F4FCFDAE-5EB2-463C-A8D9-C995AE0F21B3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"007bfc90fdef6fcf13456febe577bd406daaf421","datavalue":{"value":{"entity-type":"item","numeric-id":2120967,"id":"Q2120967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610195$413DB4EE-CB1A-4DAB-8AE4-AF44A9AA9844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5e4d4a33699afc7c171aafd2b741c1fc557aada","datavalue":{"value":{"entity-type":"item","numeric-id":5107222,"id":"Q5107222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610195$D3619675-DF98-4026-B049-8E458F06B286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"950d4bf13a6412273c6121dec8c878895cfe7c92","datavalue":{"value":{"entity-type":"item","numeric-id":1868244,"id":"Q1868244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610195$B643AADD-8863-4AFB-99F7-BA43ACC74887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3652d520789475601e366029ce7b257ab62a1ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5905909,"id":"Q5905909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610195$45ACA8C6-5855-4378-AC5C-24D304D40230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08db47eb4b752dcc8150a9284d80bb4fb7dcadb5","datavalue":{"value":{"entity-type":"item","numeric-id":2278834,"id":"Q2278834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6610195$E4112E66-D64A-433D-AF0F-3F37C1582832","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fundamental logic is decidable","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Fundamental_logic_is_decidable"}}}}}