{"entities":{"Q5404480":{"pageid":7434054,"ns":120,"title":"Item:Q5404480","lastrevid":75596683,"modified":"2026-04-19T21:09:35Z","type":"item","id":"Q5404480","labels":{"en":{"language":"en","value":"A Proof of Kamp's theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6272602"}},"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":"Q5404480$C7E44026-0FDB-4533-9651-AEED983A8323","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"64428f793b987ca6a437cc3768d413ebecad408c","datavalue":{"value":{"text":"A Proof of Kamp's theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5404480$AA0F7D9C-1BC6-44D0-ABB4-2ADBE9A76B20","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"243d68aa28a03eed8489389a207fa06ba792799a","datavalue":{"value":"1326.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404480$57763D51-0E41-40DC-9571-A07A087066FB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5be9331e7dde310981eddad383a693285ef2470c","datavalue":{"value":"10.2168/LMCS-10(1:14)2014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404480$1E64140C-5894-4FC4-B84B-600CE17B752D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"91a6d5b55b11b7c5072badc33d9b23eaf1c7a459","datavalue":{"value":{"entity-type":"item","numeric-id":259067,"id":"Q259067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404480$2BCE15A1-8A5E-450E-94E4-0D175368C336","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404480$FD870ED2-6B84-4E27-A050-5EDE81902A89","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"630dce3b2853701ed9536abebcceb27951f83aed","datavalue":{"value":{"time":"+2014-03-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5404480$1E545D1B-71FD-471F-ADDA-D84AB426DF44","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6df195b183f5d0579e58528960fa352d9b22b85a","datavalue":{"value":"https://arxiv.org/abs/1401.2580","type":"string"},"datatype":"url"},"type":"statement","id":"Q5404480$695CE984-E8A8-46BA-8304-146778AEB990","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404480$4D684EE1-C10A-4D4B-A927-432F00565FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404480$41C24F01-BED2-4864-8371-EDB050846A89","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3f7c3fb8b961ba6f54793c0034d5016aa0d17466","datavalue":{"value":"6272602","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404480$84C51C28-0DDD-4CD1-B49F-32AFF5628A96","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404480$8FBAD124-43B3-4A73-B2A1-0C6BECFE2CC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ef580dc6ba1451aeadb852ac0dd131e497dec33","datavalue":{"value":"monadic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404480$222F93A9-D7B1-46D7-A57C-A3359ADAD422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85fa719687a863a2711abb88df1c8caf1ac555c9","datavalue":{"value":"expressive completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404480$7F72E876-4BDF-4C02-9ACE-574A2D9AB284","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":"Q5404480$344C99A4-AD62-4D0A-AA77-79D74EE4CDDF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d9cede36a3a065cb9dd1125e4b2f21b5b6499a74","datavalue":{"value":"W1979919662","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404480$7971D52F-F593-4973-BE95-4893C3A9DC5F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Proof of Kamp's theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Proof_of_Kamp%27s_theorem"}}}}}