{"entities":{"Q6545484":{"pageid":14156638,"ns":120,"title":"Item:Q6545484","lastrevid":42335077,"modified":"2025-06-11T15:09:36Z","type":"item","id":"Q6545484","labels":{"en":{"language":"en","value":"A proof of Grilliot's theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7855066"}},"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":"Q6545484$575C7D2C-B4E4-42E8-8690-CA596C8D0293","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eef2b943583c88f3cf80ca9eb5ca987a570d8da0","datavalue":{"value":{"text":"A proof of Grilliot's theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6545484$4254D8FC-82EA-419A-BE8A-A3B40555C15F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"79b013b7a9d2a2f8dca67e43ff0a0f9cda9e012d","datavalue":{"value":{"entity-type":"item","numeric-id":1699739,"id":"Q1699739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545484$08A8CBA5-9844-49FA-A442-05B28B00345B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ae647e10a9f26be5d7ece0709c74b6df42fe39d","datavalue":{"value":{"entity-type":"item","numeric-id":6545483,"id":"Q6545483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545484$CD3DDC58-742A-4ED3-B3F1-81EFEFD94E2C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c4f16ddc5cdb18d4f4fb3ee6d704d6609c3404ba","datavalue":{"value":{"entity-type":"item","numeric-id":223802,"id":"Q223802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545484$C6A7599A-54E0-4AE7-9963-E88AA92A4BFB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c775b7be76488bf652b31b8283b5e517156ef32","datavalue":{"value":{"time":"+2024-05-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6545484$324228FA-5F93-4D8F-BEFE-0C3C42A54B3A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cde05172e5f9c37cef740a3519be6dc5014d282e","datavalue":{"value":"03D70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6545484$242D40A6-148D-4973-8153-E6731E8890E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3fca415580115e1e0a74c69afb3a7d85b0c01d8d","datavalue":{"value":"03D55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6545484$41CB9BBA-1A14-4B74-8750-6C791E8EAA3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"57eee2f313463199e20b9235bce5c88ea02d3389","datavalue":{"value":"03D65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6545484$D6414EF5-A2A6-4BCA-ABCD-DE4ED2ADF585","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"938fc69332c4f9be8587b060cb4cab2175c2c8ce","datavalue":{"value":"7855066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6545484$B8919FD6-CD76-454C-8919-5E12C941F5E6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce2913db2da8cd020ea523fad9dca370a7524695","datavalue":{"value":"\\(\\Sigma^1_1\\)-induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6545484$DB4B7216-15E7-4947-A6E3-9E130D852230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1e29c1e69df0b6d1827b21cf5575217093f886f","datavalue":{"value":"generalized quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q6545484$CDFF1120-366E-4F70-871D-0EE9EF046B6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33c3b0533929c05e68df7dfa7a6d61ab450f8c04","datavalue":{"value":"Grilliot's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6545484$2D972D21-EC8D-4503-92F6-6AD64DF8BD25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba29bc695092e1012b615eb49ec43774f5b5c42a","datavalue":{"value":"inductive definition","type":"string"},"datatype":"string"},"type":"statement","id":"Q6545484$D1BC68DC-7501-405D-8FCD-CEC97C2ADB61","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":"Q6545484$F06CC409-0BF6-41CC-B9B1-8F903BD8201A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c90d12e58d300b19e7b01075615b91026d9c122f","datavalue":{"value":{"entity-type":"item","numeric-id":4060953,"id":"Q4060953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545484$FF065C06-FD9B-4D4E-A758-67E225AA7792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d7adc60d1a42857ba94e9f737e68697a9ebb478","datavalue":{"value":{"entity-type":"item","numeric-id":2545877,"id":"Q2545877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545484$700594FB-9A91-4212-B5D4-7327A27AD5D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f906a6c0ba42d81e90b39ec78737b021dabe4a91","datavalue":{"value":{"entity-type":"item","numeric-id":4087141,"id":"Q4087141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545484$0EA38588-9961-4851-ABA3-EB4BE44BA0AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df365e2750bcc90fe63e52a82b25a29336cdac5","datavalue":{"value":{"entity-type":"item","numeric-id":4079598,"id":"Q4079598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545484$FE7E8BCD-4977-4400-91F7-B01E94808CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0279542353a48b6468c008c0fdcbceba5faab779","datavalue":{"value":{"entity-type":"item","numeric-id":4770391,"id":"Q4770391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545484$93289D81-6855-433C-95E8-5071760B0B23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37852c63593dc455f63cfcdf4514723d8e443cfd","datavalue":{"value":{"entity-type":"item","numeric-id":5628117,"id":"Q5628117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545484$9B8FD192-347D-43D5-977B-E6F3416E0246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"825f9261e173f7260e4cb6325d137ba10b950947","datavalue":{"value":{"entity-type":"item","numeric-id":4137152,"id":"Q4137152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545484$29893CB8-87B4-49B2-BF56-74279123D9D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58a66e0cc625c606d1d9e09913eed76fc6e83761","datavalue":{"value":{"entity-type":"item","numeric-id":3921208,"id":"Q3921208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545484$E4C95EDF-327F-49B3-AEB3-FDAFD2F74456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fa762974e3cb0286b2a40e5214b429aa00cb948","datavalue":{"value":{"entity-type":"item","numeric-id":1217684,"id":"Q1217684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545484$AE80CD24-230A-4297-9624-99F4E5D9DB9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6ba7bbdfa2f595c9ac52ade5fd0e2ee26ed9eb1","datavalue":{"value":{"entity-type":"item","numeric-id":4063427,"id":"Q4063427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545484$45B0AFC6-A17D-4A86-84C2-16206F2B1E42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1f0c3549d5b8155ce7e1ff13ae07abb3b6da851","datavalue":{"value":{"entity-type":"item","numeric-id":5322161,"id":"Q5322161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545484$47E26E95-818C-4444-AFB2-F79DCF5F7549","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"74af7a6bd74a62c1932178c2163cc3b9c6ddb4dd","datavalue":{"value":"10.36045/J.BBMS.221123A","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6545484$AD8E2595-A02C-4B39-B95C-2FA9BF075BFA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6545484","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6545484"}}}}}