{"entities":{"Q3795649":{"pageid":5825555,"ns":120,"title":"Item:Q3795649","lastrevid":53029421,"modified":"2026-01-24T02:03:05Z","type":"item","id":"Q3795649","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4061194"}},"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":"Q3795649$CE404542-63B8-4A1D-82C8-CBE9941F073B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1f08c962d997bbd3c1d6b44f654f495616563eba","datavalue":{"value":"0651.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3795649$C8768F14-AE00-4222-B7D9-F5E3890F65B0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"025155ad88f33216a4124a2c377d3f6c78a58a7c","datavalue":{"value":{"entity-type":"item","numeric-id":804556,"id":"Q804556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3795649$8B6BA3CB-F1AD-4C2A-ABD8-20D9EDB00AAF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q3795649$02D77E4B-E84F-43E6-9CAD-609E52368A95","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3795649$711BB6E2-D6D2-4F8B-B88D-157285D9E3E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3795649$38BEE0DA-E06A-4605-B44F-6BD20A620CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3795649$290C662D-27E1-4D53-9D7D-D618A0217DE6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"183e2ee7b5ea023ee87cacab0403d9e9aea48770","datavalue":{"value":"4061194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3795649$D87D5292-E45A-4943-874A-25A86C149F6B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50ac0247726491e51a1a9dad4fadbff313f8e488","datavalue":{"value":"simple type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3795649$A74F9FE9-733F-4CD2-9B99-5BA028284E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3795649$36F8237F-9AF9-4A33-AA09-7B51505FAA7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3795649$A8070CC7-599C-4AEB-A456-876309B44194","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":"Q3795649$5B7E17BA-1785-4916-8A72-6EBCEB389D64","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3795649","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3795649"}}}}}