{"entities":{"Q2827835":{"pageid":2838573,"ns":120,"title":"Item:Q2827835","lastrevid":83749868,"modified":"2026-05-07T10:49:26Z","type":"item","id":"Q2827835","labels":{"en":{"language":"en","value":"Use of logical models for proving operational termination in general logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6642141"}},"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":"Q2827835$A79FAB51-4FFC-4D1F-9203-4B9226B746FD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8bab056717eccf5c333400b7a06774f4a55f825f","datavalue":{"value":{"text":"Use of Logical Models for Proving Operational Termination in General Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2827835$49253F1D-B3E1-4136-9742-40EC60DFAA38","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7e2f79daae90676402db46d9b3b38133ed1463b3","datavalue":{"value":"1367.68068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827835$F4185A5B-CBDC-4726-AAC2-FB8219EA2A8F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e04f59cbcd66a0906f1e48b4cbe1a9081ea85c24","datavalue":{"value":"10.1007/978-3-319-44802-2_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827835$8942C10A-24A8-4037-B26E-25C22D6555DF","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":"Q2827835$42EB57CF-5B11-4CA1-9C06-78AE0F3FD9DB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ceb113738d3e5da0a916e1b83a2de3b37ac0494b","datavalue":{"value":{"entity-type":"item","numeric-id":2827833,"id":"Q2827833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827835$05003DC7-03FD-4B1F-976C-6B928C62396E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7cfd9a39413360519196116a588605fc66450df0","datavalue":{"value":{"time":"+2016-10-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2827835$28C0E3FD-02A5-494F-A959-0C9F85A10D17","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4f7f13dbe1bb540fe1bd765fa3f70b0d373e8238","datavalue":{"value":"http://hdl.handle.net/10251/80771","type":"string"},"datatype":"url"},"type":"statement","id":"Q2827835$BE9C4890-DF4B-4A8D-9673-DD0C28B2D239","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827835$DBA8C10A-6700-4DB4-8D62-DFB37160A984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827835$F5CF2B4F-66AA-4CE8-BDB6-F38B134DC566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827835$92BB9244-2E9E-45DE-8B22-291BD7AD3507","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e3c242b621037bcaf0403e08bf37a030ba936470","datavalue":{"value":"6642141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827835$CABBB943-5A68-4C26-8E35-8F5E6D4AA8BA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2827835$E861CBB6-7971-4250-8CA5-29AEC9DEBE5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41ecf838bbe9279b2bd30071d114d050288aade2","datavalue":{"value":"logical models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2827835$C00AB8DF-945B-46C4-9626-798813D842FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97b930226a3d323ae2711ac3a072d07f4735865b","datavalue":{"value":"operational termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2827835$C71A1AAA-AF7A-4A0B-A438-055B55137190","rank":"normal"}],"P1463":[{"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":"Q2827835$483DB4E1-48F1-4AE1-9007-48A0C59C212E","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":"Q2827835$E30A1ECE-1689-4141-BE12-DAE0148BDE75","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a24a80ac25d707c344b17aee24805babeb5362af","datavalue":{"value":"W2509903391","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827835$981BCBBC-3B40-4A7F-BBDB-2962205D51C1","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":"Q2827835$D1F5F37D-69A3-4AFF-B259-66A184CF520C","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":"Q2827835$76334C9D-D459-42C5-9B10-9EFB9ED2B531","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":"Q2827835$FF8A5DB8-AF8B-4CEF-891B-28DB45726D00","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":"Q2827835$691FEFCB-3629-4512-9A1A-9B32CB3DCC21","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":"Q2827835$09373286-64F3-4073-A87C-92FAC00F408C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c8e9433babfa01b39b72b0ddf6c5f892aa6f566","datavalue":{"value":{"entity-type":"item","numeric-id":5313720,"id":"Q5313720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827835$72C1FCC3-27F1-48D8-AE4B-66BC0AE1A164","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":"Q2827835$C7F5CB3E-F6DB-4383-92DF-40529133F9AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d8975fb157e17ecdba14169bfcc11424eb67866","datavalue":{"value":{"entity-type":"item","numeric-id":5179140,"id":"Q5179140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827835$3F912DB8-99A0-4268-B86F-CD1DD7026AEA","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":"Q2827835$8862B9B8-CCBB-4C9E-8985-E92FC5D15004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c62bbf6dca31e7670023b851253136917414128d","datavalue":{"value":{"entity-type":"item","numeric-id":5389085,"id":"Q5389085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827835$5BEA232A-B7E7-44C0-A317-22BEC22BF455","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":"Q2827835$13D263DB-B5E3-4073-BB0C-BBA7AC041708","rank":"normal"}],"P1643":[{"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":"ceb998865ef9b4bb8ccaa256075b63d5984c2fe7","datavalue":{"value":{"amount":"+0.8260101675987244","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":"Q2827835$815AE1E5-4E5C-4CD7-8F62-A074F2839EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71943bcdea22f346a14c43fed5bd7b25ffd8f241","datavalue":{"value":{"entity-type":"item","numeric-id":2303238,"id":"Q2303238"},"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":"Q2827835$6E23F63D-299E-4D5C-9315-37AE8E384C99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37653d54316d2263e1b7b87febae44b0c60c1957","datavalue":{"value":{"entity-type":"item","numeric-id":5715449,"id":"Q5715449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8caa26f3eecac4f59f01f4f1d92012699e8c500","datavalue":{"value":{"amount":"+0.7819214463233948","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":"Q2827835$03749113-9433-4A83-B016-F09594541CA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac4210ededdbd74bb5091bd7e9879f5bf4eb1dd0","datavalue":{"value":{"entity-type":"item","numeric-id":4452617,"id":"Q4452617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"925286658504d19ccf3e68417d737df02eddc0ff","datavalue":{"value":{"amount":"+0.7726085186004639","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":"Q2827835$F8E2618E-6E3D-44E3-80A5-42797C858440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85405f5dea6fcd97e1208d64569a313bc70b9f76","datavalue":{"value":{"entity-type":"item","numeric-id":5940923,"id":"Q5940923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f56c2fc57ba878d315a6939f03472a7e0a347c0","datavalue":{"value":{"amount":"+0.7708632349967957","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":"Q2827835$EC68D449-DAA1-462E-BB34-553739FFEC05","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Use of logical models for proving operational termination in general logics","badges":[]}}}}}