{"entities":{"Q6572550":{"pageid":14183705,"ns":120,"title":"Item:Q6572550","lastrevid":42356172,"modified":"2025-06-12T17:06:21Z","type":"item","id":"Q6572550","labels":{"en":{"language":"en","value":"A verified cyclicity checker: for theories with overloaded constants"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7881128"}},"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":"Q6572550$BD8651D4-7F7A-4D3B-8CEE-350E07C720BB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"076a884bd6b25410a716866e5369f3b2a06bf274","datavalue":{"value":{"text":"A verified cyclicity checker: for theories with overloaded constants","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6572550$09EE2284-0817-4784-84AF-B2B74883C73C","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":"Q6572550$CFCF664C-0348-406F-A2E1-23E65FCB69FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a8f2f10d3616597931dae33797b17219e2eaee7","datavalue":{"value":{"entity-type":"item","numeric-id":5875444,"id":"Q5875444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6572550$50BBF4ED-33F2-4B95-AFD7-8A8ACAFD7528","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7dae1a09e0b079923de71e99f58f11ff9161f5ec","datavalue":{"value":{"time":"+2024-07-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6572550$170A1539-FE64-45C9-899E-B4E69E1A4A90","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572550$554204DA-8E01-4214-8C83-B99FA9CA1E8A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b58b401f3f8ce1007638dac104b5a09a2b69f987","datavalue":{"value":"7881128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572550$D64DF049-D211-49B5-A888-EA217A4D388B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"098814d964b2e5315ab48a7222c3ce7eb5d789ac","datavalue":{"value":"cyclicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572550$135D132F-373C-4BA8-A6D4-CDFB525621CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54efe8b49a37b1aa489fb0e653d938725cf2fcaa","datavalue":{"value":"non-termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572550$200EBA6E-4FDC-4A02-9A8B-F76E5994D53D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f01c975d5693c35af6b9e99f2b57c97f3ce08305","datavalue":{"value":"ad-hoc overloading","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572550$EF446BD0-3EC1-424A-91E9-10860F214E84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"815eac359e98c9f52da92b669667ea324d3c0ac4","datavalue":{"value":"definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572550$B77E8544-1B40-4894-8379-224274076C35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f0513e500ea6cb630e73925875c7d53ca8d8e1","datavalue":{"value":"Isabelle/HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q6572550$CCF5FC71-A2AA-49A3-BF0F-2CE3189E11DD","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":"Q6572550$9D848171-BCC6-4FD2-ADA4-E1E3B06E82FC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"39c890168f971e8f7f7b922a46f61069d3d43d55","datavalue":{"value":"10.4230/LIPICS.ITP.2022.15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6572550$083B8649-C2D6-4739-A4E9-66D01C1726AB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6572550","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6572550"}}}}}