{"entities":{"Q5874197":{"pageid":7903748,"ns":120,"title":"Item:Q5874197","lastrevid":39654427,"modified":"2024-12-30T16:43:14Z","type":"item","id":"Q5874197","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7650824"}},"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":"Q5874197$0A26572C-E1E9-4AF7-8AB1-5BAAB73752F3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7fffcc49ccf08288968257b20f203206e3f67d8a","datavalue":{"value":{"entity-type":"item","numeric-id":299192,"id":"Q299192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5874197$FCA650EA-A973-464D-975D-557B1510B342","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1cf2c00ad9755e29029658ecb4f6eb01aba3c5f5","datavalue":{"value":{"time":"+2023-02-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5874197$F59BB72C-E46D-4C04-862D-C4CEB74452B5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"50ec72b3d445b70b75e7981368f063d5d020c90f","datavalue":{"value":"https://arxiv.org/abs/1902.08048","type":"string"},"datatype":"url"},"type":"statement","id":"Q5874197$F25E61F9-0267-4F70-B3F2-E1455F5658B0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5874197$F2A42FD3-B654-4D32-B662-3F84F3982A07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5874197$A1EDF511-DBEE-419F-97CB-E74A9A545467","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d942bedb2f5a7619db1fd100260457c78c2aba17","datavalue":{"value":"7650824","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5874197$F492EC6E-9009-4CB9-97F8-893E8B8EE0A9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dce58886ffc63b5facc93c53510fce5628bb35f","datavalue":{"value":"Kleene algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5874197$628F38BF-3957-425D-B57D-94EFF8246028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e2e28f65b47bd2ddb40530dcc4b99b61384475c","datavalue":{"value":"language algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5874197$B8648B0F-E074-48F5-BA41-1D8E8FE78A36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669e1ab0be3b0e96a51a2ef7e433c212210f37a0","datavalue":{"value":"completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5874197$07D226CC-81DB-48E4-ADD2-33EBAC86CBC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66278a5c931b890ca2a4eaf95c16a94ffb623e60","datavalue":{"value":"axiomatisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5874197$62E8C0D4-E70A-4907-9983-38FAB7A5D423","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":"Q5874197$C961775F-C0F6-487C-BED8-D831BA882C8B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2a0a0e7885954c1ff583ca6c78be8aa4ebc296a2","datavalue":{"value":"10.4230/LIPICS.CSL.2020.11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5874197$8F8E633B-406A-4037-9EE6-51D6876E9CC1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5874197","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5874197"}}}}}