{"entities":{"Q3777983":{"pageid":5807889,"ns":120,"title":"Item:Q3777983","lastrevid":52269086,"modified":"2026-01-21T07:53:33Z","type":"item","id":"Q3777983","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4037804"}},"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":"Q3777983$08AE3D3F-FDC5-4FE5-B494-06B3BEED4B19","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1be759df79e7d616ae4700b3cc094d843a3954a8","datavalue":{"value":"0637.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3777983$57A8F536-A42C-494E-BD9C-632E4569DD22","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":"Q3777983$C925C607-14CB-4C50-BA93-ABB78C0B9851","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3777983$6EF9A1DE-3B45-4000-831D-95BF23158E52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3777983$16E29D2A-BD63-49E1-A5ED-F9D85211BDE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3777983$85752CD8-B9F6-4FB2-9883-D92955537154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3777983$DB609B9A-BA78-4C9F-A5AE-2FC46A57E6EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3777983$190AE581-5CF5-40AC-899B-A0A7AE0CB7CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3777983$CC44A62B-F345-4273-B241-74A337777B1B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a86fd41b8c0396763f723b64f3870f23563969d6","datavalue":{"value":"4037804","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3777983$36E7784F-1E78-40A1-89B8-BDCF362708BA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d2aa687cef17cd912aad76972cec097c0540be8","datavalue":{"value":"automatic theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3777983$0C4AB013-AA8A-4A57-BBFB-08C576A16088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3777983$8F8C763B-0BFB-4085-A47E-044F687C9932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3777983$8F7AADE9-618C-4C27-AEC7-035CB61C0D9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc301e83b45696de572ac99e0b5314b22387f5a3","datavalue":{"value":"PROLOG","type":"string"},"datatype":"string"},"type":"statement","id":"Q3777983$FEEEB1EA-F8C7-4F7F-866D-293BF67DE507","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"98e020d336f4040f2344877fb27890751f480383","datavalue":{"value":{"entity-type":"item","numeric-id":1052096,"id":"Q1052096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3777983$74BB709C-A2D9-4BA8-948F-4A9B2F9D24E7","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":"Q3777983$4592432E-C1F6-4978-BF4D-7FFE475B4690","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3777983","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3777983"}}}}}