{"entities":{"Q4095908":{"pageid":6125508,"ns":120,"title":"Item:Q4095908","lastrevid":37306979,"modified":"2024-07-30T09:35:12Z","type":"item","id":"Q4095908","labels":{"en":{"language":"en","value":"Methods for Automated Theorem Proving in Nonclassical Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3516666"}},"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":"Q4095908$D8CC9DE0-C004-4C09-BD38-688FD3E4F0CD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7afb4edffcdb54bcbcd71d7c30c74f464c7733d4","datavalue":{"value":{"text":"Methods for Automated Theorem Proving in Nonclassical Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4095908$90974852-8A1B-49B3-B6C9-A64338EAD995","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6db798c90ae66da90a5d55c74845b10cc44b76b7","datavalue":{"value":"0329.68074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4095908$0BBDF19A-8BD9-4DA9-A280-33243E903DE1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"82256338f19340d17c22f26b71029498b8876392","datavalue":{"value":"10.1109/TC.1976.1674704","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4095908$2B16CF8D-BA94-41AC-B319-DE58C94EEE3D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3d066e720c85867d809cb2e859c21af5f7e9025","datavalue":{"value":{"entity-type":"item","numeric-id":787970,"id":"Q787970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4095908$EEB9EDF9-7F22-433D-8852-B8BCA43B1384","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb95ba1181f89055fe808aa2c36bea9d3930d0fc","datavalue":{"value":{"entity-type":"item","numeric-id":80442,"id":"Q80442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4095908$43219BCB-846A-400B-BADF-65EC171AEB8C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"974fa8a46aa40326fb3113b279589eb02559bb73","datavalue":{"value":{"time":"+1976-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":"Q4095908$D8DB16FF-A953-4C4F-9D73-C780ECFA0CF6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4095908$407BCFD2-9DE7-4139-99EB-B6BB3B2EF1E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4095908$AE8C00D5-CE1D-4572-9585-CEFCDFBE18DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4095908$72CB60CA-6FE0-494F-8C32-F976FEFF5E4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4095908$981D725D-8786-4FF1-AB52-6673FB629C4E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d9dc1eb295f6d2c01f73aa652967620f4e880e93","datavalue":{"value":"3516666","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4095908$C81014D3-0CB3-4E78-A44C-45FFA6CB3644","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":"Q4095908$5CBDB203-CBAC-4A25-AF55-E579E6D9BAD7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"36017f06c07b5fa4079207371ac39ca8b971034a","datavalue":{"value":"https://doi.org/10.1109/tc.1976.1674704","type":"string"},"datatype":"url"},"type":"statement","id":"Q4095908$B43F4CCC-0A83-425D-9ACB-E855D1C810C9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fc2dd0c517a1cf0a53d393b4a5efd0c7d5cc018a","datavalue":{"value":"W2035490172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4095908$336EA1B5-3DB1-448F-9962-98BE018D241A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4095908","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4095908"}}}}}