{"entities":{"Q4972151":{"pageid":7001730,"ns":120,"title":"Item:Q4972151","lastrevid":53600828,"modified":"2026-01-25T09:52:08Z","type":"item","id":"Q4972151","labels":{"en":{"language":"en","value":"Pure sequent calculi. Analyticity and decision procedure"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7135651"}},"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":"Q4972151$F2A09094-361B-4126-8CF6-18D384265331","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c104ec3046b6c08ca67fae9998ce8c93ba61cd9e","datavalue":{"value":{"text":"Pure Sequent Calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4972151$79B2C3DE-2099-4672-8599-86A4660BEF8E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f1fd67a6a402d389b3d690b38e2912737df4d496","datavalue":{"value":"1433.03130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972151$BEAA3BC5-F01B-4E3D-A25C-C9EEF25265C5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cf001254be0ad71eaa87da5b09ea6b28f23f59c6","datavalue":{"value":"10.1145/3319501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972151$E473E4C6-D1E7-481D-A3B8-4463897F76BB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23fee96c298cf311331c13562efa1577022e6237","datavalue":{"value":{"entity-type":"item","numeric-id":1677039,"id":"Q1677039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972151$E78B07BC-0A56-4EE9-A617-2C44BD0A4E16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"15c3e77937a4117931d77ceeaa33fe1a7a5d9cf0","datavalue":{"value":{"entity-type":"item","numeric-id":1682295,"id":"Q1682295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972151$33DEB1CC-A965-463D-A861-F4BE7D112580","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":"Q4972151$6E8AFB69-0707-420E-B8D1-78DE13B5B921","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"33cce4fd4ac55934aa54f9a1aa310e23129f81c7","datavalue":{"value":{"time":"+2019-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4972151$AB53B988-4AC2-4BD8-911E-1F6D30C1B37B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972151$01BEF146-7DD5-4C7D-8FE7-952A0BD0E984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972151$D06C1907-DDDB-484B-950A-FEFEB860C6F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972151$8CD2EA3A-F92D-4B3E-ABBB-E2C1B056C390","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"60718949e55df18da97b7512077e8344816e5523","datavalue":{"value":"7135651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972151$A3EB990A-0FC0-4971-9B6A-E19EC9A243BC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"404e591614190488419156400105486d83841bbf","datavalue":{"value":"sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q4972151$BB898195-C41C-46DF-839B-F227BFF16C1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d75ab3b1d0b161be33e4d2ec6fa01a5a7c7f224","datavalue":{"value":"analyticity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4972151$F9425605-32BC-4F05-AD73-90540637608A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f74920537862e25960045b173a4c530000d4686b","datavalue":{"value":"subformula property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4972151$A10F00A6-81EA-4D82-BD95-EECC3DE02997","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":"Q4972151$B0684AE5-FF30-4756-AB31-C2157DB9305D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cdb08439fc7a38c2bbe4a690c010ec69aa69cca7","datavalue":{"value":"https://doi.org/10.1145/3319501","type":"string"},"datatype":"url"},"type":"statement","id":"Q4972151$BADA743B-551A-4EFA-9EB6-F99815C4245A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5b8ce5834c2a555fd23895befe5f6e080e102f2f","datavalue":{"value":"W2949019224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972151$85E54EA7-AAF8-4790-992D-1A210E44C889","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a73e33fec22863f104668063b30adb8d9f2d5db9","datavalue":{"value":"Q127791399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972151$1D48AB11-0121-4B39-8D2C-71273BC2D90B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78647c42b4985b6971dbcc2faca81087d8bcb4ac","datavalue":{"value":{"entity-type":"item","numeric-id":3192182,"id":"Q3192182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b56770e51040f455f003fb9fa492cf8734ee3619","datavalue":{"value":{"amount":"+0.8373746275901794","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":"Q4972151$11D69D4A-B97C-48C4-912A-754EF0B4B7B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"996d502087be506f23f1ab7bdbb9f73a35c69267","datavalue":{"value":{"entity-type":"item","numeric-id":2938143,"id":"Q2938143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0d0ea801a511038241dfeb76aacddf57b4571b0","datavalue":{"value":{"amount":"+0.7632263898849487","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":"Q4972151$2ADB4F76-BD1C-4112-AD0D-767B9E1A3D85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d641b6fdc9e60e9996f62e13b4d33379c5f0911","datavalue":{"value":{"entity-type":"item","numeric-id":1840651,"id":"Q1840651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15f913ac3851e11adc9e4c3ad4262342c0feeef9","datavalue":{"value":{"amount":"+0.7403905987739563","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":"Q4972151$92460085-BC30-45BA-9688-7F26FD5402AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9174130d0b34edaf7753681a21f88061e1c19d47","datavalue":{"value":{"entity-type":"item","numeric-id":812101,"id":"Q812101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"509e47d022d2200372a7e608a25caf6052b98c18","datavalue":{"value":{"amount":"+0.7321258783340454","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":"Q4972151$57D84141-AB1E-4BC2-80B3-149A9B24C318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"843e523af5a1f031e3def03f94ae38c119ac1f4e","datavalue":{"value":{"entity-type":"item","numeric-id":987853,"id":"Q987853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa6e756dee98505b4de5568ec6a83780374e4a9c","datavalue":{"value":{"amount":"+0.7290446162223816","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":"Q4972151$AA70D060-30D0-4FA8-98CD-B04F79BBA559","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4972151","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4972151"}}}}}