{"entities":{"Q4390867":{"pageid":6420466,"ns":120,"title":"Item:Q4390867","lastrevid":28590603,"modified":"2024-03-05T14:39:32Z","type":"item","id":"Q4390867","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1156870"}},"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":"Q4390867$97584E5A-9407-4035-9FCD-701B679CD7E5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6837c26e2fe1410b04689ca0ac2feba4fc73a951","datavalue":{"value":"0912.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4390867$59F64F57-2B2A-4617-9A9D-7B3E2F9EB9B5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffd6a40ad54574dfdc72407e5223fefee18b3ec7","datavalue":{"value":{"entity-type":"item","numeric-id":647404,"id":"Q647404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4390867$179A5D4F-5E52-4719-BC1E-0186AC2BF5D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a3c575e36516431240b6ca5a34b66619e132b26","datavalue":{"value":{"time":"+1999-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4390867$43E6D005-C2FF-4483-AFB9-73AD1169B749","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4390867$E025E1B4-3F8F-4E51-B45A-77B9E9720F10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4390867$23B9D9A5-1FA4-404D-BF58-0FCC53A3766F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4390867$DB63F218-F667-4C34-882B-D4933CDFA416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4390867$72C1804E-5FFE-4A7C-BB3A-7B55DD548927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4390867$6C5FC425-703B-4423-8CF2-B5632D7B3AA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4390867$D8DF67AB-E992-4E8D-85AE-9E6E67B34887","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fcb5bb96b4cd43f707cd331dbf9c0955002342c8","datavalue":{"value":"1156870","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4390867$7C90FFEC-0E8A-4B8D-B39F-8CF92680A784","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421a43f4b0e8832a026eaa34353c95869f115bee","datavalue":{"value":"survey","type":"string"},"datatype":"string"},"type":"statement","id":"Q4390867$C2B709D2-17F3-4DFA-ADF6-A6920B03C5D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc028f491ca3cd6c7521dd6f6f17a35cdad54a6d","datavalue":{"value":"proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4390867$3B398910-2639-459A-A858-6EE87F51F6BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67092c47867106d09c4cf34434c78997561075ae","datavalue":{"value":"classical propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4390867$EEA1BF69-85A8-4EEF-A9F1-038B1D956867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1408da7db4c03e08918a50622f2fb337e63ab39f","datavalue":{"value":"complexity classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4390867$DE8F21CE-BB6F-4128-A66A-56AC7FD6E00D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ee539f3c66b5148353f42975573a39b50c5340f","datavalue":{"value":"complexity of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4390867$AA5D6FAD-F1FA-490A-B492-B81EE9CCB704","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":"Q4390867$CABD8152-CD98-486D-A0CD-8A164F4F13C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4390867","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4390867"}}}}}