{"entities":{"Q3039340":{"pageid":3050056,"ns":120,"title":"Item:Q3039340","lastrevid":45316033,"modified":"2025-12-04T17:24:12Z","type":"item","id":"Q3039340","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3831930"}},"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":"Q3039340$8C66C5DC-9C2F-40A0-8C7A-CC406B93BB72","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bff936a9f13b6c34d3aeb6e925f0912f8fe6a728","datavalue":{"value":"0525.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3039340$53660DF1-EA38-4896-AF98-F097CB32C7AB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"82475c6f9e360d44c01301733e93d758c0e9e4ed","datavalue":{"value":{"entity-type":"item","numeric-id":190333,"id":"Q190333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3039340$91A561F8-722F-44B1-B73A-79C94C800CE9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q3039340$A1B48823-6816-4FB8-9DE6-07222E29C8A4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e914ad4198919746f7f43e5298d5baf07e389c97","datavalue":{"value":"03F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3039340$8E2E41EF-4AE3-438C-A058-E859BFF3D043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cde05172e5f9c37cef740a3519be6dc5014d282e","datavalue":{"value":"03D70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3039340$101E9318-63E6-44AB-BDCB-F233975703C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3039340$28A0E4FF-3620-4ECE-8D17-EBCB2775B015","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ebc6f371e7753a0b825e92f77d7a7f669ded9e0f","datavalue":{"value":"3831930","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3039340$339F3D63-625E-46F6-99A8-311812D81E7B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39d6f04583b41adb36eb0a30a9fe64b38ffc74dd","datavalue":{"value":"positive inductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3039340$10465B9F-52BB-41D3-BEAB-F47A18A67977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3039340$04E31601-DC2A-4C44-A1C0-B919A4F9DE93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6417d461b2f1224184aba5ae1e7e6a39c4867847","datavalue":{"value":"monotone inductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3039340$32C79B36-DEC9-4224-BE7D-5FE02180D1BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afe493c1ace3fa52144c0315aaea9019dde435a3","datavalue":{"value":"monotonicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3039340$E1782D87-7538-4E7B-8B93-67D971758045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"850292df385db1a7791464d9ea1bb117e138f458","datavalue":{"value":"positivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3039340$25CCFB78-8476-4CC6-9B18-49A15CC374A3","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":"Q3039340$14273A59-B32B-4D5A-AA54-D32D96FE5D1E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3039340","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3039340"}}}}}