{"entities":{"Q2534164":{"pageid":2544907,"ns":120,"title":"Item:Q2534164","lastrevid":44288010,"modified":"2025-11-21T18:01:14Z","type":"item","id":"Q2534164","labels":{"en":{"language":"en","value":"A tableau proof method admitting the empty domain"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3282589"}},"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":"Q2534164$6807F2C3-FCEC-40AC-B6AA-59F1915152F0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"10de3bfa92d5caa6ea2091e9a0211709dcefba8d","datavalue":{"value":{"text":"A tableau proof method admitting the empty domain","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2534164$E59462C6-F3AD-4D98-9627-A34992F98215","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c1650ba649f01d626944fb0bbe970dbfdd34d21b","datavalue":{"value":"0177.01102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2534164$EEE560F5-003A-4BDB-98B4-E6C50FAEB382","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc95965cf49dfa3d07b440b1790cabedc2634253","datavalue":{"value":{"entity-type":"item","numeric-id":229752,"id":"Q229752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2534164$12C05AA7-6DFB-44BA-9E43-253A1ED59724","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2534164$7F6AFA78-6CD9-4857-A438-44EB6C2527A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"652ad65ffdd573691be68fbfe67aa0cdf6812549","datavalue":{"value":{"time":"+1971-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":"Q2534164$E05C391E-E4E9-4C4D-A7C0-8CD08FFF9DE9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d2900bf6eb489e186e6f646d8929b5ec2a9f5f92","datavalue":{"value":"3282589","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2534164$C79C58A8-F8F9-4167-93DA-16D994D3ED5C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c246fcf4677bd1d7953725a68fc2c0ec1f5c0f5","datavalue":{"value":"algebraic logic, model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2534164$91D4F4D4-0EB4-4788-BCEA-6E118E059966","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":"Q2534164$DFEC7F15-1ECE-4F25-9CBF-42A17D9349EE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a16745ccb3e8751d6f6cc22a086ac671032196ce","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093894222","type":"string"},"datatype":"url"},"type":"statement","id":"Q2534164$72F51354-3EBA-49E0-83A2-9D5F086925DB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d5b1c2f0e66778b871fd397aaf09fd972987a66c","datavalue":{"value":"W2042230273","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2534164$5158A72E-0AFE-43EE-BCD3-E3F9ED969D89","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6c2e3d53635c7625abe12ae689a21be4157d8c60","datavalue":{"value":"10.1305/NDJFL/1093894222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2534164$9BB87716-A742-408E-A745-AD90DADFAC8E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2534164","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2534164"}}}}}