{"entities":{"Q3946151":{"pageid":5976056,"ns":120,"title":"Item:Q3946151","lastrevid":55065718,"modified":"2026-02-03T08:11:09Z","type":"item","id":"Q3946151","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3763911"}},"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":"Q3946151$E16C96F4-C0AE-478B-9B03-E44D0CDACF8C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5a7d50e01e57451691b95283b953e2e218be22af","datavalue":{"value":"0486.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3946151$F7AEEA43-4332-4399-BF9B-59759E664CD3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e071145b46ae7a08fec096f0620178c42ecee586","datavalue":{"value":{"entity-type":"item","numeric-id":793005,"id":"Q793005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3946151$7AC059F8-0735-4CB6-A62E-78AF91F7126D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-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":"Q3946151$60B83081-1966-4C72-94F9-CF8E29EB9332","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d79e63eef29e822236c803d5aaeaba238ce7b5f","datavalue":{"value":"https://eudml.org/doc/187131","type":"string"},"datatype":"url"},"type":"statement","id":"Q3946151$FF77C8AC-4616-442E-B68A-C8BC85B55679","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3946151$87B10924-C3B2-4F9B-87B2-D602CBDE6843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3946151$623E3BAA-8D41-436E-BCA1-5B897F1EC2BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e671cb9a7cd5542f21890d12b2e8ee004a8c8889","datavalue":{"value":"03C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3946151$7618E812-9A42-4AA2-9B3B-4BF896053236","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"70075597d9d194dda44efda73ead77f6992f460f","datavalue":{"value":"3763911","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3946151$9E2349C9-BA54-4993-A980-3D57FAE7E8C4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8af833cb3e1aded851058cfe2830f4d6e2696a6f","datavalue":{"value":"p-morphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q3946151$E9FBB745-3AB7-4FD8-9F10-3CA18D074608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3946151$2AA6C2E7-C5BF-4871-A042-61F54D7BA5B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d1017b5e10d038e359d69a4c400d6213f241e01","datavalue":{"value":"intuitionistic propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3946151$B50586D5-2C1A-415E-9BDF-E568CDBFCD7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fadcf91b9145c7bef3f8033aa2dbdf8133a6fc56","datavalue":{"value":"formal arithmetical provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3946151$1713CE9F-D08B-42DD-A1FD-D59DCF5937C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86883f625eb9ea1d0f9d5e4e00110dbc1e213e44","datavalue":{"value":"conservative extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q3946151$B7920CA3-1FCD-4A99-B3A2-96708885E4BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3946151$A265B14C-2355-47B8-AC44-CC8D9BED88A9","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":"Q3946151$72F540E3-F790-450D-9012-369FC3BC9E23","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3946151","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3946151"}}}}}