{"entities":{"Q5940917":{"pageid":8117719,"ns":120,"title":"Item:Q5940917","lastrevid":97643876,"modified":"2026-06-05T15:09:31Z","type":"item","id":"Q5940917","labels":{"en":{"language":"en","value":"An ordinal measure based procedure for termination of functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1635068"}},"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":"Q5940917$BCD2B12F-3C6C-4BFA-BD4F-637DA3E8794E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"da6539577b2423dd8d0feb228c342885d4f57249","datavalue":{"value":{"text":"An ordinal measure based procedure for termination of functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5940917$F05C5C9F-14BD-48D6-97F1-CE7E7ED9EB9F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ad28166802788402e72b13dc0b50a1f0b9cfa918","datavalue":{"value":"0972.68143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5940917$2FA05113-ABCA-466C-8C2A-81ABEC5D60CE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ce4e04e06050da30716a77949ad47438780f7087","datavalue":{"value":"10.1016/S0304-3975(99)00118-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5940917$D477D050-760E-4BEF-8061-0CCBD5D6215A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"69111b29da1a9ff727b31d3492d0ce1a50b7b942","datavalue":{"value":{"entity-type":"item","numeric-id":2576569,"id":"Q2576569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940917$D0661E5F-C525-4E77-B022-41E4819F4339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"469c4f6ddb3a594214f77e89bd96405d1e189611","datavalue":{"value":{"entity-type":"item","numeric-id":1346628,"id":"Q1346628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940917$5916350B-89AA-45B1-8560-900C76F0F4E9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940917$AB54E459-4296-4A3C-AC8B-CCEEEE09089A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d780905acb67c2b1b938af03e08b68df411214b","datavalue":{"value":{"time":"+2001-08-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5940917$CDD29848-DFAB-45B0-92F2-7CAF09D00ED3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5940917$F826D165-5F76-4442-923E-B5DAF2168FF3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1cc43c60911dc7308f1f0caec4cdb8641ab3b703","datavalue":{"value":"1635068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5940917$B4DC0D45-3BC4-4E63-AD97-CE89E6B311E3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5940917$59DE8B18-F935-46F1-A713-2C3F6BA39112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"960aea1a1616fce18f77554c8cdc7ff007991ab0","datavalue":{"value":"ordinal measures","type":"string"},"datatype":"string"},"type":"statement","id":"Q5940917$02A05CA4-8225-4E82-8EA1-01C64735BECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55caf05c57404ab910cf1d6d785d791abcc73ea3","datavalue":{"value":"formal proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5940917$1BEA34D3-619D-47E3-BBD4-F4E87A55B132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cb6d27fde1e3214c7492516628c363d07c12966","datavalue":{"value":"NQTHM","type":"string"},"datatype":"string"},"type":"statement","id":"Q5940917$5C1F8D97-D2D8-45B3-A26C-AF309406A19C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d602faa59e8a6a2b863166a2397730b33fbaef5d","datavalue":{"value":"ProPre","type":"string"},"datatype":"string"},"type":"statement","id":"Q5940917$6488DD29-C745-4F52-B1B8-C461808E493D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"976c7223712d553b4554d203ae38c5519f1f20e4","datavalue":{"value":"automated program synthesis system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5940917$8721E068-EA7E-41A6-A8D8-9316F3AFC862","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":"Q5940917$EF577553-57B0-47BF-BA4F-DE82BAA9EF58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2e07b63a7544a6d7c83390f82ddae368b77e124c","datavalue":{"value":{"entity-type":"item","numeric-id":19570,"id":"Q19570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940917$1A747C41-E382-485F-998F-B89F36D367F5","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":"Q5940917$8CC82BC8-ABE3-41CF-A386-331109DF79E0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8124e2aa86067094dab23bb14b8dadf2e19d522b","datavalue":{"value":{"entity-type":"item","numeric-id":3894958,"id":"Q3894958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940917$7709ACE4-C38D-41F2-AFEE-DFBF7E18524B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aad2711eb9c64a58dada485191047b8af29959d","datavalue":{"value":{"entity-type":"item","numeric-id":4040283,"id":"Q4040283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940917$AFC6DC5C-F80F-4B7B-8A74-2C8F5FC6243E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7eb3e97929024d2ee37616602a13d3244533bbb2","datavalue":{"value":{"entity-type":"item","numeric-id":3835049,"id":"Q3835049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940917$F547C27E-AF93-40AD-B4E6-29899455E092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"708644d0ac0d7e9999fb05a7b2bdaa2b0ed5ed19","datavalue":{"value":{"entity-type":"item","numeric-id":5878912,"id":"Q5878912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940917$0DA9F86F-4317-44CA-B6E1-C103CEECDFE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c02ff547cfaf7e165513cf8f07ad1a1e28baa67e","datavalue":{"value":{"entity-type":"item","numeric-id":1367078,"id":"Q1367078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940917$D64E7D39-A882-4EAA-BBE0-FAAD6101A3FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"050744ad710b2732fc1db2e9f7bd06de890ca43f","datavalue":{"value":{"entity-type":"item","numeric-id":4274979,"id":"Q4274979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940917$0C7F9F24-5823-44F3-97E3-495EF51368EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36b355c034a15b6951cab8a2fb9dd01fb3be3dbf","datavalue":{"value":{"entity-type":"item","numeric-id":3477935,"id":"Q3477935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940917$9A087472-AFC0-4FEE-A0C4-AF2743969070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b67f62053c0da9e304f60e65a89efe6ab3bb050","datavalue":{"value":{"entity-type":"item","numeric-id":1346629,"id":"Q1346629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940917$73A4034E-0D9F-4E6D-A13E-00E373D59F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e98a0291d6b416afdf61c3b8456fe8639369f4a5","datavalue":{"value":{"entity-type":"item","numeric-id":1190480,"id":"Q1190480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940917$21E8D8DA-43C9-410B-BA50-63488B77753D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a4afd0b3b0b8757574f62e3ae80a63d3876f24e","datavalue":{"value":{"entity-type":"item","numeric-id":5533181,"id":"Q5533181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940917$C5F1E475-1189-4719-B961-7DB74EC27338","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d441dce2653fc81e5019cd223975344ec721ea9e","datavalue":{"value":"Q126815399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5940917$B9156C27-049A-4F7D-9120-6F73196FF3A9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"45a96e6f6af40067340a5ee2375498d6fcbcbbb3","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(99)00118-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q5940917$A2280476-65F6-4B15-84B0-57C653D19815","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8e48ee0456ec6d291cb730463dcaf03011f1667a","datavalue":{"value":"W2076897476","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5940917$7C083BBE-8FCF-464F-9856-767C523AE079","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad8945dd5ea8b23803758fedaea5e36aad46444f","datavalue":{"value":{"entity-type":"item","numeric-id":4494365,"id":"Q4494365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bdbae32bca9b92f16209a17a8f7914956126c6d","datavalue":{"value":{"amount":"+0.8519229292869568","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":"Q5940917$46E90868-A331-4D6A-9891-A39CF60E34E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f78aef0b399177064640745a960d3a77dacdfceb","datavalue":{"value":{"entity-type":"item","numeric-id":5900722,"id":"Q5900722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bdbae32bca9b92f16209a17a8f7914956126c6d","datavalue":{"value":{"amount":"+0.8519229292869568","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":"Q5940917$A569F51E-0311-4CF5-947A-3DB0FEC85782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73732f22ae9e393a28f631d7255522eb6210bdc2","datavalue":{"value":{"entity-type":"item","numeric-id":2702599,"id":"Q2702599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99e784522723b20b630744cd95d28d403d208bcf","datavalue":{"value":{"amount":"+0.8367087244987488","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":"Q5940917$61B3989E-32AD-4319-926E-47D268ED7DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88c9a4844da43f7384fd44e0f9c3bb0986158932","datavalue":{"value":{"entity-type":"item","numeric-id":4501582,"id":"Q4501582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49a9a660cb6f3e3f7dcaee1cf90d27449900acbf","datavalue":{"value":{"amount":"+0.8361559510231018","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":"Q5940917$D4C56993-C048-4E74-8516-BE814EEEA456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d541e48bcead1393bbc42b8e56c09a0b09485b5","datavalue":{"value":{"entity-type":"item","numeric-id":3021959,"id":"Q3021959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71bb1e060f7f9bfaf266cdfa71dc0d3715c01e24","datavalue":{"value":{"amount":"+0.8227626085281372","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":"Q5940917$A95D86F0-567E-4FC1-8744-2DA278910A87","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An ordinal measure based procedure for termination of functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_ordinal_measure_based_procedure_for_termination_of_functions"}}}}}