{"entities":{"Q4193431":{"pageid":6223032,"ns":120,"title":"Item:Q4193431","lastrevid":28410446,"modified":"2024-03-05T13:39:24Z","type":"item","id":"Q4193431","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3632424"}},"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":"Q4193431$2CA002FB-B92F-4ECF-B00B-E8EB8679AFB1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"28b508df598a16ae0479849f20a07300a3a2145b","datavalue":{"value":"0407.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4193431$F8F64934-0117-4696-ADE4-212BD4821A6E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"974fa8a46aa40326fb3113b279589eb02559bb73","datavalue":{"value":{"time":"+1976-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":"Q4193431$22679106-1AD1-4730-9198-3B25AAF9B99C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4193431$AFF02984-2288-4404-83E5-47920AD70192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4193431$6ADAB29B-8158-4AD1-BF23-7701F79DBA86","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9452b5987815b45ec0cd8703effca2f8bcbf1a18","datavalue":{"value":"3632424","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4193431$B8965BE1-65B4-4A79-8464-050C4B4F939F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9d255b62bf5cbe312485560ddab253683c1fab2","datavalue":{"value":"First-Order Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4193431$8A10D8AC-7761-4EA4-8980-127E88515EBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d525325e6d32c65312b2a6713354073dece4edc6","datavalue":{"value":"Critical","type":"string"},"datatype":"string"},"type":"statement","id":"Q4193431$EE49C746-681A-4273-9890-CFDA53E556FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a437e4cb3cc8f6bfc5e2ff46d98f94e543d4fffa","datavalue":{"value":"Philosophy of Mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4193431$84419A0A-6033-445E-AFDC-681F11834FE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"784d43a8c76c06826fbf65c476a5d879f564836b","datavalue":{"value":"Complexity Of Proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4193431$4F64080A-11AA-4331-8083-8ABAE16CBA8E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab34ba425bc9591434354330de0028b3a960e2ed","datavalue":{"value":{"entity-type":"item","numeric-id":1238802,"id":"Q1238802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4193431$65AEE188-E049-40FD-ADDC-157371391A71","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":"Q4193431$21AC5707-AEE3-41BE-8E50-E18F49AEB466","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4193431","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4193431"}}}}}