{"entities":{"Q6940472":{"pageid":21146439,"ns":120,"title":"Item:Q6940472","lastrevid":84102623,"modified":"2026-05-10T03:13:19Z","type":"item","id":"Q6940472","labels":{"en":{"language":"en","value":"Mechanisation of model-theoretic conservative extension for HOL with ad-hoc overloading"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8082570"}},"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":"Q6940472$57E01D29-4F07-4600-9AAC-D86A5E345593","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"76f4e8cc640d19b590c3ee4ad141ca409e176830","datavalue":{"value":{"text":"Mechanisation of model-theoretic conservative extension for HOL with ad-hoc overloading","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6940472$ED2011F3-6314-46CB-A489-BCE0B9FD4BA7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a5621d85c48cf8404cc6339843e4e51a573a7bf7","datavalue":{"value":"1570.68242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940472$5E493C16-957A-4131-8EB9-01A9A09B9E24","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"063d25781c5f4d792966a9b9722774c309eea9dc","datavalue":{"value":"10.4204/EPTCS.332.1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940472$323CFD66-F6A2-4D6E-8E19-EACC34936E01","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0a69af38cae38497a3b6969516220d27a2d53cc","datavalue":{"value":{"entity-type":"item","numeric-id":2037932,"id":"Q2037932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940472$F82E65FD-20EC-4888-80B4-61FEA9A4B108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c576e290d89c249adea9f2616a7cfc2d1b21a82","datavalue":{"value":{"entity-type":"item","numeric-id":1687763,"id":"Q1687763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940472$CE7EF0BE-5CEE-41D0-AEB5-19BFC93EB1AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1f8cd3b806fd78547b3f4844ba487e41a5ec455","datavalue":{"value":{"entity-type":"item","numeric-id":286783,"id":"Q286783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940472$D28B558B-0D32-4C50-95CA-E4C545F2C9CB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6fb3c2642bc08f401365e4a6aafa09d756f14110","datavalue":{"value":{"time":"+2025-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6940472$6A421111-1FC9-4C9D-BE5B-A4F08B881469","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940472$3497E55E-B624-4A07-A1EE-E0A628FC1175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940472$076EDF88-6CDD-44B3-B649-3A0B6300C98A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940472$B63E0CAD-8170-4304-801B-CA51BB736407","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7bba297913e2a90551fe650e46614055945c42d1","datavalue":{"value":"8082570","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940472$8D12AD5A-546B-49F7-8814-1120BBC95684","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"55caab8c5bb050f39298bb24e71802196fa28463","datavalue":{"value":{"entity-type":"item","numeric-id":56978,"id":"Q56978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940472$45988CBE-3EA5-422D-A803-9D02F45C966A","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":"Q6940472$E12FC8FE-270C-4B1C-8443-D15EDFBB7C04","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f77c0a86943e8d93be63fc22f23daf955241422","datavalue":{"value":{"entity-type":"item","numeric-id":2879274,"id":"Q2879274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940472$1BBE213A-EC4B-4F71-A86B-997C3F5676F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4626da215a6a07b49f21bfe28a540ce6160aa12","datavalue":{"value":{"entity-type":"item","numeric-id":2333319,"id":"Q2333319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940472$9DD75B8F-59A3-4ACD-9B5D-9B58C5EFA731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c1562d03e43afb05bfa5895bdcedab3093f17dd","datavalue":{"value":{"entity-type":"item","numeric-id":2037933,"id":"Q2037933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940472$8331DA29-A98C-4384-B1E2-E294146764F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb1bab11b75e766c233c3a1b9a3682b90b0e288d","datavalue":{"value":{"entity-type":"item","numeric-id":3075247,"id":"Q3075247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940472$BF5879F7-162F-4BAB-AA0F-0E80F3C56E87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14533123e0b9e73c06f9737a070ee002c25f5f1b","datavalue":{"value":{"entity-type":"item","numeric-id":3612442,"id":"Q3612442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940472$C9C22C6D-8F35-4125-9656-7C061663849F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"999b14224255809098a606c16262602638de58e6","datavalue":{"value":{"entity-type":"item","numeric-id":2879260,"id":"Q2879260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940472$93E5C6AE-6460-4E02-82FF-1925DB767193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92281f917da3a00fe0192413035ae6a90371a0b1","datavalue":{"value":{"entity-type":"item","numeric-id":287361,"id":"Q287361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940472$51FA8A60-2689-425B-8A03-586B9E63B402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9869af4c1832a9ef2f342be2d269b8ea895d4f2a","datavalue":{"value":{"entity-type":"item","numeric-id":1739913,"id":"Q1739913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940472$DEFC24AA-8E27-4BFF-95CA-A5EED4BDAA0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2622e8892c0aaf09e727281c5cb9109808708d59","datavalue":{"value":{"entity-type":"item","numeric-id":2988665,"id":"Q2988665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940472$235203FC-C3FC-4EEC-A6F9-40DCD497ACB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34cc3a3d8722bafd75712de0bd470daeb53e5397","datavalue":{"value":{"entity-type":"item","numeric-id":3527296,"id":"Q3527296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940472$2C680C99-0739-4470-AF41-0CF67659498E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940472$7A801275-9A42-4124-99C1-8B9BAD5B800D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6df3cfdd6a5466641b3d099b42234a2ae22d485","datavalue":{"value":{"entity-type":"item","numeric-id":7024188,"id":"Q7024188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940472$E9FC8D64-07DC-4771-BF95-4718CF61C9B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940472$FE397E8D-8CCF-4DF4-9C34-7C526F8FD331","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mechanisation of model-theoretic conservative extension for HOL with ad-hoc overloading","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Mechanisation_of_model-theoretic_conservative_extension_for_HOL_with_ad-hoc_overloading"}}}}}