{"entities":{"Q4636050":{"pageid":6665631,"ns":120,"title":"Item:Q4636050","lastrevid":40699196,"modified":"2025-04-04T09:53:37Z","type":"item","id":"Q4636050","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863660"}},"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":"Q4636050$44173547-BBB8-4858-9D82-A8E80F2B5729","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cbc2435c0a98898d9fc809de8dab686fd4de9008","datavalue":{"value":"1400.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636050$D32EC0D2-2303-4535-B93D-B920B583E91F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"749da45a046df78df31a8068066ac46a7099b035","datavalue":{"value":{"entity-type":"item","numeric-id":1694450,"id":"Q1694450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4636050$C242ADC5-504F-4EAB-976D-4E42CD819D7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"92e01041fe23d41c5fa2e9b7e399e4c0ecad96c4","datavalue":{"value":{"entity-type":"item","numeric-id":744989,"id":"Q744989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4636050$135181A2-7C2B-4BDF-8DB3-D728EB0DE01C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2479aee847d640d3090b268957bfaa9b03ce27ad","datavalue":{"value":{"entity-type":"item","numeric-id":1102281,"id":"Q1102281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4636050$C5905D2D-DB8E-45A1-9EB9-D8F1A773D0DE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4636050$AE437123-02A4-4506-AED3-71EB8F41ED91","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636050$686E26A5-3EB1-4D43-8307-DD3CD1C77C91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636050$CB76BC7B-7731-478C-BFEA-58C5617DFF10","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2e69472ea89f99bd924bfe548d52dcc215cc2489","datavalue":{"value":"6863660","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636050$E3DF9C75-BAE6-4FF8-A78C-C9F4FC36E64F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636050$2FA97D2D-020C-47E1-ADB4-3FA41946C3ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"404e591614190488419156400105486d83841bbf","datavalue":{"value":"sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636050$EF4A1E35-19B0-483A-B62F-685AB2CE40DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c7a76a75cd7334989dc211415452677d1ce852a","datavalue":{"value":"labeled proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636050$39389256-5806-41A3-8B2D-BD082F754A62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98f41781e04ce8b5a53d7eeddf045b92e5e84bfa","datavalue":{"value":"focusing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636050$DDFDD69B-78CA-426C-A6B8-6067FEFB8907","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":"Q4636050$C9789364-5C63-4738-A9E3-3887E65A85F1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd4f4ec85980c8c79a6bf25c0a2a61aeed189f1d","datavalue":{"value":{"entity-type":"item","numeric-id":4443417,"id":"Q4443417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69ad76ab0dfb8dd4d7e98bcb66a1c8395dc29002","datavalue":{"value":{"amount":"+0.9146788","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":"Q4636050$AE95B5DB-42F3-4106-B2FB-46AF24EC1F11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc266ebb54b890652e53082ab264af512b3532a5","datavalue":{"value":{"entity-type":"item","numeric-id":5236558,"id":"Q5236558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"050420f6958d021c60f2f43110a3a0b7d955c2cd","datavalue":{"value":{"amount":"+0.90688425","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":"Q4636050$08615443-EFA3-4320-9B49-CCAB22CD7027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b608f8e48cae9e3be95e4b25037189a4718ef8fb","datavalue":{"value":{"entity-type":"item","numeric-id":5369481,"id":"Q5369481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a42b47972114bbe595bcc5f406389e7a770f348","datavalue":{"value":{"amount":"+0.9043313","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":"Q4636050$D34A4822-871C-44F3-A151-DBB69E1DC418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d776251971de9cedf12bb5788f6450a62a83e18","datavalue":{"value":{"entity-type":"item","numeric-id":5739974,"id":"Q5739974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7274fc106f34f5ebbc7777468f46a71939eba246","datavalue":{"value":{"amount":"+0.89059454","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":"Q4636050$5778A899-32F9-4699-BAB0-250E5693C620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7d1e708b2e469be7ec03df78ad98200a7c69af2","datavalue":{"value":{"entity-type":"item","numeric-id":636278,"id":"Q636278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9fe80ea55c901fcc1c889139cf4bb32cc7d80c5","datavalue":{"value":{"amount":"+0.8900511","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":"Q4636050$10E993B5-2ADE-4165-A503-F84F2B98EAAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"705f09eacb69a7f821a55d3261d13f15e59dd26d","datavalue":{"value":{"entity-type":"item","numeric-id":5688812,"id":"Q5688812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"141cd535c7b02cff013377a22c27902b65d97cfa","datavalue":{"value":{"amount":"+0.889966","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":"Q4636050$64A96954-4B83-44AB-964C-A6901CA5DB61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84d268f3b5e2da4b6bf25850a295ec3b8e567302","datavalue":{"value":{"entity-type":"item","numeric-id":3460060,"id":"Q3460060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed705e588209985be46bc08d509399da35d63a2b","datavalue":{"value":{"amount":"+0.8896203","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":"Q4636050$6AE4F152-DE70-4E68-9944-BEAE054B0D96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8494bc5cdc0a117d479adeda39b13518641ff5be","datavalue":{"value":{"entity-type":"item","numeric-id":707742,"id":"Q707742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"298afa4300b982985690fd93fa0b0277b82183fa","datavalue":{"value":{"amount":"+0.88485444","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":"Q4636050$84091AFA-2326-47D1-85DE-9990A309CF7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb2c3f1d9cdf6d0af916eae57c1be76e6004b8b2","datavalue":{"value":{"entity-type":"item","numeric-id":3490986,"id":"Q3490986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"540fc5248eb7cac950c703708008e1cb883f232d","datavalue":{"value":{"amount":"+0.8823029","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":"Q4636050$A07EBD5D-F99F-49F0-BA31-80A9A086F55B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a880b2d84fd24c903ed014494cd1a692dd5bd02a","datavalue":{"value":{"entity-type":"item","numeric-id":4018166,"id":"Q4018166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"540fc5248eb7cac950c703708008e1cb883f232d","datavalue":{"value":{"amount":"+0.8823029","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":"Q4636050$60E1FE66-348A-4C71-9736-5C518E213145","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4636050","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4636050"}}}}}