{"entities":{"Q5404477":{"pageid":7434051,"ns":120,"title":"Item:Q5404477","lastrevid":75596656,"modified":"2026-04-19T21:04:19Z","type":"item","id":"Q5404477","labels":{"en":{"language":"en","value":"The size-change termination principle for constructor based languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6272599"}},"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":"Q5404477$A3C3981B-9A47-4D74-B4B7-A41B18A353BC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c802fbba99f0112fb2e82e53f7e4d018f3cd5b9a","datavalue":{"value":{"text":"The Size-Change Termination Principle for Constructor Based Languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5404477$764408B3-4717-465E-BEA4-9705151F881E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2881026473f8677287f1ed6a6ef2f79b9ac90c09","datavalue":{"value":"1325.68048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404477$8C8B6032-D94B-4C39-87C6-815C1CD18F57","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"62d08f1894db97858d274a1ea91388637903ac1d","datavalue":{"value":"10.2168/LMCS-10(1:11)2014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404477$A635CF52-498B-459E-B83F-305F236D25A8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"56c6e0c06e570c4f0af8fd5a594ee659d84af8a9","datavalue":{"value":{"entity-type":"item","numeric-id":5404476,"id":"Q5404476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404477$293DE3A7-6D97-4ECD-BF8B-40ED7B83803F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404477$CAA4F94B-ECB9-4261-97A5-E1D3E235CF9C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"630dce3b2853701ed9536abebcceb27951f83aed","datavalue":{"value":{"time":"+2014-03-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5404477$75B45732-69F6-4543-A528-226BA76E17D7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c8a1bd81e307fdbe5dcd4bcf4a3e67cf943295dd","datavalue":{"value":"https://arxiv.org/abs/1306.3833","type":"string"},"datatype":"url"},"type":"statement","id":"Q5404477$A2D3F6A4-4E26-4DC5-B5B3-DCE01679A9C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404477$5F75A220-2AD1-46ED-9ABF-17160CB5368F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404477$B775DEBF-B289-45AC-9C46-7986493BA642","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0487fac334877b164685de1f3f2ab994a03ecd93","datavalue":{"value":"6272599","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404477$77710255-8F76-44DD-9459-6017B26236BE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404477$F8D547FF-70E2-439F-9C8F-94CCDB86AB65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37f2233143951bddc905b7237274c784a4a18186","datavalue":{"value":"termination analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404477$AC2B8841-A433-4E34-AB9D-05CCE1EE2695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78c3f12c6c2c3ce1b339c0d0844e1b3929928906","datavalue":{"value":"size-change principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404477$9FB06241-7AFB-41D8-BDF4-1C77D9A370BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9247578e9ed3f7eb1c91418af0599c592a92727d","datavalue":{"value":"ML","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404477$A77CC361-7785-492E-BE39-0373E9D823DD","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":"Q5404477$50FD0770-59E2-4793-8594-B10631ED3000","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5823070a3385c51a6526e1dbcb2c66f49943f343","datavalue":{"value":"W3098977388","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404477$03CA0BA8-B319-4586-9C7A-EB527AAC7799","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed0d70d8495821b4684202cf593e725fecab94e4","datavalue":{"value":{"entity-type":"item","numeric-id":5178875,"id":"Q5178875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b87eba52c6b09c9e7c5f02fe5d6601cd18906ee","datavalue":{"value":{"amount":"+0.8489232063293457","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":"Q5404477$21F79269-4C32-4C9A-B0E0-BD60AE60CB63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb7db53ae5dfe42e2941ee36e1113e1a4338c18e","datavalue":{"value":{"entity-type":"item","numeric-id":5493392,"id":"Q5493392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d999a50100d6488e36cd30ecc98ec123a70bb014","datavalue":{"value":{"amount":"+0.8010493516921997","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":"Q5404477$45F1E60F-8E2C-4C01-BB20-ECCC76C35FC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2dbc5c1b93109bae4e417753d10865fd36192db","datavalue":{"value":{"entity-type":"item","numeric-id":4447238,"id":"Q4447238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"990bb9a8e800eb2a7bd6b91261ff6dbacd93e6cc","datavalue":{"value":{"amount":"+0.7996010780334473","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":"Q5404477$C9902483-933F-46A3-A249-2570CE607A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aae61b3c00851e06a87c9ed8d99de7f61292ab32","datavalue":{"value":{"entity-type":"item","numeric-id":3434633,"id":"Q3434633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f84e53dfb6b3f9416c753d16d4c9fbf759af0d8","datavalue":{"value":{"amount":"+0.7941871285438538","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":"Q5404477$0365C350-F8A0-47CC-8529-457E329811AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9f953e2ee4e4da0dc2baca27f2305ee38b6c1cd","datavalue":{"value":{"entity-type":"item","numeric-id":5901559,"id":"Q5901559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f88c96707ac0764b0ccffe9e8468af87ae83a85","datavalue":{"value":{"amount":"+0.7748681306838989","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":"Q5404477$6F97CDD1-757D-454D-94EA-085C01069646","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The size-change termination principle for constructor based languages","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_size-change_termination_principle_for_constructor_based_languages"}}}}}