{"entities":{"Q2515454":{"pageid":2526197,"ns":120,"title":"Item:Q2515454","lastrevid":52321115,"modified":"2026-01-21T10:57:13Z","type":"item","id":"Q2515454","labels":{"en":{"language":"en","value":"Decidable subsets of open logic and an algorithm for R-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6470341"}},"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":"Q2515454$3D00153C-4371-4D33-A29D-8363BEE82DE7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b1e11add1b1c9e40ef42a7b175399c0803b68062","datavalue":{"value":{"text":"Decidable subsets of open logic and an algorithm for R-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2515454$D11EE7E0-8355-4944-B073-C648F5FFA53E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"32884bfd1b8ebb7654c3caedecbab67b0f57df89","datavalue":{"value":"1318.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2515454$A4F06A74-8DCC-4E0E-9AD7-BC6B0D699A2C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"26e6430ee3fa6ad54d1da85d1615535d999f9f38","datavalue":{"value":{"entity-type":"item","numeric-id":848253,"id":"Q848253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2515454$CB346C1E-1D9C-4AE0-B86B-183E18674FCC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"143a47b7cf174256ac299daaf18bbff0086c7a43","datavalue":{"value":{"time":"+2015-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2515454$4481E27E-98AD-49CB-B20F-5C909E6A4E46","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e9b1f4ef8b99107e9273e1c0535cdca16b073a57","datavalue":{"value":"http://engine.scichina.com/doi/10.1007/s11432-014-5149-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q2515454$44C9C5B1-DB6B-4F7D-BE05-5E8D59A2CAAD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2515454$2E72B9D8-F675-4EE5-88E7-FED1C6E46860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2515454$1907CEF3-7A74-47D1-B5DA-15F9120E1E08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2515454$8FC3D42B-5619-4F67-AA80-99DEC098C4F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5af7942efc978dd7c6ecfd4cc61f9af67db0c6ad","datavalue":{"value":"6470341","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2515454$17AA4968-6474-4E73-A0FE-071E9954D1E2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"561ef83a03fd57fb8d0a14d5b6c6248b66d90ca7","datavalue":{"value":"open logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2515454$894619F8-1EF7-49F3-8E34-CAA5CACB359B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2515454$932796C1-82E4-49BB-A23F-33697962E02D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb1ebd21ebe04a05829e8c9950b9b9b0e308049c","datavalue":{"value":"maximal contraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2515454$48941A44-4B12-4F1E-86F7-3EAE177A800D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"683cc84f738e58255642024d756293032f93f204","datavalue":{"value":"R-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2515454$87F6BEB6-C2C6-44E0-B1FE-BB498CD6649D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2db40c62fbba481c23c52e595e1d3bd4320088e","datavalue":{"value":"mechanical theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2515454$14C42D86-E077-49F6-BE64-68A3EC655A89","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":"Q2515454$2625CF80-E66E-4456-BDC7-DC166254699E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"90bfcc3a98c9ba5860627945369e6721d59dd113","datavalue":{"value":"W2280771374","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2515454$67F8BA63-3C17-48AD-97AF-A748FE00B6B9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"380053298406c5ebbd2ce93040f294f0dd425e86","datavalue":{"value":{"entity-type":"item","numeric-id":2367852,"id":"Q2367852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2515454$1E27735C-3E27-4FDB-B43E-85D908206112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e26b71849d679b4a0ed17ffa8bb680d5ab623cc4","datavalue":{"value":{"entity-type":"item","numeric-id":5920721,"id":"Q5920721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2515454$0D3B54AD-41A7-48C7-8E54-BC6666E9245E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a58fd1c1d08ee970b5e620a3f873df3171087eba","datavalue":{"value":{"entity-type":"item","numeric-id":3699670,"id":"Q3699670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2515454$4F0DCC3B-B770-4DFB-A41D-FA1E24260BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd685a194efaee92b4d001dce54b38629015c163","datavalue":{"value":{"entity-type":"item","numeric-id":3647267,"id":"Q3647267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2515454$20302FAE-BD6C-42AC-BAD0-DF672A1A20CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b8d053f2be96444cf0b45cc884b91fc34fe0b8c","datavalue":{"value":{"entity-type":"item","numeric-id":543196,"id":"Q543196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2515454$F22BCB6E-424D-4395-B71A-C8226101F1FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"052116ab8ce996088f825065ec80b1a90577663f","datavalue":{"value":{"entity-type":"item","numeric-id":351018,"id":"Q351018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2515454$8EF1EBE4-D9CF-443F-9810-3B5ECBE90DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45b309bec6e6681f7fbb302098a219d3ff783758","datavalue":{"value":{"entity-type":"item","numeric-id":866190,"id":"Q866190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2515454$F524EE37-EA46-4719-BA72-BFDE8A2E4F7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17346a948e93ca0127d7c9f941e453c6f4645fd4","datavalue":{"value":{"entity-type":"item","numeric-id":1399119,"id":"Q1399119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2515454$4D08F8F3-98EE-4CC2-8E54-AAE675C665ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0e59e7351b611a5fc6aa5032256c7a0186d6b06","datavalue":{"value":{"entity-type":"item","numeric-id":4812982,"id":"Q4812982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2515454$43C8225E-EB41-4F6F-BD24-B8DDEEC97A6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8da368eee8934029a1dce5b66da08f6bdec914d8","datavalue":{"value":{"entity-type":"item","numeric-id":4943322,"id":"Q4943322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2515454$5A3DFEBE-07B8-402B-BE1F-EC06016A981E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"464dc6d4c3ecc42057ee1fafafebf3ef06103904","datavalue":{"value":{"entity-type":"item","numeric-id":848254,"id":"Q848254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2515454$00233C77-F818-4309-9438-D41E38D69036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c6f6a8df5c80c75352aecb2b5ce4ac199d3897e","datavalue":{"value":{"entity-type":"item","numeric-id":5944231,"id":"Q5944231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2515454$69CC6DBF-6DA6-4B32-980C-AE363B89FD7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d7ceb5698ee0d4d27e8d083746cab0f1780e9fb","datavalue":{"value":{"entity-type":"item","numeric-id":4876410,"id":"Q4876410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2515454$1DD609F0-7DC6-40C0-916B-4FED451FA7AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eda2db14c950cfacb2d9bab387b35d1aadfc67b0","datavalue":{"value":{"entity-type":"item","numeric-id":3284606,"id":"Q3284606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2515454$94DF8A13-A420-40FB-B94D-07698798D435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96cc75d0170c0f77a05c577bd0244d258a28e193","datavalue":{"value":{"entity-type":"item","numeric-id":4348133,"id":"Q4348133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2515454$9475E46D-5A3A-4E37-9658-B7C38E0A772C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2feb053caa732f13b4a9204635e536fb1d84b52a","datavalue":{"value":{"entity-type":"item","numeric-id":2626083,"id":"Q2626083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2515454$F967151A-1A37-49FB-9D3F-C473BFDE7E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f33ba5f95f34ecfd85a5947a5b95a3e1ce86f71","datavalue":{"value":{"entity-type":"item","numeric-id":1115859,"id":"Q1115859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2515454$32B2CEE1-40A3-47AE-9016-944368492756","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bea127e119adbbeef1f582321d41a86a50e4a84a","datavalue":{"value":"10.1007/S11432-014-5149-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2515454$F4E5C78A-EE4A-4530-B8F2-079AC8016EC0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e61521466efc69453d03c996ffe47614665c4523","datavalue":{"value":{"entity-type":"item","numeric-id":5018141,"id":"Q5018141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2515454$885BD250-57F5-482B-9DFA-9A68AE7B2984","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"779559de1dfa70ce6f15fa7dea4b910f18f251b5","datavalue":{"value":{"entity-type":"item","numeric-id":848254,"id":"Q848254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e5dda6f62a7ff5a22a896139d32744db867d1f8","datavalue":{"value":{"amount":"+0.8024686574935913","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":"Q2515454$24AB9A52-55EB-4998-B3F9-4F05E3891FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d49f1d21cd190f7e9864ef08c8cb2ca6666c153","datavalue":{"value":{"entity-type":"item","numeric-id":2404071,"id":"Q2404071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ab9d27a64db109ab55db469a6e5f5861e2a622b","datavalue":{"value":{"amount":"+0.6925832629203796","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":"Q2515454$42610733-93D9-4772-A1A0-BDAF48D5DCF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a83d1e466cff7a5a0aebe6a4e5d5db0a422ae63c","datavalue":{"value":{"entity-type":"item","numeric-id":3455182,"id":"Q3455182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dec13b78bfc6346be5a02ed73a8d455bcec480e1","datavalue":{"value":{"amount":"+0.68492192029953","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":"Q2515454$734247A0-8439-4FDD-BCDC-FA8044995631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c4243997c4ad9f22529b56ceb87994953b92055","datavalue":{"value":{"entity-type":"item","numeric-id":4246974,"id":"Q4246974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65385ab52ac4de2f208b528450e423b2488df59c","datavalue":{"value":{"amount":"+0.680872917175293","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":"Q2515454$E64474BD-796C-42F9-846C-A614A5299228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"780a08a05739376f2db681009f3511d6bc2d2e99","datavalue":{"value":{"entity-type":"item","numeric-id":2966516,"id":"Q2966516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aea1696e19e0f87df5e854eba2e24c76fd6945db","datavalue":{"value":{"amount":"+0.6778379082679749","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":"Q2515454$16755686-6CA3-4DD7-9DB9-42007C2AA6A4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2515454","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2515454"}}}}}