{"entities":{"Q3636808":{"pageid":5666714,"ns":120,"title":"Item:Q3636808","lastrevid":88830608,"modified":"2026-06-04T15:35:22Z","type":"item","id":"Q3636808","labels":{"en":{"language":"en","value":"Ranking Functions for Size-Change Termination II"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5571821"}},"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":"Q3636808$D44B2B09-81F6-40DF-B2F1-D2EE9383FA6D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b4f9b4d3fabc4cb69ea1cc55680f840231ce3d06","datavalue":{"value":{"text":"Ranking Functions for Size-Change Termination II","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3636808$83A69F8D-7B31-4E80-92D6-9901E5238D90","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"55b1ce07f8988c19f7c4fd6a01133f9b08400343","datavalue":{"value":"1163.68318","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636808$7E839A3C-04F5-4A00-B535-CE8E229998D2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2144b36368fbca814cb27713935214ad2d328145","datavalue":{"value":"10.2168/LMCS-5(2:8)2009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636808$50F7F4A1-8CCB-49B5-A570-6A69B046ECFC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8ba73b4968f06314fc5d761324b673960fb716b","datavalue":{"value":{"entity-type":"item","numeric-id":3636807,"id":"Q3636807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636808$3A7EC222-E0E7-452F-91E8-B8C4140B753D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7451b1685ab310bbd75f08ab9f181e107023a28","datavalue":{"value":{"entity-type":"item","numeric-id":418007,"id":"Q418007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636808$D7D23AC2-ACEA-4A99-AAFC-1A6EE3B6DE4F","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":"Q3636808$3AE4F11D-906D-418C-B12F-693D871B5290","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09df791b31880a83cb69102ced8fef72b45dd8e8","datavalue":{"value":{"time":"+2009-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3636808$985522CF-775A-4186-8254-044804CC092A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b0be2fbac5e8d48b24f0e46ef41ea46edd933d55","datavalue":{"value":"https://arxiv.org/abs/0903.4382","type":"string"},"datatype":"url"},"type":"statement","id":"Q3636808$227C9599-3D58-4D50-92EC-B297DC5A7610","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636808$8E669096-66C4-4F5E-974C-6ED7F5947217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636808$116CF85C-C5D0-46EC-A27B-451A7D32032D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636808$E11D6CCE-417D-46D8-A233-FF306901D77B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"27cfd8fccbc7bfde55eabffdbfa5034a36d99dd5","datavalue":{"value":"5571821","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636808$B7F09D7D-BCAD-4E5B-A95B-CD22CAC39A0E","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":"Q3636808$895C4A0B-72C4-4281-9B4C-D359ED13F146","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"08c89d8789172bf538949b18d4756e0c754397b2","datavalue":{"value":"W3101904855","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636808$60C1F289-4452-4480-97D9-1F3631C0CE89","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"680b4ce50056d1199fe7a2e6542875cbacc21cd3","datavalue":{"value":{"entity-type":"item","numeric-id":5901015,"id":"Q5901015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3f853129ef23decae9a56164c0bc71ff01713be","datavalue":{"value":{"amount":"+0.8838197588920593","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":"Q3636808$5A3589CD-C716-4DDA-9FC9-5F66FB1CCAC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d24e49fd58412f09a125d3826396932e2a3b5921","datavalue":{"value":{"entity-type":"item","numeric-id":1006896,"id":"Q1006896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84be0e0be849da0739541e8f23f6bc5bb604a990","datavalue":{"value":{"amount":"+0.8690314292907715","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":"Q3636808$85C994F1-5A4F-4DA9-AF21-83B50E30AFF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96b460585061ba390a5382076b7dbf0928c22f0b","datavalue":{"value":{"entity-type":"item","numeric-id":5902130,"id":"Q5902130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05c0558658283f40cf9dd6de550af27fa5816477","datavalue":{"value":{"amount":"+0.8628714084625244","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":"Q3636808$78B1EBB1-F0D1-4863-99DE-5CF7FDFC335E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a41f0ae6eea19ca2ba3d0099c1396f05f2775ba3","datavalue":{"value":{"entity-type":"item","numeric-id":5458329,"id":"Q5458329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a105cb3a2ea9c72124dfbc37c31744ff5383e52f","datavalue":{"value":{"amount":"+0.8606035709381104","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":"Q3636808$42EA1AFF-2037-41E7-AC70-25B77520A8F0","rank":"normal"},{"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":"8c9a2841112db3e19b46ac860807fbf7711b210e","datavalue":{"value":{"amount":"+0.8462976813316345","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":"Q3636808$170AA754-65C8-4DEB-9BFF-99E506020723","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Ranking Functions for Size-Change Termination II","badges":[]}}}}}