{"entities":{"Q2848048":{"pageid":2858768,"ns":120,"title":"Item:Q2848048","lastrevid":83767091,"modified":"2026-05-07T10:53:59Z","type":"item","id":"Q2848048","labels":{"en":{"language":"en","value":"Issues in the analysis of proof-search strategies in sequential presentations of logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6211405"}},"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":"Q2848048$156C653D-F340-4103-BD29-ADA994A1B058","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b138ef1546b68fad0b1e604f0ffae0a0db3cc962","datavalue":{"value":"1272.03070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848048$0676C3E5-2391-4EC3-9253-A21A7B56CC87","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23f75780c178d9129b74bbf42fac28707b7d8ca7","datavalue":{"value":{"entity-type":"item","numeric-id":824631,"id":"Q824631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848048$3EAA12CC-A2F3-4190-BEA7-2C8BFE0264F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8493c5a9382ec7942c81e66d876be9d0596e633f","datavalue":{"value":{"entity-type":"item","numeric-id":306277,"id":"Q306277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848048$840C6E07-40E1-46E2-939B-BC81A2920764","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"68e9606d4f4e53be9a37b58bd23167a8b2b94aea","datavalue":{"value":{"time":"+2013-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2848048$F2F6A17B-F880-4F85-A6E1-375F5404576F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"94875620717099e31286bd65068bb7d301809e5d","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105000988","type":"string"},"datatype":"url"},"type":"statement","id":"Q2848048$01FD8AB9-44AF-4039-BFF2-D8226B77D1E7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848048$C15A665C-6BBD-4452-BA94-ACC0251C1BC1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"25a7abfad5fa99ac58efd1b6c5da9d5c76f2fd45","datavalue":{"value":"6211405","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848048$5DC5F1B0-99BB-49ED-A7EC-B1FFBA227F72","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":"Q2848048$1F68D2F9-B911-452D-9B5A-CA3987901218","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f3ad150a7248b527f7520ca3d5ff418484063585","datavalue":{"value":{"text":"Issues in the analysis of proof-search strategies in sequential presentations of logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2848048$71BB945F-45D5-4270-B7C4-3AD64B20383F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3aa2eca1729bedce32f244a4ef8fcd55294f7b64","datavalue":{"value":{"entity-type":"item","numeric-id":4934557,"id":"Q4934557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f7d011f8f9571fbc22ef066c1f1b02fa47c678d","datavalue":{"value":{"amount":"+0.8017931580543518","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":"Q2848048$D5A74869-0C4F-4809-B42F-FB9AF6613E62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14834824771135e9cf6a75527d080c77f143aad3","datavalue":{"value":{"entity-type":"item","numeric-id":1275625,"id":"Q1275625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f7d011f8f9571fbc22ef066c1f1b02fa47c678d","datavalue":{"value":{"amount":"+0.8017931580543518","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":"Q2848048$59E60EAF-8086-46BF-9EFF-4872565FA505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1dded84efdb5708838a6cb373ab475aa9c4a5587","datavalue":{"value":{"entity-type":"item","numeric-id":5479277,"id":"Q5479277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8498027c78f2eb500e3aa7119bb5e4094a2d2e5","datavalue":{"value":{"amount":"+0.7716115117073059","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":"Q2848048$9ABE5EFF-2C4B-4F18-99EC-88DD491D7C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef839f2d75982bbe912faf8d4b4c3ca8921f8999","datavalue":{"value":{"entity-type":"item","numeric-id":5406127,"id":"Q5406127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aaa59376a41adbf17c39fdea76e2037cc6718ef2","datavalue":{"value":{"amount":"+0.7582620978355408","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":"Q2848048$1AAC4FEC-AF32-4703-9D06-AABE1EBD251A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ea0e32fdf53b0a6a7cb75a05a1278d0a526f7a3","datavalue":{"value":{"entity-type":"item","numeric-id":2745124,"id":"Q2745124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c33054b4f1d18f0f182e4306336b93f234483d6","datavalue":{"value":{"amount":"+0.7516501545906067","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":"Q2848048$EF419385-B7B8-4193-A706-767AEC909B06","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Issues in the analysis of proof-search strategies in sequential presentations of logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Issues_in_the_analysis_of_proof-search_strategies_in_sequential_presentations_of_logics"}}}}}