{"entities":{"Q4739896":{"pageid":6769476,"ns":120,"title":"Item:Q4739896","lastrevid":34677447,"modified":"2024-06-13T15:52:56Z","type":"item","id":"Q4739896","labels":{"en":{"language":"en","value":"Categoricity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3794049"}},"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":"Q4739896$B7327DFF-FB55-436C-8D3D-D234A54C6C00","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"12bc57ee6b8069e4144b2afd3383207afc8619bb","datavalue":{"value":{"text":"Categoricity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4739896$365BD6BE-01ED-4456-BCFD-CA27DB4AB96A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"be704233f42a10d6ea3218c0ee8d8f5449f26577","datavalue":{"value":"0504.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4739896$13F3240D-3B36-45A0-85DA-C0E90615C477","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"249591a80e2a549b1cdc242650b60f4c80cfa719","datavalue":{"value":"10.1080/01445348008837010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4739896$889F0C39-2B70-4DCA-AF9A-2A75C0A2EDFA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9484c58c37ee75ce1da987005ee3b5cce4eaeb7","datavalue":{"value":{"entity-type":"item","numeric-id":1134138,"id":"Q1134138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4739896$94848CCD-B36D-4D7B-8839-C44A56CC927E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"17af3acb8fbbf15cacab125c0d45264f400b5a22","datavalue":{"value":{"entity-type":"item","numeric-id":2757958,"id":"Q2757958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4739896$895A4480-2B0D-4304-B08E-08032CB7C7E9","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":"Q4739896$EAA6A0F6-E027-4482-8BEE-911DF1F1F088","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4739896$493A6CB6-D85D-4322-9683-EBF100A2EA4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4739896$798C4F8C-F343-4BA7-8F8C-22FA7C1401C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1c22ab4acb270280a242a416e324e0c959fe7348","datavalue":{"value":"3794049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4739896$68A38266-BF1E-4682-A1CA-0CC4D6670696","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3260690792a5f50e1cd8eaa573053f1d5bbebd28","datavalue":{"value":"infinite model","type":"string"},"datatype":"string"},"type":"statement","id":"Q4739896$83DD5E80-ECB7-478E-A512-6CFD98C2FBF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb82a6bb049eca827530aea8e4ff9bb2ba33b1cd","datavalue":{"value":"induction principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4739896$9DF0FA63-1A15-40AE-AEB8-099378E3E0D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38428c51708081bc99231313e49bd98980a8e952","datavalue":{"value":"atomic sentences","type":"string"},"datatype":"string"},"type":"statement","id":"Q4739896$83A02C0E-CA4F-4B96-B129-5FE4D0126AF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6e064560fc1e96295608eaef7e624b550d9ed81","datavalue":{"value":"natural semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4739896$054295F7-81BE-43DE-ACB9-F3063F50888C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ff46f9903ef9a951cedc85bd91a53e916956081","datavalue":{"value":"first order system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4739896$3B0B163A-7A80-4017-B807-3F7F669018C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c42d65e02f20cb2ac76f2f2c3cd30be769063a5f","datavalue":{"value":"system of deductions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4739896$F80A3710-A7BF-430A-9322-F412B26D69BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"457844ce906283e5256bf122c074a857006100f5","datavalue":{"value":"recursively enumerable","type":"string"},"datatype":"string"},"type":"statement","id":"Q4739896$88A8CC3B-8C2E-4CD5-A3DB-F18413F76365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63b11bcfcaf0b5487db40c2b173981d101bf4e76","datavalue":{"value":"semantic consequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q4739896$538C2548-CF99-4DE1-87AE-19D8BDCE668B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"886cd48ede84d1e4cded9add13d9fd87244a71f6","datavalue":{"value":"deduction theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4739896$5EBE62A1-66C7-46F1-B80D-921422A3F46F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd0367c50fa813e8df85df5b9ddcf397ddfcab66","datavalue":{"value":"compact","type":"string"},"datatype":"string"},"type":"statement","id":"Q4739896$FD90008C-1B69-4550-899F-0150185C856F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd90b10c86bcd3a1ea00e5a723ecbd3727c10897","datavalue":{"value":"strong completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4739896$936BAE3C-5290-42BF-B29D-C7E4A484E495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6ec6b1e739c3e1d48fdf33e738e28a024efad29","datavalue":{"value":"number theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4739896$F8CCC761-CD77-4C94-ACAF-10E92C9B290E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8274d19239dfac810babe66d69ce972590f57b19","datavalue":{"value":"theories of free algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4739896$9ED546F6-CC0E-49AE-95DC-A1118275E306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8edb1e82367a84469437b08e00cba94f70fffaea","datavalue":{"value":"string theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4739896$D5FC12FD-1975-4A50-A40B-AA1D17D9189F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4156164b9aa731ea0c7711cd986b062fc27e43de","datavalue":{"value":"Q58436015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4739896$67EDABEF-D7BF-4D2F-8A4D-C89EB6CE74F4","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":"Q4739896$019EAA3E-8390-4574-9BF1-A2056097CEA0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"82ac95486a1e22904e82bcef1097a52165b9675c","datavalue":{"value":"https://doi.org/10.1080/01445348008837010","type":"string"},"datatype":"url"},"type":"statement","id":"Q4739896$B6AAB44C-F938-46E6-BAEE-7AC7E5C80DEA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b4615b6c411711362b0d9e222cf437b7bf326f02","datavalue":{"value":"W4246540032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4739896$89582AEF-C180-471E-94C4-FC1BA4067F40","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7560ee1eeb9a13415ac8537672089a0c086ad04","datavalue":{"value":{"entity-type":"item","numeric-id":3235339,"id":"Q3235339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4739896$98A00F8F-7BE9-4C92-8476-F31FB79AF6DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"089564042dae6c33d77c6e45e2c14e431e068470","datavalue":{"value":{"entity-type":"item","numeric-id":5966796,"id":"Q5966796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4739896$DE14DC28-98DF-49E4-A751-C7314059FD8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8681873d735d37e1e9070ec9822c08567f76185","datavalue":{"value":{"entity-type":"item","numeric-id":4111551,"id":"Q4111551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4739896$05A4C9AE-3D79-4F70-9CEB-5FC94DB4CA7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca4f823ca2e82e86e612699cdb65f38c133999d","datavalue":{"value":{"entity-type":"item","numeric-id":4052071,"id":"Q4052071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4739896$CBE26E61-6190-4D38-A50F-9D8F6CBA7EA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c9958edd00a17e20ebe79e95d7518f7dc3fc3a9","datavalue":{"value":{"entity-type":"item","numeric-id":2538118,"id":"Q2538118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4739896$4CAAD3BE-F0D3-4FA3-B7C3-14212F4F1ABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b986f531a76b51b0af4fb1f0351ee33f04b2bb3e","datavalue":{"value":{"entity-type":"item","numeric-id":1235692,"id":"Q1235692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4739896$324F228F-963C-43F9-8266-C6AA43EEF936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ffac142d646af260cfe0abb906cf0e80e503521","datavalue":{"value":{"entity-type":"item","numeric-id":4401917,"id":"Q4401917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4739896$9D054529-508A-46B2-8A7B-B6CE46E8E52E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4739896$0FC2CED0-16E7-41DC-86E7-EC04F47AEC37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97a935d8a6d38fa08406cc5caf1b9ac2a739c373","datavalue":{"value":{"entity-type":"item","numeric-id":5586197,"id":"Q5586197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4739896$6762758F-957B-4932-8671-33E81F647FFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4323f719ce556aa0fffe2f662ce5bbcc2b42b051","datavalue":{"value":{"entity-type":"item","numeric-id":4194958,"id":"Q4194958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4739896$749AF7B8-C700-455A-B339-D6400FCB6E40","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4739896","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4739896"}}}}}