{"entities":{"Q2303238":{"pageid":2313981,"ns":120,"title":"Item:Q2303238","lastrevid":71798937,"modified":"2026-04-14T00:36:58Z","type":"item","id":"Q2303238","labels":{"en":{"language":"en","value":"Using well-founded relations for proving operational termination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7176596"}},"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":"Q2303238$43104E83-463F-45DA-BD10-1F00F0E59A8D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b5a1173d4aeee27a1df1869d41aefa3c1da42e6","datavalue":{"value":{"text":"Using well-founded relations for proving operational termination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2303238$A2C5F330-AD63-4C01-9606-8E0E4B19A8B5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"51944db2313aadf1e8cf27f585dc488114d95191","datavalue":{"value":"1468.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303238$8C5EA4FD-30EF-421E-A2FB-67795CD5C6CA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30c863fa396706b2f00b0e4efd36ab68137f900a","datavalue":{"value":{"entity-type":"item","numeric-id":293292,"id":"Q293292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303238$E7348F31-AA41-4C33-8D1F-673B84B345C6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303238$E3A8BDA4-8C32-48E9-8D8F-84750D72422F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"61e2e5951dfff50ebb9b8606073c3ef7da57bd09","datavalue":{"value":{"time":"+2020-03-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2303238$4C18D70E-74A4-4DC3-8BC4-8936292C5953","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"426c8adb9c9c171bce1df49d8641d82d79f79090","datavalue":{"value":"http://hdl.handle.net/10251/169643","type":"string"},"datatype":"url"},"type":"statement","id":"Q2303238$BE380208-8B59-4B31-B956-E09DECEA829B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303238$A73C2736-2331-4564-8870-9E762961F187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303238$40F81E06-8BE2-4A36-9C70-A9FF9FBF3C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303238$42D47058-C143-47D4-9AAE-C7D821C586B2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"498e5903f315ddd3ef1831ba2b9e3a9197392dd9","datavalue":{"value":"7176596","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303238$46F71076-6CB9-475E-8B25-8B8A7F9C6F19","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"461cf1fd54c687ae57a40d9f1ba8ab7e2326bf8e","datavalue":{"value":"declarative languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2303238$141FF33E-0E4C-4D25-AF44-C34652468F15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41ecf838bbe9279b2bd30071d114d050288aade2","datavalue":{"value":"logical models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2303238$785D865B-C718-4246-91A7-884410D85AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97b930226a3d323ae2711ac3a072d07f4735865b","datavalue":{"value":"operational termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2303238$1D6B559D-C590-4307-904F-86088302088A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2303238$53B44A98-6F5B-4C3F-8901-8403C6546F0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f78ff9a60b74189b2daec43f91e02e6e79fb14f9","datavalue":{"value":"well-foundedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2303238$854C40C2-6271-4583-9882-038D870C8696","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"82659ddd3b24a7f3c51a78eb5f25cc1e5d64df69","datavalue":{"value":{"entity-type":"item","numeric-id":17116,"id":"Q17116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303238$EB75B04A-EA5A-4C23-8043-E2947DA2EACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303238$583C5F91-FAD7-4158-B9E6-FE8AD11CB78F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"352070f92a42ab6c0ae16e5d77d8a717bc392ccc","datavalue":{"value":{"entity-type":"item","numeric-id":19847,"id":"Q19847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303238$26617139-071F-41B3-9864-A02AECDE47B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0c26e6916e0b9de30d3647f7e9e3f53ff40f0334","datavalue":{"value":{"entity-type":"item","numeric-id":19846,"id":"Q19846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303238$6B6E495A-F640-4D7B-9877-C43C3F970780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2207b0b201a95a431b254bcb1c01d869b9f41774","datavalue":{"value":{"entity-type":"item","numeric-id":18972,"id":"Q18972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303238$4C9AE969-7923-422F-B3F3-6B1A606FE26F","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":"Q2303238$915E56D9-9EB8-4A89-A61C-1E1F15286F09","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2b563d638502a51196ddc2eceba6397a87c0dee8","datavalue":{"value":"W2912692218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303238$B91300E4-50EE-4F4E-8898-DA7B0A5C6DDC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"12258990216ff4021b244dae9f1b968a1473efa1","datavalue":{"value":{"entity-type":"item","numeric-id":3067476,"id":"Q3067476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303238$EE35A86A-70F1-445D-AAD5-54AB63F87736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa0a6c048034d3930f13f0060713f882783084c1","datavalue":{"value":{"entity-type":"item","numeric-id":1655486,"id":"Q1655486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303238$C29A3CB1-F9F8-4AB1-96BC-E88CEC77A028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44175354c217d8e3dcaf7d807a32f26ef5394239","datavalue":{"value":{"entity-type":"item","numeric-id":4594225,"id":"Q4594225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303238$A0313D60-B387-41BF-8D92-24916AA7E2AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee132c4e5792ab38a0ff46d3d93155b8fcbe98d8","datavalue":{"value":{"entity-type":"item","numeric-id":1978641,"id":"Q1978641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303238$7B47910B-6DC2-4D62-9BB6-98A30E26F493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69bd394a77de6a66e7c3ead14354e268bd49cc00","datavalue":{"value":{"entity-type":"item","numeric-id":997833,"id":"Q997833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303238$AB61C311-BDC3-44AA-8907-A73C227B890F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e75d9470afbb4ac39057047e070d0e7ba8260db","datavalue":{"value":{"entity-type":"item","numeric-id":2808239,"id":"Q2808239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303238$21EF69EF-250D-4AAB-987E-E8E7B5FC0798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11f8ef03a702d69c585c63b326a09f44c5b6e4af","datavalue":{"value":{"entity-type":"item","numeric-id":2271899,"id":"Q2271899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303238$C7013A06-67FB-4623-ACCF-9867D81F31D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"643d723a730b8674f4bc858209c84f2cde705d36","datavalue":{"value":{"entity-type":"item","numeric-id":5170162,"id":"Q5170162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303238$B0C7D893-3486-4B66-A2C7-6B5173D5ECC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303238$7099E992-A611-4209-850A-51FCC0EEC97D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7de155c624c0fcd2ab88abd76298f9dd081129f3","datavalue":{"value":{"entity-type":"item","numeric-id":5941753,"id":"Q5941753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303238$24CD2233-5730-41A1-A982-4B6D8D1A9E3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8b329bf10cc5a34d4fd7d10861e1d1307af8679","datavalue":{"value":{"entity-type":"item","numeric-id":877836,"id":"Q877836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303238$ED7D18B4-A40B-48AE-A466-FFF1D32CEB02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b9c946ee26571140051551ad1ed868fb6088571","datavalue":{"value":{"entity-type":"item","numeric-id":5705932,"id":"Q5705932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303238$BADC7926-6A7C-4ABF-BDBB-CC722BDD05CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"099e539a4445b58fda91ce61c7c5885fee9a27f8","datavalue":{"value":{"entity-type":"item","numeric-id":3030249,"id":"Q3030249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303238$2161BFEA-C963-4585-84E1-038B6E9DD66A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3239d3bc022112b37f4da6991a3c7bf09667ee35","datavalue":{"value":{"entity-type":"item","numeric-id":1196302,"id":"Q1196302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303238$7268E22D-A592-4EDD-8C69-9049BD3AC081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967fb55b31b6e02bb24043a438b43c2e3c9e09dc","datavalue":{"value":{"entity-type":"item","numeric-id":4003410,"id":"Q4003410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303238$2799040A-D971-4390-BBD5-B75C5822DFDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed625e8b390cbc97fab52f504f2eb0f5cb3595c5","datavalue":{"value":{"entity-type":"item","numeric-id":4843402,"id":"Q4843402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303238$8E176815-1A3A-4D04-BE4F-9942CA8BFF27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83a48e8830951e39fb0f54422f9a7174d85b6eee","datavalue":{"value":{"entity-type":"item","numeric-id":1854569,"id":"Q1854569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303238$7B1A0E22-0B13-424A-9D69-2D80CDC30EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17b9fd6119cb9135bec674a7ba2301b32604d33b","datavalue":{"value":{"entity-type":"item","numeric-id":2827835,"id":"Q2827835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303238$84C10A7E-0FF0-4D33-B680-85D73A57994A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ca454fcfb674a55b9997dba52f329c49a980195","datavalue":{"value":{"entity-type":"item","numeric-id":1655487,"id":"Q1655487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303238$B429F9E0-1A29-42BD-BED8-26FC7A0263FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c040ab0353af170ee2d06c58340752789a437457","datavalue":{"value":{"entity-type":"item","numeric-id":1751429,"id":"Q1751429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303238$0F9DC1C0-DA9F-47D3-897A-1AE463000DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2f77c9f0b209bffb78ce37325c9477c70ceaf77","datavalue":{"value":{"entity-type":"item","numeric-id":1041807,"id":"Q1041807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303238$47EAF5A4-BB17-445F-9A27-7AF7C7F6D07C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4503ba4114e24ed9a5c364813a9872b5b85bf46d","datavalue":{"value":{"entity-type":"item","numeric-id":347382,"id":"Q347382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303238$41452CCC-C088-4F3C-88C4-0BF7C8C6E1C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52b946fb2f63c0dda27fa5ba25a5cecdec9a1c9a","datavalue":{"value":{"entity-type":"item","numeric-id":4229041,"id":"Q4229041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303238$FEFD414F-959E-460F-9D2D-B4EE9CCB1C1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc0c53b37a566572d86f01f7ce274b955eda8d24","datavalue":{"value":{"entity-type":"item","numeric-id":3032225,"id":"Q3032225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303238$A7590439-F498-4D5B-A904-DA37A7BEEAD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e1427fe2cc4f762fdeff53d2b88ac222c2ec52d","datavalue":{"value":{"entity-type":"item","numeric-id":3776590,"id":"Q3776590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303238$C1ADA4CB-E084-4F92-8953-2C6969FAA8E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc91f97f4610232fc0f4f16dad485e27866f89e2","datavalue":{"value":{"entity-type":"item","numeric-id":2783416,"id":"Q2783416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303238$63AD6354-C659-45C9-81E7-5A9CA3A9CB29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303238$786FD02A-C502-4C2B-A67C-B0CEDC622F45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88d1b205201f13d82c065e97ff01a6bc59a545ee","datavalue":{"value":{"entity-type":"item","numeric-id":5271073,"id":"Q5271073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303238$45B92AD3-5424-4751-8A99-E3EA70D952FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a84180de62ceafef40ec406e2cc9991b75a098b","datavalue":{"value":{"entity-type":"item","numeric-id":4001345,"id":"Q4001345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303238$3094CD96-AEFB-4ACE-AA6B-9311DF7FFD43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59b763a04eabde37fd1eb9b2c5994f1585f800cf","datavalue":{"value":{"entity-type":"item","numeric-id":710679,"id":"Q710679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303238$35F7C509-8ADA-447B-BF05-8FE3CFE2C9EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a8cd799fe0605abc393d28febcce088f8d799c7","datavalue":{"value":{"entity-type":"item","numeric-id":3527281,"id":"Q3527281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2303238$02222823-DB38-4540-8154-B82707F49F9C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"00c0bb87721d5af3eab5371b7923d4380d450659","datavalue":{"value":"10.1007/S10817-019-09514-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2303238$3676D4B5-267D-4A0E-80FF-C225F27F4F71","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26a3b2e55304de64cc5c504250900d8f5b64df38","datavalue":{"value":{"entity-type":"item","numeric-id":2827835,"id":"Q2827835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1d225e6f3dcd7b75a668040849dad262ddac113","datavalue":{"value":{"amount":"+0.7889043092727661","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":"Q2303238$1C786560-14A4-4F27-9A0C-302C030E1ED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32c7667881ab6622c04be5a567e18ece6e1fa37b","datavalue":{"value":{"entity-type":"item","numeric-id":347382,"id":"Q347382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fdeedf3cac4a5e1e06d81297eb242c0bfeb4963","datavalue":{"value":{"amount":"+0.7871619462966919","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":"Q2303238$F918C500-49AF-465B-B5AB-CF289E45DB80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7784f5927c42cbe4274c72821f4210f0147038f","datavalue":{"value":{"entity-type":"item","numeric-id":5256340,"id":"Q5256340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a5208f6704b562b176ee9fea148305248d6a3ce","datavalue":{"value":{"amount":"+0.7684418559074402","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":"Q2303238$AE32A76F-CD6E-49EB-8FB5-186351D40999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec5d626f383fca04f3ffaf8b1cca4a6c37a0867d","datavalue":{"value":{"entity-type":"item","numeric-id":710679,"id":"Q710679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be9e66c92ead0718184ef513c21efaac648f3aaa","datavalue":{"value":{"amount":"+0.7457405924797058","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":"Q2303238$CEC426A2-A532-40C7-B9BA-948563EDDC4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b4730717ff3ff20e26d4ff0917d36421422c17d","datavalue":{"value":{"entity-type":"item","numeric-id":1041807,"id":"Q1041807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1057e0db429bb73430d99c589f0f14bc8d6b84b","datavalue":{"value":{"amount":"+0.741287112236023","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":"Q2303238$F3639ED5-FA7B-4A4D-B9DE-B27345156C20","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Using well-founded relations for proving operational termination","badges":[]}}}}}