{"entities":{"Q4579958":{"pageid":6609544,"ns":120,"title":"Item:Q4579958","lastrevid":58280895,"modified":"2026-04-04T13:29:33Z","type":"item","id":"Q4579958","labels":{"en":{"language":"en","value":"Hypersequents and Systems of Rules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6916525"}},"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":"Q4579958$D97F5809-F10E-4A79-AE73-6C934E434478","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"05c3ed6337351ebfc7915052e5412d1c48871de8","datavalue":{"value":{"text":"Hypersequents and Systems of Rules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4579958$5530A7DC-78CF-4F53-996E-FE3CAC4A4403","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c5e16b4156a6056983d1ab663ee88a856e20d9e4","datavalue":{"value":"1407.03066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4579958$FB0C4F71-C847-4613-919E-24881C2610AE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"79e9eb9289bf873bdfa58f825e7606a75482133c","datavalue":{"value":"10.1145/3180075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4579958$66169972-E79B-432E-B8FB-F7F0934C3444","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb4465c1e4c8de201e147387c933ac41a7d412d9","datavalue":{"value":{"entity-type":"item","numeric-id":385018,"id":"Q385018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4579958$29188988-4183-4744-9364-189A01A60FA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"42bee7817e5a0e44e265abb433bc2f33ece0a2be","datavalue":{"value":{"entity-type":"item","numeric-id":1989343,"id":"Q1989343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4579958$6A60D1F6-2C32-40BC-AAA8-BDC6F567BEF6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4579958$7F22521E-D586-49CB-8085-DD49C3CEE4B6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2dfbbfe69f220779a8f4ee2aa35287f4eb47a1e3","datavalue":{"value":{"time":"+2018-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4579958$751B45AF-48D0-4A61-88FA-104CA1B02C28","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"539d426f5f315dd9146c29eb64d75e284ec8e172","datavalue":{"value":"https://arxiv.org/abs/1805.04852","type":"string"},"datatype":"url"},"type":"statement","id":"Q4579958$BE03B92B-B8DE-42FE-8C5B-8C8857370A9B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4579958$6380C8D8-5A1C-451D-80BA-9A3685EDEFED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4579958$ADD39A39-EE5C-40D1-8CE3-B152DDCA872B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4579958$53E1AD16-3B17-413A-8A41-32F9A6BEAE4E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"00fa8e1e9cf610d9ee6401773236da3d960f7cbb","datavalue":{"value":"6916525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4579958$3D748BAE-32C4-4235-80CC-217E6D09CD18","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d1cc822e1c26c4cdd2ac493c7178a1c51841e7d","datavalue":{"value":"hypersequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q4579958$AFB4EAD0-006C-4DB3-BB60-675742AAB8F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69c21d4e239bac8c7a4c41a06f1c36eb3000c874","datavalue":{"value":"embedding between formalisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4579958$46D0074A-8CE6-4F79-BC1A-0715472D7B35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6ccc36dd4b829a804cb35634e3fec1befde97fe","datavalue":{"value":"intermediate logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4579958$C7D4107F-5589-4AF7-9681-CBC0CA1C17AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4579958$D1F378A1-7AFC-4889-AC5B-9199288896B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90b88b89367deb792d7b50c57f13a794f863725a","datavalue":{"value":"systems of rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q4579958$D25A9DDA-7F64-48E9-9847-E907060A56C3","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":"Q4579958$F1DEACA1-77ED-4932-9183-70631DC860E7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d7a462f3c26a165a6a123716e023fef233bad40a","datavalue":{"value":"W4299603271","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4579958$E9068AAE-A031-4BA7-A66B-56327FC296BF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb781b7f2347efb7aac3b27a8219a7f0aba7c0c0","datavalue":{"value":{"entity-type":"item","numeric-id":4636035,"id":"Q4636035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13147852ca9ae5f3d9f6c492989d940671952603","datavalue":{"value":{"amount":"+0.9344489","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4579958$A6176675-66FF-4CD5-97F1-0E32C1567247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e776ff48e52afdc855d34be81bb53f23a2b91326","datavalue":{"value":{"entity-type":"item","numeric-id":3605532,"id":"Q3605532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cde38d13b2fb157a5fbe01d6bf2082441b0356ce","datavalue":{"value":{"amount":"+0.8886676","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4579958$DCE9F9A7-4D25-4B65-AAF4-F3442699C682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"563d2a4d459f953b687c16f498361b72d62cdffc","datavalue":{"value":{"entity-type":"item","numeric-id":3192201,"id":"Q3192201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8721a1c188e951532ea7b08a2214fb7b64b9b498","datavalue":{"value":{"amount":"+0.8798866","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4579958$4964485B-4A35-45D3-AFD8-B52572E67A0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"516992fd13d1d592839f04e183d2a6a3f5ce23e3","datavalue":{"value":{"entity-type":"item","numeric-id":344801,"id":"Q344801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba6dcd8cbc464242c37dc4698a291bb29e6b5177","datavalue":{"value":{"amount":"+0.87986994","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4579958$6D1373AF-5859-494D-8218-E8B62A674056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ed1205122ab61c0b506725fbe6c6767248bf19c","datavalue":{"value":{"entity-type":"item","numeric-id":5159492,"id":"Q5159492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3e0d83e97adb71193b327ffb579969d4a26d0d9","datavalue":{"value":{"amount":"+0.8719256","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4579958$BF62E4F5-CEF2-48AA-A7B8-D0B83730462F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4ae66aaa061d54fcdf27cf00ad786d7a5ade05b","datavalue":{"value":{"entity-type":"item","numeric-id":3532483,"id":"Q3532483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ad8ddd47a225a4752d601ecb3ae8dc6258b03b4","datavalue":{"value":{"amount":"+0.8685336","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4579958$F67AA0A0-3BEF-4821-A512-D4540A413799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56cd0a830c556e55eb12f2f9fd5eb3365dcc211f","datavalue":{"value":{"entity-type":"item","numeric-id":3021911,"id":"Q3021911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faf9d60b15b5f86913c05dbce8c5fd3e9ffde348","datavalue":{"value":{"amount":"+0.86280507","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4579958$56C4A27D-067B-477E-AAEC-5A537AA14A27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c18214adb8510ecdfe7e9c193d22335c9ac98e0e","datavalue":{"value":{"entity-type":"item","numeric-id":3607559,"id":"Q3607559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c25d810e4e009d60a4aea5eb7ef53eb56d30f691","datavalue":{"value":{"amount":"+0.8606439","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4579958$A0071F69-3EAA-4BED-AA53-5131DDBD7FF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1a36b64c65f3f5e25bcf0a82c6f93f1c5fa1758","datavalue":{"value":{"entity-type":"item","numeric-id":5258963,"id":"Q5258963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd41805b62d6ae25823e96486f11f3483a416442","datavalue":{"value":{"amount":"+0.85739595","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4579958$6A5D6D81-F0BE-4FF8-B5D2-2A1A347558B8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4579958","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4579958"}}}}}