{"entities":{"Q3901495":{"pageid":5931400,"ns":120,"title":"Item:Q3901495","lastrevid":54899582,"modified":"2026-01-30T04:25:27Z","type":"item","id":"Q3901495","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3710148"}},"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":"Q3901495$0A0D09AD-1FC8-4772-A43F-847A73EFC9CA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0e81a8049d2c364fbf14750847581fe3f8c44349","datavalue":{"value":"0454.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3901495$87B8D7C8-F4BD-496A-B8BD-4BD2573FB5B5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"58ab9ad45fd7932312d697f7af2dcd94f96aa0c7","datavalue":{"value":{"entity-type":"item","numeric-id":3338240,"id":"Q3338240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3901495$2990687B-14BA-41A2-8E15-BDF1F5F46FBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a5bcbbe1fe9e5c4428cf5c852d22bc97b7fee39","datavalue":{"value":{"entity-type":"item","numeric-id":1361245,"id":"Q1361245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3901495$A6008C06-7BE6-4C78-BF15-225BA4BFA6DD","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":"Q3901495$216F9ECC-AF63-4CCC-B6C1-1C0B609C12E4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3901495$19AB9EA7-0745-4014-B8D5-47710418BC50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3901495$A2AB92A0-08DC-4855-9FEC-DC992BFCF29F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3901495$7CA13062-C74D-4A17-A304-B771D8BBFB98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3901495$07A3635F-2445-423D-B93A-1999BB48F7B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3901495$29AD3330-7EE3-44C9-9795-405BA527F6D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa69c13f73ae57309db5e91fd7e4d5aaf111f98e","datavalue":{"value":"03C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3901495$C6443859-006B-4B50-9603-1BF1D95EF5DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0ee7ce317264382861edb63c533e11ee885fc54","datavalue":{"value":"18F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3901495$92F8AC03-D598-4AA8-9E9F-9D32BBF24204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3901495$13051F80-0E39-49A3-A874-21B64EE7F223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3901495$886A286D-3D07-4A1D-BB18-13EC8E877546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3901495$2382C027-0220-41BA-8F01-8163E24519CF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e0db61ecc486f0f0a9a0570df79cacb0f0b5cd0","datavalue":{"value":"3710148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3901495$D8896B4C-7C2B-459F-BBAF-61CDD7044C13","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8463c0195b870b038bd75e0d5d67deb1be69d318","datavalue":{"value":"extension of propositional intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3901495$52A4F817-3A82-4BCF-8C63-89FA2873F4BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3901495$D761B52A-5B8A-47A2-8393-424F70E8C4C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fa8db1497b2b646de2cfc3291cc2e91e4465ad7","datavalue":{"value":"Grothendieck topology as modal operator for intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3901495$C6DD0E6B-22ED-4541-81B6-4D0B3BCA7D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4b9dc8ad3d716500945f24344bc628ac3e6598e","datavalue":{"value":"representation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3901495$6285D290-9CC7-410C-8857-EDF69B5FF5A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00075e70fefb39c8e41b1837f36b10877f376c24","datavalue":{"value":"sieves","type":"string"},"datatype":"string"},"type":"statement","id":"Q3901495$E11CF961-5116-4393-B671-73948381A0FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3901495$8C8DC85A-2BF6-4188-B36B-8621363491AB","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":"Q3901495$8A9C89AE-809D-4489-BC88-96F9ECE51FE3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3901495","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3901495"}}}}}