{"entities":{"Q4263022":{"pageid":6292623,"ns":120,"title":"Item:Q4263022","lastrevid":46664406,"modified":"2025-12-25T08:58:40Z","type":"item","id":"Q4263022","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1341483"}},"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":"Q4263022$081D8ACD-B4D9-41E4-A009-08AE77874DA0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"717bd94316f6b83cc77dc48f0d6dc48a919ca5e6","datavalue":{"value":"0931.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263022$F2EAE3FD-A7A8-4FCE-8E84-16BF5B7F60D2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a9059fbad1dac267c8b3db87819e98298f3d65f","datavalue":{"value":{"entity-type":"item","numeric-id":429595,"id":"Q429595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4263022$D0C70AC7-C29D-4D6B-8F11-96241058C4E3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9064e7c5b1833d7d4b89f5a4c09b74bb0655a242","datavalue":{"value":{"time":"+2000-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4263022$ADA7A3D3-A0A1-42E2-828F-749280F6C3B4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263022$D92F11F5-8816-4067-A748-A97857680B5B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cfff7881e853e52e777d023dc31d5af4c73c70b0","datavalue":{"value":"1341483","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263022$6B5D5EB8-2D72-4D73-9C16-8B086AAB8469","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"153d907a29418c93ff2fcde74fdafbaa31b44f88","datavalue":{"value":"free variable calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263022$0DEE713E-BD7E-41DB-B25F-0A690E53D9E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8a52762350cb582e96d66b558bfbffa53c907f7","datavalue":{"value":"implicit inductive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263022$E671495E-5AF7-4255-8A62-AB49550E3C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d120f16a4a449e17abe99fcf1fc6dfa592e9035c","datavalue":{"value":"tableau calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263022$D2DEB9A2-3FC3-431F-BEF2-70C42993E1F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"404e591614190488419156400105486d83841bbf","datavalue":{"value":"sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263022$BED487F0-8D0D-419A-BC16-F988163448A0","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":"Q4263022$6E1EBCEA-58B4-43E7-9CD0-06C3FC081196","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04fd71f19010d8402ee0b75fc166b89c3b7eba50","datavalue":{"value":{"entity-type":"item","numeric-id":4503917,"id":"Q4503917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2902d11ff2799a18db080575c7c14f4ec917b00","datavalue":{"value":{"amount":"+0.7573031783103943","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":"Q4263022$9478EC1C-428C-4CD6-B589-BD959E710911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4b831efe4762ed863b6b406fbe78b5f5efccbf5","datavalue":{"value":{"entity-type":"item","numeric-id":4524782,"id":"Q4524782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83c1d0e6454d713905184582dbe6eab31478c854","datavalue":{"value":{"amount":"+0.7303865551948547","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":"Q4263022$8C49A036-225B-4F71-B088-7CEA7FAD3974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bc7fe7295f672ac04fdcab505bd636697646dce","datavalue":{"value":{"entity-type":"item","numeric-id":4610315,"id":"Q4610315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35fa26f4cd08da3db89daf030fdb59b8939a4cc9","datavalue":{"value":{"amount":"+0.7294636964797974","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":"Q4263022$F489286E-7016-4656-A2C9-4680B9A30F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca926648b6e53da805b017264eca5f653bace98d","datavalue":{"value":{"entity-type":"item","numeric-id":5712303,"id":"Q5712303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e25dd85031973d01707c323cba6f9c6d5e69c752","datavalue":{"value":{"amount":"+0.727424681186676","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":"Q4263022$533F2581-F171-44C8-ABCD-884517282F76","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4263022","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4263022"}}}}}