{"entities":{"Q2271899":{"pageid":2282642,"ns":120,"title":"Item:Q2271899","lastrevid":73002327,"modified":"2026-04-14T09:18:51Z","type":"item","id":"Q2271899","labels":{"en":{"language":"en","value":"Proving operational termination of membership equational programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5589972"}},"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":"Q2271899$D53A2CE5-0511-4F8E-9FB5-B68FC0372ACE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fe64c508a6ca657f28030a404a437e352e77c616","datavalue":{"value":{"text":"Proving operational termination of membership equational programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2271899$2C749342-50B7-4CB4-B1D5-91712B2E023C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a42006f6e3a58d9ce16d6cb72509dde69b728530","datavalue":{"value":"1192.68154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2271899$C4DBF15B-A43E-4A15-AE81-5CB59D1EDDA6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e79680c85f7071a30303966dd871c96745d2ddd","datavalue":{"value":{"entity-type":"item","numeric-id":347376,"id":"Q347376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271899$9FD4BCBD-190A-497E-9702-BE982AE45E03","rank":"normal"},{"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":"Q2271899$5DC84F33-E073-4B5D-961C-CC52DB87FD75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db32c21cc482660e99c90b1907d7d5760cbfacfe","datavalue":{"value":{"entity-type":"item","numeric-id":347381,"id":"Q347381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271899$F495AA0C-BC10-4BEE-A612-4185FA00EAAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a94b145bad45cfe6e90ce99cf046bd3d7039d44f","datavalue":{"value":{"entity-type":"item","numeric-id":604391,"id":"Q604391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271899$8F5958D3-07EE-4D0F-A112-100EEF3126D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a99601cd1ef3148b698a6343b127ea54820fa08e","datavalue":{"value":{"entity-type":"item","numeric-id":483062,"id":"Q483062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271899$0EEA99C8-F13B-4F5A-9417-616DC043E9BC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"64a3a07e604cd8e480c16efc452d3568f025ae86","datavalue":{"value":{"entity-type":"item","numeric-id":162338,"id":"Q162338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271899$9044D971-B0D4-4744-BA36-1321D6B09084","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3f946e7143a34243eee6c655d526c1b0b69f3bbf","datavalue":{"value":{"time":"+2009-08-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2271899$6E1E1760-D81A-44F8-8420-D3CE7F125740","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"009509b7daeeaab17812e427a62d040bf381f894","datavalue":{"value":"https://hal.inria.fr/inria-00431474/file/duran08hosc.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2271899$A50FD66B-DC8B-45AD-A575-5DF533103271","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2271899$97D8AD30-E4A8-468A-B96E-4D65E861D3EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2271899$6E452CD4-D27C-4D18-AFF1-F8EB10B7917E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2271899$E9EF378C-764E-4BEC-AA57-5D9FB34F5B20","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"33cd90b8732be0669f8bf8fbd9cb4a017c7c707e","datavalue":{"value":"5589972","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2271899$EF971CF7-8F99-449A-A321-0E666F3E44A3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9e0c5435c12ae5fac0ad2379b3f0e231cf6ffcf","datavalue":{"value":"conditional term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2271899$DD16E6F7-940A-4F81-AB98-48104256F505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97b930226a3d323ae2711ac3a072d07f4735865b","datavalue":{"value":"operational termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2271899$A7F36418-59EB-4F4C-8C04-574E18ABA8AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2271899$B2CC91B1-5A18-4F3B-B220-9B0CB935F545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe08ac773b146371b2d071043c48ef39bced25f7","datavalue":{"value":"declarative rule-based languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2271899$D1A15441-7BFF-4363-80F4-D59AFF078F6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ebab591f998c304d0e3c8e518b9abda2a142845","datavalue":{"value":"membership equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2271899$861E97AA-601D-4195-9200-0FEC0C9B5BDB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271899$281965A8-26DA-4E13-ACDF-F5B175B966BF","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":"Q2271899$2093399D-136A-425B-AD22-83D85021CD96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"572143c91783d0a6b0c85b511e358973b6a75091","datavalue":{"value":{"entity-type":"item","numeric-id":21990,"id":"Q21990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271899$CE1E7337-642C-4D44-B1C5-B44190CDB460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c326307158b5645c1325f44a8655bebc65c0dee","datavalue":{"value":{"entity-type":"item","numeric-id":22033,"id":"Q22033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271899$569296DB-45AD-4A34-83D8-C53BB8E0149C","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":"Q2271899$96D8D738-070B-4D15-A6B5-3D884723C779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4840352b17217b124b50c88ee4bd6bcc958c902f","datavalue":{"value":{"entity-type":"item","numeric-id":17510,"id":"Q17510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271899$E352F8F9-C262-4146-AFB3-D8F8C17D1116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cba2f313ea2959f110ac642e1b84e6e89a9f1c6b","datavalue":{"value":{"entity-type":"item","numeric-id":14779,"id":"Q14779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271899$0CFC18C2-7BF4-4511-BBCA-9710690F4C9D","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":"Q2271899$4435C5A3-2B93-44C4-9B7F-F41ABC0214C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9cc08f1ee64c2fc0d984a8fe54c7c857eeb0cc4","datavalue":{"value":{"entity-type":"item","numeric-id":18366,"id":"Q18366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271899$43E56CD1-CC2D-452D-8B24-B9A062382139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"680c244b02c0203bda666c4a12f1fe54854dd0a1","datavalue":{"value":{"entity-type":"item","numeric-id":22085,"id":"Q22085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271899$271572B0-7CBF-42EF-81E3-6D057E90053D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"184b17ed6ef8f72f90ef44ecb976296d445c28b6","datavalue":{"value":{"entity-type":"item","numeric-id":21947,"id":"Q21947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271899$3515BDF0-8B8F-4AB7-8283-663866B2DA19","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":"Q2271899$7F54AAE3-0E2C-4428-B028-5591AD9CFD96","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"21939cd22b6dd78eb8bdcbb8c92ffeca7c5eca86","datavalue":{"value":"W2019496318","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2271899$E0C4B20A-105D-46AB-80C6-A6DD4D9FFA41","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b84e50d5b8107ff3d8511662cf6eee9934348f6","datavalue":{"value":{"entity-type":"item","numeric-id":1608914,"id":"Q1608914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271899$44B5B7F1-834A-44BC-8132-B28FE0BA144E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0eb7a3581d9370d367eee022ec76bf1b25a51382","datavalue":{"value":{"entity-type":"item","numeric-id":4809069,"id":"Q4809069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271899$9DB195BB-04C0-4AE6-B53E-8467D9E5817A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df0a77e1c48f39d3b14ae34f12c26a25727e4adf","datavalue":{"value":{"entity-type":"item","numeric-id":1978640,"id":"Q1978640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271899$8C78343C-58BA-4823-AC67-9F66752741EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"029c9b211e75ff587c0578ca54c4b6922fa8629f","datavalue":{"value":{"entity-type":"item","numeric-id":4449180,"id":"Q4449180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271899$A4DC331C-BB75-4AE7-843D-716EE0AD1FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cca3b30d0a635de87e776bb5c6ce06af9f321896","datavalue":{"value":{"entity-type":"item","numeric-id":1608917,"id":"Q1608917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271899$939E4DA8-C4D4-4009-B425-7DB8B420C545","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":"Q2271899$2F280412-7174-4745-9D2E-8C0D59413010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fffbd22a6f021de880276a39066b23c6e6118d5a","datavalue":{"value":{"entity-type":"item","numeric-id":4938610,"id":"Q4938610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271899$6582ED0C-AE35-4147-9604-0C79381D6898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"685b6f2241ca731964008614149743ea5d098bf5","datavalue":{"value":{"entity-type":"item","numeric-id":2715825,"id":"Q2715825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271899$A96E67CB-8868-46BD-AA71-7A5529A51940","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":"Q2271899$668E705A-3DA9-41D2-9B8E-26B6EE556F82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49a4e89dfed482c45fe70c45a9cf5ab82c1b4a6e","datavalue":{"value":{"entity-type":"item","numeric-id":1864874,"id":"Q1864874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271899$713605B2-11F8-41D1-AB75-01C394A93B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68ff17e89f36b487ef3a24d7e9e19c6dc9355bff","datavalue":{"value":{"entity-type":"item","numeric-id":5692154,"id":"Q5692154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271899$2773B1CE-0770-4992-8EE7-8A70DB293F42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80bba1bf289731f89451e9c1f31a3363b82e8f10","datavalue":{"value":{"entity-type":"item","numeric-id":5491901,"id":"Q5491901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271899$223CFAA4-6F55-43E9-A02E-F10E5789F3A9","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":"Q2271899$B7E25717-B9B5-4CC1-B397-CF3B6A117A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2a46cb1230e2f4c0a70e3eeec8d1384d627c053","datavalue":{"value":{"entity-type":"item","numeric-id":5703847,"id":"Q5703847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271899$3D36038D-9EE8-4369-8DF5-D2571C805B8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa66cd10684eeb33961fe983c69bf06684be0467","datavalue":{"value":{"entity-type":"item","numeric-id":4818829,"id":"Q4818829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271899$C23E7957-83B3-4D74-BD25-56AE5247B62C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f993fcd9fff6be6ddd29863c05df1fec57dd43d","datavalue":{"value":{"entity-type":"item","numeric-id":4259966,"id":"Q4259966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271899$1203541E-1CA0-4267-8458-4FDB28514922","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":"Q2271899$FC555EA8-8EEB-42E9-B072-1552DEAFB23D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11cd5bf0d430fe7f41ec1cf3938defdcb2ccb512","datavalue":{"value":{"entity-type":"item","numeric-id":5308459,"id":"Q5308459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271899$D3EB4508-2353-4BDD-AFCA-DCFA92EF56A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dda2f4b34510fccefb9279e83d8420e1934ba94","datavalue":{"value":{"entity-type":"item","numeric-id":859833,"id":"Q859833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271899$83EFE9A5-4596-448E-B9F2-DE67179AB733","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":"Q2271899$47C0EE07-5F5B-43BA-B00C-CBC704E4A6D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cac010ec605c9119807506ab1b2e806f41cbeb8","datavalue":{"value":{"entity-type":"item","numeric-id":2643544,"id":"Q2643544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271899$A8576450-8D5B-4485-ABB2-F1025A0490F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d3fdcf6eed15cca5b9dd7fb0f599de1b8457467","datavalue":{"value":{"entity-type":"item","numeric-id":2956716,"id":"Q2956716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271899$D129272F-EE74-4230-9B27-1325F72B94AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35de7df0c420175ccefc3da8012590103dbdf602","datavalue":{"value":{"entity-type":"item","numeric-id":3839051,"id":"Q3839051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271899$FF47E3E1-1818-43AF-BB52-A447B3F68DEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f170d1bf622491cb6b4b793c7af31a789e14e59","datavalue":{"value":{"entity-type":"item","numeric-id":3687683,"id":"Q3687683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271899$D67A3E6E-E4F0-4FEC-A7CF-E199E4341309","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":"Q2271899$099B38FF-69F3-4728-8AFF-7F0D879A4AD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f8b62c0dba39f501efc5ae3fa8f833d22f9a0d7","datavalue":{"value":{"entity-type":"item","numeric-id":1853138,"id":"Q1853138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271899$7D78FCE0-02A3-41AD-A281-6129B2CBE7C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e7feb9c10dcb1c09a1ab4578b7c600a6c46ddcd","datavalue":{"value":{"entity-type":"item","numeric-id":4539636,"id":"Q4539636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271899$76820305-F18D-4A17-AEDA-609E1C64CB90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2714b062fec2412271016eb78cb55f2c42f4059d","datavalue":{"value":{"entity-type":"item","numeric-id":2583289,"id":"Q2583289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271899$9C83A8EB-EB03-4B71-B270-13F0A64F8131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5ba768d5535cb89837cb76303bb0a20b79390a5","datavalue":{"value":{"entity-type":"item","numeric-id":2715823,"id":"Q2715823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271899$22AC572D-8651-4CF5-ABD8-CAA0BFF03BC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d9525944835ab99fe0caee89af1d1c4f1696592","datavalue":{"value":{"entity-type":"item","numeric-id":1608925,"id":"Q1608925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271899$5A5B7380-078F-499D-A70E-D46CBF0C088A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daf73e36acd8c530d7cd261bcfd06e8246cdcd8f","datavalue":{"value":{"entity-type":"item","numeric-id":4594226,"id":"Q4594226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2271899$250617DB-989E-40F7-9E15-A1E85D4BF946","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ee69757273a6457fad85ff8a1149f3cd91051d77","datavalue":{"value":"10.1007/S10990-008-9028-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2271899$A2A250C6-3919-4D43-A55D-A04A720303E8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"157e9affda6cdb23e00da5beedec76ee725879bf","datavalue":{"value":{"entity-type":"item","numeric-id":5179140,"id":"Q5179140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67b91343e76bebd7b526160cd34f23ded43130aa","datavalue":{"value":{"amount":"+0.8369655609130859","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":"Q2271899$AA62DA63-2C27-4311-998C-85B60B05ADEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"970eefc955628912549e15fe0788b9640a3ce09d","datavalue":{"value":{"entity-type":"item","numeric-id":2808239,"id":"Q2808239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6be5a4731c5e06ece3315666ad48c742cdf8ffc","datavalue":{"value":{"amount":"+0.7978373765945435","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":"Q2271899$6086EB17-1D13-4A88-8DDB-0EE9CD98827A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"734aff2d9581210446ffa2d87b046723e051bbe2","datavalue":{"value":{"entity-type":"item","numeric-id":3541712,"id":"Q3541712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df05ebf0b4966a34a13968405fde02681b47d82f","datavalue":{"value":{"amount":"+0.7553278207778931","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":"Q2271899$B4E35DEC-5E80-4609-9CD5-1312B79718EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e0337194e443d10e848130d88804fc6a3f10aa3","datavalue":{"value":{"entity-type":"item","numeric-id":3655204,"id":"Q3655204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"773a32f91a609361d69b2449f0eaf434d929a9c6","datavalue":{"value":{"amount":"+0.7413161396980286","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":"Q2271899$9E9FA3D7-8E18-4108-AD24-600E0CA90AA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7a00e94794260488186b8fbcbe92c9610e97819","datavalue":{"value":{"entity-type":"item","numeric-id":3527303,"id":"Q3527303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82c9b6e41524ddaf51f220c364c05335d60bcf05","datavalue":{"value":{"amount":"+0.7222235798835754","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":"Q2271899$CFDAB124-0799-4AC4-BEC8-3253340FCA89","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proving operational termination of membership equational programs","badges":[]}}}}}