{"entities":{"Q1241504":{"pageid":1252254,"ns":120,"title":"Item:Q1241504","lastrevid":68278122,"modified":"2026-04-12T22:38:36Z","type":"item","id":"Q1241504","labels":{"en":{"language":"en","value":"Consistency property and model existence theorem for second order negative languages with conjunctions and quantifications over sets of cardinality smaller than a strong limit cardinal of denumerable cofinality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3568646"}},"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":"Q1241504$9DAC7A0F-6DD9-48E7-AC77-8028E6CF744D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a0cb307c41fb1f8e8e94c235effae12340b809d2","datavalue":{"value":{"text":"Consistency property and model existence theorem for second order negative languages with conjunctions and quantifications over sets of cardinality smaller than a strong limit cardinal of denumerable cofinality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1241504$FEF8FC5E-87CA-4DCE-83AC-475B18B571AE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a9a622ba12e9a3993f0da8167bcf30834219fade","datavalue":{"value":"0365.02006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1241504$06928A41-ACD1-4A38-8B5B-79FF71DC98A3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"823d47f9efbf6f3be440409eb6575fb02df1512e","datavalue":{"value":{"entity-type":"item","numeric-id":582285,"id":"Q582285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1241504$C85A566E-EBF5-480B-959C-8B1969DD10F0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"816e97a1cfcdf018f87d172411a8ab21b6bfff04","datavalue":{"value":{"entity-type":"item","numeric-id":361729,"id":"Q361729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1241504$707936A2-D392-442C-800B-3A66D20BD8DF","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":"Q1241504$F055CA2E-79E8-4048-92B3-13E7119A8842","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7087dcac815fd0e51652ac010b886ea90765bf05","datavalue":{"value":"http://www.numdam.org/item?id=RSMUP_1976__55__123_0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1241504$0DAE5BA7-4F37-4778-B4C7-8FD6520D4B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"6afddd7a96b54161088d717f495691f1426e9340","datavalue":{"value":"https://eudml.org/doc/107584","type":"string"},"datatype":"url"},"type":"statement","id":"Q1241504$690DDF86-20DA-4292-AEDA-420704B58095","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1241504$C6E3F1C8-838C-45B5-AB0E-2DB81C2554D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1241504$2C8A123A-9FC9-4EB9-9187-55517023C73E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2c8fe0e0d9053b9c71e705326a25639cfa34093d","datavalue":{"value":"03C68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1241504$1602EE51-7ED8-478B-894F-3EC624D8A17B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"381337aff633cee8e7cd1aec61e09f62b04b6376","datavalue":{"value":"3568646","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1241504$8B0555B4-E1BF-400C-9E25-D7AE461901FC","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":"Q1241504$06F3DE80-A52D-4D72-B3D1-4ABE725C8672","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4da258b65e2346205134973cc333997cb45b7692","datavalue":{"value":{"entity-type":"item","numeric-id":5570212,"id":"Q5570212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1241504$66860F4B-7199-4989-923B-8307768DF1F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"679d0bb64227d11be68cc697f954128e56e42db1","datavalue":{"value":{"entity-type":"item","numeric-id":5626599,"id":"Q5626599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1241504$796AAC45-38B8-4BC2-92DA-EBF9C3287B71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ca699d9eaadc034c8acba58807d8465fe6e2279","datavalue":{"value":{"entity-type":"item","numeric-id":5332215,"id":"Q5332215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1241504$42152F58-4764-4140-A376-7004EE43A74A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"513cd16611933cacb7ef35e1436c80cfdc4f92c4","datavalue":{"value":{"entity-type":"item","numeric-id":4065507,"id":"Q4065507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1241504$5907D931-F800-42A0-AC78-16FB5F518277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d1739c2b55475dfd43cc45c16cc81ebdb6214ea","datavalue":{"value":{"entity-type":"item","numeric-id":2547549,"id":"Q2547549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1241504$6FE8F4F0-FCA9-4294-A90D-D9DFF4344E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"252bd732bafc8e7fb6439cbd130c0bfa151f9ae1","datavalue":{"value":{"entity-type":"item","numeric-id":4405133,"id":"Q4405133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1241504$7AA0991D-EA0F-4EA8-8577-575441B80980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1181af74c3050f9d602e64480fd3f8e5cdfbbe99","datavalue":{"value":{"entity-type":"item","numeric-id":5643984,"id":"Q5643984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1241504$DAD2258A-6092-4F88-9822-2D7B8B5D4054","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":"Q1241504$B5F0E410-D598-44C5-BF08-1072BED73103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1241504$7913F5FE-9491-48CA-8E32-7541268324A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Consistency property and model existence theorem for second order negative languages with conjunctions and quantifications over sets of cardinality smaller than a strong limit cardinal of denumerable cofinality","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Consistency_property_and_model_existence_theorem_for_second_order_negative_languages_with_conjunctions_and_quantifications_over_sets_of_cardinality_smaller_than_a_strong_limit_cardinal_of_denumerable_cofinality"}}}}}