{"entities":{"Q4610086":{"pageid":6639669,"ns":120,"title":"Item:Q4610086","lastrevid":53055482,"modified":"2026-01-24T03:26:26Z","type":"item","id":"Q4610086","labels":{"en":{"language":"en","value":"Automata-based termination proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6856316"}},"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":"Q4610086$95605719-F554-4BF4-AABF-A2B2BC55C02E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dadf1dfe9d8b6c95a24412552359aaa0caed692d","datavalue":{"value":"1413.68021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610086$7251C048-7FD8-4B55-9394-CD24D4588A80","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ffdbfd7b9177bc6559af43c12c896a5d2e47038","datavalue":{"value":{"entity-type":"item","numeric-id":537951,"id":"Q537951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610086$E1BAC19F-0A04-4BC3-81A6-4511C3BF47B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b07311c614a61a408aa9adc88aa384743c3f783","datavalue":{"value":{"entity-type":"item","numeric-id":2225469,"id":"Q2225469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610086$0E25FE04-A919-413E-8E70-3128F30E3AB9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fb5f99ba419b7cb955bf510c52103b6e8129dbb5","datavalue":{"value":{"time":"+2018-04-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4610086$27803490-93D1-4286-A74D-20312EEE0771","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610086$AA91FB32-F4E1-43BB-9172-E6ABC5AFC902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610086$78FF3ABF-F982-4D1E-B05F-61AE658144BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610086$5E396FBB-06C9-4938-A99E-8F1D38CD1A28","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"72c34dda68ec2386bda9ade92536cc51a572cc7d","datavalue":{"value":"6856316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610086$908E6868-D3B4-4131-A58A-85E3413AD752","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4610086$42CCE3CA-2E5C-4E45-98BD-FF19F95CDCB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37f2233143951bddc905b7237274c784a4a18186","datavalue":{"value":"termination analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4610086$3FC66304-99EA-4F9B-B339-7CEB8ABDEB8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3db880c44e3892417a5400283a3d37c5f9553d1","datavalue":{"value":"B\u00fcchi automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4610086$303130D0-2DCE-42F9-9A9B-8DA05225000C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7fe2f2415709197ca17d2732570ef76c1e4f0b0","datavalue":{"value":"tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4610086$2E8C3C64-2DFF-40DD-B732-9311E3D8FB95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"613fc0d713917b60c6a2a2ba72d48699b63b82e4","datavalue":{"value":"programs with pointers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4610086$7FF9BBBB-86F7-4921-B2C9-40132BEE7328","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":"Q4610086$5A532182-EF0A-4832-B1C2-E4CF08AD6230","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a80e05efa9170e108798d7558aa17e244a8715aa","datavalue":{"value":{"entity-type":"item","numeric-id":3637353,"id":"Q3637353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"117ff56917d475d9d41028b2cee4cc35a87c5a29","datavalue":{"value":{"amount":"+0.9661063551902772","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4610086$AE0D3E36-E1F4-4771-87B7-ECA03EC1113D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56880656c1f3f374864944b6a74ec7ac4bb0f6ac","datavalue":{"value":{"entity-type":"item","numeric-id":3510793,"id":"Q3510793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccf57be07506939ea7a93a43808c1925a710a104","datavalue":{"value":{"amount":"+0.8487704396247864","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4610086$23B2943C-CA04-4411-BA09-1D68CCCD9AF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4158cea25c12969a4e5e602560ef98cee1218ae4","datavalue":{"value":{"entity-type":"item","numeric-id":3192189,"id":"Q3192189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64f765d2ff7c7407de9101d9d0709b4db6aa8659","datavalue":{"value":{"amount":"+0.7966787815093994","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4610086$35009BE8-76B5-437A-8B33-81983963F54B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55e184b54aee7dbeee5e4b3c7420897e3a8e0c78","datavalue":{"value":{"entity-type":"item","numeric-id":5756731,"id":"Q5756731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b538c718f2016ffc7bee0e558b2e4ccc6197db01","datavalue":{"value":{"amount":"+0.7846887707710266","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4610086$C0812BC9-1ACF-4E70-89D6-6B2844BCB211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f0a802207774410f576ebc589867652a625a02b","datavalue":{"value":{"entity-type":"item","numeric-id":5941755,"id":"Q5941755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67a6d7e5fa53ee2f4ae42133f2eb9d08da9efc7f","datavalue":{"value":{"amount":"+0.7831771969795227","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4610086$18154FE8-0C22-44C4-BE0F-E8435773D06A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4610086","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4610086"}}}}}