{"entities":{"Q3900017":{"pageid":5929922,"ns":120,"title":"Item:Q3900017","lastrevid":54893261,"modified":"2026-01-30T02:59:11Z","type":"item","id":"Q3900017","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3708346"}},"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":"Q3900017$F1F2F190-5A6F-4B7A-B280-BA3F16C8F377","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"73b15a470c7249d918ab04ce314bc57aecb1a240","datavalue":{"value":"0453.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3900017$D9C6053C-E198-42F5-AEBF-1126F9FAEED4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a00c4782e45b26bef58dbebc0beb0d7cb311ad83","datavalue":{"value":{"entity-type":"item","numeric-id":204637,"id":"Q204637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3900017$F6A4D6E9-4EC5-4D31-A06C-4C0F7919CFF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fa6eeb09e47d0c3657c971f131f2ff7452bd83e","datavalue":{"value":{"entity-type":"item","numeric-id":599500,"id":"Q599500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3900017$1B10EC89-F825-408D-833B-F0D88F7873A5","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":"Q3900017$A412F6B9-D699-46A5-94E3-8F2E73C43910","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3900017$858266DD-65A6-4355-A6B3-7816AE39012A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3900017$86E95CDB-F8E5-46CA-A627-E957D97FA7B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"21699a423435669f291d1bd1ba3da28fa1465b3f","datavalue":{"value":"03D03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3900017$4BCC6966-04D9-4439-97FF-DE0BE740F920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3900017$A4582617-ACAD-4C09-A27E-87F1734DC405","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"11f3ab8923da18a287fb0ae76e218e9449c597a5","datavalue":{"value":"3708346","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3900017$8BDCA61A-FFA9-4EC3-99D5-9B9BA2424FD0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94a6ff7a378f155918ff5567b3e4ed6c5893c821","datavalue":{"value":"extended Skolem arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3900017$3164B853-1270-485E-936F-F9D50FF8CB5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0e1cea66a2ed52427e72d8c6ba7638e7c457574","datavalue":{"value":"Post canonical form","type":"string"},"datatype":"string"},"type":"statement","id":"Q3900017$A0D37B1D-2F9C-4C4E-A0E4-6CC4767DEEE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8276c1ef2d6c3bbb8e402e9e07590517b232e7a4","datavalue":{"value":"reducibility of problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3900017$C938FC18-E1F7-4C17-AECC-7882BF189360","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":"Q3900017$CD7E597A-BF31-4CBB-9A27-1FFA0CCF0E68","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3900017","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3900017"}}}}}