{"entities":{"Q5202634":{"pageid":7232205,"ns":120,"title":"Item:Q5202634","lastrevid":29265542,"modified":"2024-03-05T18:15:58Z","type":"item","id":"Q5202634","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4195904"}},"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":"Q5202634$F2A6D5AA-F61E-4585-8767-A2B855904DC7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"641777436fc3145e77a60942ad56a80874618b57","datavalue":{"value":"0725.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5202634$9E2C6B7D-F358-4F6A-88E6-C8B194DADDA6","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":"Q5202634$9D15BB40-7A34-42C3-95A7-812EED31E90D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q5202634$23D54122-819A-49F8-8A4E-313229F8933E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5202634$1BDC2A44-E895-4F44-86A6-A5C7DE75C52D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5202634$060D343C-5D47-4683-BB79-31DBBBE8EBCA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6660a1eebaf75a5eb5b9ed9da6378e6040187528","datavalue":{"value":"4195904","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5202634$44A0C2ED-0F26-4DFD-AA59-4E9D56E6DE8A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5ea47bafc300582abd69ea4442e1bb289bd795e","datavalue":{"value":"resolution-style theorem-prover for propositional intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5202634$C61E215E-F824-44C1-91F3-F9E7ECBE124A","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":"Q5202634$A1605522-1898-4219-A283-CA4ACCE146BD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5202634","badges":[]}}}}}