{"entities":{"Q3862380":{"pageid":5892285,"ns":120,"title":"Item:Q3862380","lastrevid":54554294,"modified":"2026-01-28T12:08:36Z","type":"item","id":"Q3862380","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3664336"}},"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":"Q3862380$19235939-D6A2-4A73-AB76-44C15CBD1C6F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d6b2ebd003d3ba11926cc5ad8225fd93d14f45f6","datavalue":{"value":"0426.68002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3862380$B1B9DF06-6844-4AF8-9B4E-EE022BA26962","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b00307f35e60c8191f73414fc0f32ebe37cbb927","datavalue":{"value":{"entity-type":"item","numeric-id":264955,"id":"Q264955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3862380$AE031EA0-08CF-4B13-8F73-C606102E8926","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-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":"Q3862380$66847043-B58F-42E6-A33B-B6CB3B8C436B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3862380$D6C93665-B76A-4193-9852-790CA9987250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3862380$364AADD5-FAC5-4D76-AC00-5EF8AA439578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3862380$3E0B33A5-4FC4-494E-9DA6-92111EF382C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3862380$B291363C-FEB0-4527-AF07-9552CD7626C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3862380$5359961C-D016-423B-A5F5-0048077DF857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a762d1a2468ec8882180d0d1124f12b94f8eb1b0","datavalue":{"value":"68P20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3862380$18B05BBB-8A4B-430E-A2C7-81A48F1CD72C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c74c4fbd72e56613ab8a7443c3b9307e32f6912","datavalue":{"value":"00A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3862380$E86A81C6-5871-4673-BF3A-6AF7CDCBEF5E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"43185063498d2c31de4a4d6551be564475b17bb1","datavalue":{"value":"3664336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3862380$802DFBAA-3F3F-4F92-A7A4-9E02CD7C9FF5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3862380$A28732B7-1876-45D9-8022-539603E9CC48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b18ab24112d3efadc5fd5988362b87352e2fa598","datavalue":{"value":"computer programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3862380$B208548E-1CF6-4A4A-8E99-72A05EF3B2F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec4221b11cb6be9d651b91bce96ae46fadcf9331","datavalue":{"value":"clausal form of logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3862380$3D8D0EAF-5F34-49FC-BEEB-C52E9B5EA5EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b3db7bbc87a27dd2bcb6df975ad04ed8cf7c4f6","datavalue":{"value":"top-down inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q3862380$F36EB056-689C-4DF6-9D0C-D128002154A9","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":"Q3862380$94BA8540-A7A3-4DC4-B485-3C4F4AD9D47C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3862380","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3862380"}}}}}