{"entities":{"Q5048993":{"pageid":7078570,"ns":120,"title":"Item:Q5048993","lastrevid":40874727,"modified":"2025-04-12T05:35:41Z","type":"item","id":"Q5048993","labels":{"en":{"language":"en","value":"Trakhtenbrot\u2019s Theorem in Coq"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7614663"}},"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":"Q5048993$E8C778E8-DBAA-4506-BA38-D6BDDF237C83","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0dc159d749b54e804fca02c88683cb74188af191","datavalue":{"value":{"text":"Trakhtenbrot\u2019s Theorem in Coq","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5048993$9C273F6B-15BB-4479-AA00-F842CC8637F3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d7989be6cbad31c90f27de36c563d283ab7ba1c2","datavalue":{"value":"10.1007/978-3-030-51054-1_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5048993$DF6677AB-0457-4B84-A9EF-916E14789785","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2727ea0c536c8b8965c6e43987197ce28213d80a","datavalue":{"value":{"entity-type":"item","numeric-id":1687748,"id":"Q1687748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048993$084B1E20-B755-40BF-8F3E-7E2D26843A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa467ab0fb5921a8aef55b984db7a2882bc4957f","datavalue":{"value":{"entity-type":"item","numeric-id":877885,"id":"Q877885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048993$00177715-31A3-4C6C-805B-AF2AA0EC1D7C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048993$5D45FD00-02B5-4921-AFC8-060BC3EFCC47","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a54434e20074f3f6b59987a5d81b4852d3c35ec","datavalue":{"value":{"time":"+2022-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5048993$BBB62F33-EA75-4864-BAEE-591FFF79E685","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"96590c5fef606a1aaec6c3e667fc90db16e438b6","datavalue":{"value":"https://arxiv.org/abs/2004.07390","type":"string"},"datatype":"url"},"type":"statement","id":"Q5048993$8E5F2239-9085-4F92-9857-F18078BC0D63","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5048993$E0399F5B-6AF8-4C8D-9E97-AD6DB1A99BBE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"658d8c55ef1d3f6683b19c9ee31e44571eba75ee","datavalue":{"value":"7614663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5048993$BA4B73FC-8EF2-4BA9-BCF3-C787761F3A1F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048993$76F21B0C-773B-41E5-8141-57E8216CD178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"053f057a9ca9b4add4062d6c88c8b63f9cdd58ed","datavalue":{"value":{"entity-type":"item","numeric-id":5972968,"id":"Q5972968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048993$59316450-F01B-4635-86A5-64496CE03713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4c386673f22e237daea70b393a7ff50a58f10f3c","datavalue":{"value":{"entity-type":"item","numeric-id":34460,"id":"Q34460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048993$1FD129FA-F8D8-49F5-9105-0113627D0278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048993$04A1A1E1-F561-4941-AC4F-F644DB0C837F","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":"Q5048993$1BA11506-236F-458E-9B47-7589A640A4F0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"448cf2ad7b1d83c22b03ad68e4c050f130ef3d62","datavalue":{"value":"W3046678492","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5048993$CD244CF8-64E1-4264-8590-439CAD91CD5D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"af4555c0d89e243a8a9351cedc1b4ffbfceace09","datavalue":{"value":{"entity-type":"item","numeric-id":5691140,"id":"Q5691140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048993$F71803EA-793D-47FB-809F-0EDE395DD78D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"decc60dfbdecb52e4624e62a3849ec2745afa0d5","datavalue":{"value":{"entity-type":"item","numeric-id":5747648,"id":"Q5747648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048993$808F1B58-1779-446F-A0C5-AB819640D3C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"112d092ce03f7e86d9996ef530de2a740a2f8c08","datavalue":{"value":{"entity-type":"item","numeric-id":418137,"id":"Q418137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048993$9EAC0345-7846-474D-8650-0707BE101575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d5dcacdf82491509f047ffa7adf630e71ade90","datavalue":{"value":{"entity-type":"item","numeric-id":5667469,"id":"Q5667469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048993$877C7C9E-17D0-42B2-8B47-09CE4571E072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29ef7590ac163e04f88fc79c8e41f44e7fea181f","datavalue":{"value":{"entity-type":"item","numeric-id":4474211,"id":"Q4474211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048993$29084974-47D6-4ED2-8CE0-9FD2F6D64CAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e10fa1752d092d6c6c5a3de919f27cff0565dc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5327346,"id":"Q5327346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048993$784A75A1-B273-4A7F-B660-381B1443B28C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44741cdb786a6bf061a764c2d5d278518b6bcecf","datavalue":{"value":{"entity-type":"item","numeric-id":1791165,"id":"Q1791165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048993$81DAE5A7-A09C-42B2-AA68-CCDF7FC16130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"409d11b5633225797f864fca555faf4aef15de8c","datavalue":{"value":{"entity-type":"item","numeric-id":2177578,"id":"Q2177578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048993$844A5989-40E9-4082-BFC8-10D6439A7B29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b3a2c82a66b9447278ab0b37c5a6dcff305b827","datavalue":{"value":{"entity-type":"item","numeric-id":5089029,"id":"Q5089029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048993$9E3E8EEA-B0EA-4D0E-91CE-50E0E41D3129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3e58bac6208e0b257239f199b4609b34b8219a6","datavalue":{"value":{"entity-type":"item","numeric-id":703864,"id":"Q703864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048993$DE549EB5-5C53-4A8C-B4D6-35A10A77EFCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b485181b6485fecf4313a7a59389b80e233a0ad4","datavalue":{"value":{"entity-type":"item","numeric-id":2945640,"id":"Q2945640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048993$A1EC47A1-8381-4A95-9576-35AC47557B05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dd9957084ef43a62c06703b0d19c71b6dbb0524","datavalue":{"value":{"entity-type":"item","numeric-id":2829273,"id":"Q2829273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048993$AFBA52B1-8BB4-4D68-9955-3BDF19A2C848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27c43b7e3610435da5759ec0170acf5a3e0de1df","datavalue":{"value":{"entity-type":"item","numeric-id":5797034,"id":"Q5797034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048993$D9ACF4C1-C3A6-47F7-8B6A-213E0C28AB3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2d8cfeb4874989521b9f332716d7e25aa8e131e","datavalue":{"value":{"entity-type":"item","numeric-id":5687313,"id":"Q5687313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048993$FF1A2BE2-AF29-43A9-A7B8-3ACAB8A1C759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"497b4c81f4eb1172c293c9383a73640c83e593d4","datavalue":{"value":{"entity-type":"item","numeric-id":4364399,"id":"Q4364399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5048993$43EAFFD3-CE52-4E0F-9FB4-6158EE316B2A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5048993","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5048993"}}}}}