{"entities":{"Q4649569":{"pageid":6679150,"ns":120,"title":"Item:Q4649569","lastrevid":39465442,"modified":"2024-12-30T13:59:18Z","type":"item","id":"Q4649569","labels":{"en":{"language":"en","value":"A Proof of Kamp's theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6109855"}},"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":"Q4649569$71DFCBED-1AEF-427C-B0F7-3EA3ABBC7F1A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d1d41fd32535c787a0b497fc72b672bd830f6aac","datavalue":{"value":"1252.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649569$2ACDB5DB-1756-4DFA-8A49-C9A749989B26","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":"Q4649569$0CF08F68-6459-4C35-AD98-30D24AB18693","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f3aa46d2f66375aad8f9f235cf6aa2da570e73e","datavalue":{"value":{"time":"+2012-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4649569$9B8628A6-E5D8-4FDB-861E-24BC127A2EF3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649569$D87AE766-D5B1-4913-943D-678F80610456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649569$E7F03EBE-3EF9-41FF-A207-EBE6CAB04A63","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c996b7b5a1186edc0dab23533e56beb45abd412","datavalue":{"value":"6109855","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649569$FD118654-B044-4A4B-96E5-9923C38CD5F1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649569$8E028B90-4BFB-4C43-80E2-95A68F19E3BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ef580dc6ba1451aeadb852ac0dd131e497dec33","datavalue":{"value":"monadic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649569$A81911D0-FDFF-4F2D-A473-0D1B8FCDD5F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85fa719687a863a2711abb88df1c8caf1ac555c9","datavalue":{"value":"expressive completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649569$8C362F12-0324-44C0-BF2A-BF8B292CE277","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":"Q4649569$F7EF81A8-762E-4B97-97D6-8659C118D275","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"028ae0e6927bdf24cf5f8a7712f01f07a8a551e2","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2012/3694/","type":"string"},"datatype":"url"},"type":"statement","id":"Q4649569$9D2C73A6-90E8-41C7-BA19-BD911459B41F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7eff07d1bf92ae641c7595e0226d31574ddf5889","datavalue":{"value":"W2963358687","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649569$6F621D3E-9329-4D3B-A6BE-66EC78AF75CA","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":"Q4649569$743F2CE3-7E89-4B35-8F03-47743409A2BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ba4646e1ad901cd09f7dd655dd17eb1340cbe76a","datavalue":{"value":"10.4230/LIPICS.CSL.2012.516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649569$196E3013-D796-489E-B5E9-9186B00F912F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4649569","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4649569"}}}}}