{"entities":{"Q774032":{"pageid":775881,"ns":120,"title":"Item:Q774032","lastrevid":64321524,"modified":"2026-04-11T19:04:14Z","type":"item","id":"Q774032","labels":{"en":{"language":"en","value":"Elementary formal systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3162895"}},"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":"Q774032$7C9955E7-9F3B-4524-94B9-8E26B0A3B1AC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f7404121a7c357eb3585168ea1535aea51c7e815","datavalue":{"value":{"text":"Elementary formal systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q774032$064E0FB0-E21F-4582-9946-59FF68D6C6C6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e5bb83a58b9a30cab349346af1f1a183e19a87a3","datavalue":{"value":"0100.01003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q774032$6770301C-8BF9-4FCE-9A94-F91ED3B59B31","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a2f7ca31fdcd096abc81592affc30e76a533f64","datavalue":{"value":{"entity-type":"item","numeric-id":354135,"id":"Q354135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q774032$FD6F07DF-4E8A-4DE7-B7EA-C8F1523375F3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e6db4bd470edb111094f50a346a34a8ff7644b14","datavalue":{"value":{"entity-type":"item","numeric-id":176973,"id":"Q176973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q774032$697D345C-5862-4454-B164-A74CF06F6F59","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b733604afa3a648384279f872bdd54e6b747380d","datavalue":{"value":{"time":"+1961-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":"Q774032$37E4773F-3EE0-4EB8-B741-0B6DA6F2A92B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6d504c8944a78d1f6ab73d6db9f5bf05642d5325","datavalue":{"value":"3162895","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q774032$98FE42A5-2B57-4DCB-B927-B3260F946191","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e52d3efb7f97d74890a026183b5a92a080ef346","datavalue":{"value":"philosophy and foundations of mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q774032$281F685A-2EDD-444F-84B3-35F2BE2CC037","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":"Q774032$A3F72ABF-1432-47C4-B91D-9A79E3C8DF12","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c5aff9fde1b2155538c2b3698133b04aa560e66f","datavalue":{"value":"https://doi.org/10.2969/jmsj/01310038","type":"string"},"datatype":"url"},"type":"statement","id":"Q774032$28337139-9AFB-4746-80BB-134A582D0F82","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"66c39e80e917a92dabe69c4dd645a10ab1029cb4","datavalue":{"value":"W1993681631","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q774032$B4A8487C-A371-4D54-95A8-AF520000243F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"792072349a4335889d17ba876b0f8bc7480c36b4","datavalue":{"value":"10.2969/JMSJ/01310038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q774032$225A080E-3A5F-480C-9307-F0859C03DE54","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Elementary formal systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Elementary_formal_systems"}}}}}