{"entities":{"Q1238016":{"pageid":1248766,"ns":120,"title":"Item:Q1238016","lastrevid":67206702,"modified":"2026-04-12T16:02:21Z","type":"item","id":"Q1238016","labels":{"en":{"language":"en","value":"First order categorical logic. Model-theoretical methods in the theory of topoi and related categories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3556299"}},"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":"Q1238016$0EBBD8D1-5247-46AA-911E-544F4F46586F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d0675b9366392166d34ad75b9408b836f90abeff","datavalue":{"value":{"text":"First order categorical logic. Model-theoretical methods in the theory of topoi and related categories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1238016$56BA276A-4D0C-4B51-A43A-28A4F1766655","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f8dd91d14adaa3ba6fae2e1dc8ca099b5ab7cd5c","datavalue":{"value":"0357.18002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1238016$478FDA1F-813A-4194-B4D6-96ED7B6D409A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a65d0161e2b1499280c869048154b5d85ad8a69e","datavalue":{"value":{"entity-type":"item","numeric-id":175558,"id":"Q175558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1238016$64F37A2A-8EE1-47F5-B809-D52B5B2F316D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b75c548f9342a1b5ea4c2668cdcb0a3c80c81df","datavalue":{"value":{"entity-type":"item","numeric-id":790923,"id":"Q790923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1238016$A5103B32-12A9-461F-9C14-1C0EDFE1C515","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"583d5634d5ee6575aaa37bb42a0c5602371241ea","datavalue":{"value":{"entity-type":"item","numeric-id":163387,"id":"Q163387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1238016$DE0FD521-91B1-4249-85BE-E31F0995B49F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a49472451190faf858f564fafd4bcba399999753","datavalue":{"value":{"time":"+1977-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":"Q1238016$2EEA0B49-5633-46DF-901A-E6547995F388","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa2d311bfebadfc58292672011b7418c359f6a26","datavalue":{"value":"18A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1238016$F63E892D-B120-4855-9804-B27FACB60E10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1238016$A5C59D2F-E3DC-4E35-AF3D-CDE1CEC991F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e671cb9a7cd5542f21890d12b2e8ee004a8c8889","datavalue":{"value":"03C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1238016$78B35AD1-EBE5-4AB7-AFF9-6E6C0E1F4EDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1238016$FB4461A9-BFC5-4B64-8064-1B7576C5597B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f47e0ac8332e65ab042eb721c036fa65e1af589f","datavalue":{"value":"14F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1238016$F0568D3C-34CC-4A20-AD16-AA0133B7B0B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1238016$66A20429-1296-4AA9-974A-B265F5A25FA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0ee7ce317264382861edb63c533e11ee885fc54","datavalue":{"value":"18F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1238016$AA8E7CC4-C7E2-46C7-8B91-A51948A0DE92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71e15d3a17f1ae7a1c0239050ee3b6d6009a74c","datavalue":{"value":"18F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1238016$5E67CB6C-5E31-4710-A24B-0395575D6D1D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e543e9bc7a9860fa48d85d189dd56af5167dc069","datavalue":{"value":"3556299","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1238016$0D3F3F55-9A6D-4E12-B6B9-F4FC45F0AA1B","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":"Q1238016$61449B40-9F0E-4EA9-BF94-B8B8FDA7F3B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"First order categorical logic. Model-theoretical methods in the theory of topoi and related categories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/First_order_categorical_logic._Model-theoretical_methods_in_the_theory_of_topoi_and_related_categories"}}}}}