{"entities":{"Q4934141":{"pageid":6963723,"ns":120,"title":"Item:Q4934141","lastrevid":47432260,"modified":"2026-01-01T17:59:55Z","type":"item","id":"Q4934141","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1389648"}},"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":"Q4934141$F57B65BB-19D3-427F-B10B-AF5CD10B0388","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2c368a46ff51e89ff2c87c0072a00f025d45adbf","datavalue":{"value":"0951.68141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934141$193FDB35-B640-4AF8-B49D-B802A3E51EE0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d140f15ea14007eb49a1fd3fff371fc795569921","datavalue":{"value":{"entity-type":"item","numeric-id":229734,"id":"Q229734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4934141$BCC84908-06FC-4822-92C7-0EE9CC3EF144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"79124b11e1fe5bc59a11a739fe63a4a20df1773d","datavalue":{"value":{"entity-type":"item","numeric-id":1854381,"id":"Q1854381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4934141$7499A88D-AB73-482D-BD50-A18965DD760D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95ec5b043115e52ee0328702da430700e7365687","datavalue":{"value":{"time":"+2000-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4934141$15E93CD9-218C-48B0-8BC5-7DE5C7F252F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934141$33E8C3D1-5A6D-4256-BBC0-662C6A12B76D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"458391fdf3d0746334dd3c45d6bddb837818082a","datavalue":{"value":"1389648","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934141$12C14E73-3D7B-4B95-A659-98D4845B6407","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9590d77a2d0a91992be7c6ce9efd0adf13771f80","datavalue":{"value":"intuitionistic sequent proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934141$F89F08B8-B208-479F-8C00-B7CA29A1FA6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca8aeb3ad019be27994f9ee4a70504d088359e7","datavalue":{"value":"multi-succedent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934141$1B67075A-59B7-41B6-9348-73EE2D46A2FC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4934141$D0EBD6ED-67FB-4ECF-BC2C-0F0FAA024152","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":"Q4934141$6043191B-6E48-4F00-906F-1A5FC1FED416","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3b59ebcba5f5cd513bd950f5f05359111a86127","datavalue":{"value":{"entity-type":"item","numeric-id":4223027,"id":"Q4223027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3beef7104d2cbeb45509088b5b29eec6292f89a9","datavalue":{"value":{"amount":"+0.9484065771102904","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":"Q4934141$C12E1FBE-82D6-414A-9024-D1CFF2E531B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"232fd69db5b94e705d38ce1e192940e83e79a8c9","datavalue":{"value":{"entity-type":"item","numeric-id":4217953,"id":"Q4217953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4b0c64fa9e716134f8301a1d8afe1ddc7a37103","datavalue":{"value":{"amount":"+0.8578757047653198","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":"Q4934141$D17BEE56-57AF-4C1A-9B88-2F07BBF782D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d65f8a6861137e5dd56db0ac3070848833f2bd53","datavalue":{"value":{"entity-type":"item","numeric-id":5955616,"id":"Q5955616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4b0c64fa9e716134f8301a1d8afe1ddc7a37103","datavalue":{"value":{"amount":"+0.8578757047653198","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":"Q4934141$6758AECD-E89C-49C3-B1CA-B1C850DEE28E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a5459115414d7cfb7aaac71d5a12384467091ea","datavalue":{"value":{"entity-type":"item","numeric-id":5234695,"id":"Q5234695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"978df264ef6be4faac9d11905d14ca5b1e73ec44","datavalue":{"value":{"amount":"+0.7741422653198242","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":"Q4934141$73CA0E58-DCD3-4F72-9AD8-528E788BFCE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ab26edf1fc181f17d051519482c54b44ff1e475","datavalue":{"value":{"entity-type":"item","numeric-id":5053007,"id":"Q5053007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a24a3228cecebb0addfbb786cab4569d95b904a6","datavalue":{"value":{"amount":"+0.7641683220863342","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":"Q4934141$BAE3D5A0-4DBD-432B-A3CF-04D613134040","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4934141","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4934141"}}}}}