{"entities":{"Q4858606":{"pageid":6888186,"ns":120,"title":"Item:Q4858606","lastrevid":47377018,"modified":"2026-01-01T13:45:45Z","type":"item","id":"Q4858606","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 826694"}},"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":"Q4858606$B99189EB-5221-4E08-82B5-F23DEF138482","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b0e52bb2c8e5220bc6701b12b39595ded690fe3d","datavalue":{"value":"0837.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4858606$53954415-1B17-4364-9434-DEA7DFF53B28","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"42f0f2650b1a54c0d90afef19ad2bf9e111cb5d3","datavalue":{"value":{"time":"+1996-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4858606$33D055A3-0150-4E44-B500-862378623B4E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4858606$EC090C00-3DB9-476B-8670-C9F292FDEDC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4858606$BE7F1A04-7798-4363-A9F7-11D8C57445CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4858606$ACEE2FEE-6774-42EC-8ABF-A4190D82091F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb4e48a83a6607d4f117f1507a78df494c142a54","datavalue":{"value":"826694","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4858606$5A6CF360-A3D5-4641-9BDD-1FCA6FC22219","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4858606$A7137C2D-CEAB-47B3-A69F-2537A8BA7726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"793dba4d4ff1666a415762a6ee2358e8b3ef9763","datavalue":{"value":"proof theory of modal systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4858606$EEAAF3E0-B5CE-4A60-8A15-260189972D47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4858606$50250895-8B75-43AC-B5C7-AF3CCE938AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4858606$7134F44D-81DD-4DEB-BBAD-6882DDF2DE77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4858606$65AFEE32-5E44-47CE-AADA-7F772EBEFCEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4858606$BEE7D879-D399-43AD-BA6D-AD840E80CAFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9658449d84c5889b6cadd27d6ebfc70269499ce","datavalue":{"value":"bounds on the cardinality of the countermodels","type":"string"},"datatype":"string"},"type":"statement","id":"Q4858606$38B5ADC9-82C0-4446-85C3-BC42F35AE465","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d82f8b03f6c1b8914585488abbd4230aebee772","datavalue":{"value":{"entity-type":"item","numeric-id":1303459,"id":"Q1303459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4858606$1E30478E-2969-44DE-B375-D13EDF934C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"decf1d047f45269e853a1e03e7b7e8c433616b96","datavalue":{"value":{"entity-type":"item","numeric-id":1840650,"id":"Q1840650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4858606$DA1C0F84-8E57-456B-B4E9-990CF2255D12","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":"Q4858606$541E8C3B-CC28-48A9-9433-6778B8688CE1","rank":"normal"}],"P1643":[{"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":"77140ee85143c19bd62654e9aaf6780b487052ca","datavalue":{"value":{"amount":"+0.8995206356048584","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":"Q4858606$90041020-E8B4-4E05-96E5-E0AC52A5BD35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"616b57cb7b6dd63211f0da6e47650722c6e23139","datavalue":{"value":{"entity-type":"item","numeric-id":3435245,"id":"Q3435245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5d197f5edce324840aa440173f0268024bc020e","datavalue":{"value":{"amount":"+0.8035946488380432","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":"Q4858606$720A898E-EB38-41FB-A19F-4CB5AE2BCFD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"621623617ad27b2257ab485b9e9636b0d251c56e","datavalue":{"value":{"entity-type":"item","numeric-id":4304135,"id":"Q4304135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"538bcfda408a705ca686e6e2d332dc203a760c2b","datavalue":{"value":{"amount":"+0.8002743124961853","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":"Q4858606$D2D7889A-AA4F-4300-9457-658CF8E4C31B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca80663566cfbef6d55160b2b09040f6d4b91045","datavalue":{"value":{"entity-type":"item","numeric-id":3648728,"id":"Q3648728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be46bb03172bbda949da2851477f03138d791d17","datavalue":{"value":{"amount":"+0.7941697239875793","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":"Q4858606$6AF97B34-E08F-4987-B1D7-820636901452","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":"c862abb78cc4c1807ba48fd9625d69dcc34bd804","datavalue":{"value":{"amount":"+0.7876108884811401","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":"Q4858606$F20C30D5-EAAA-4992-8C57-841D4F3855BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4858606","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4858606"}}}}}