{"entities":{"Q3880317":{"pageid":5910222,"ns":120,"title":"Item:Q3880317","lastrevid":54591626,"modified":"2026-01-29T02:06:03Z","type":"item","id":"Q3880317","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3684930"}},"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":"Q3880317$8AD1E8C9-88D1-4E62-BA0D-88F4A093EF15","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3e941f319498ed5b73f0f113e97740f444fd3091","datavalue":{"value":"0438.68048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3880317$87863DDE-8F50-4DC5-A224-AB5D6A3A6615","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-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":"Q3880317$7C344231-EDC6-4EA2-9FAC-584FE7CEA726","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3880317$67A0D3D1-9571-47A7-B6D9-6CC07D55702C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"280a65d907047d5094769e55a4a308fa043f2982","datavalue":{"value":"68-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3880317$206B523F-DDFF-4EC1-A5BE-358FF016DD2F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"590c3ea9cfa07c504c2a533ae5fb927aadb15f87","datavalue":{"value":"3684930","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3880317$F7241238-26B0-4489-A982-1C68E5A56A59","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9995b54c548ba82e19bbcfa983906822ba7d2ccf","datavalue":{"value":"implementation of theorem-proving programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3880317$4FFA980B-1D8F-4862-885F-1F834A21CEC3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"49c1eac4057968c5fe949fe3628039d4be0f36fd","datavalue":{"value":{"entity-type":"item","numeric-id":1165593,"id":"Q1165593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3880317$3A3CD83B-DA16-4474-B4A8-F05CCE2B7E55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f961804fcabd02be29d669054528468c74d17e25","datavalue":{"value":{"entity-type":"item","numeric-id":1224804,"id":"Q1224804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3880317$507108D7-0917-449A-9EE2-612D19F12264","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":"Q3880317$E48CD22A-5D3E-436B-91A4-1CE3193A22F0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3880317","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3880317"}}}}}