{"entities":{"Q3979283":{"pageid":6009171,"ns":120,"title":"Item:Q3979283","lastrevid":46246690,"modified":"2025-12-24T09:42:12Z","type":"item","id":"Q3979283","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 19783"}},"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":"Q3979283$18D1FBBE-98E0-415C-9262-D5270BC32178","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ec3440c79134919080fe3af7dc72dd7950b4dc1f","datavalue":{"value":"0743.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3979283$E269CBE6-30A6-4ECD-8501-EACDF7D39EFD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"775a644844a555d1fdaddfac8fec302da0d27d3f","datavalue":{"value":{"entity-type":"item","numeric-id":342706,"id":"Q342706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3979283$06EA2B93-E383-418D-B5CD-E9D73CB54745","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1422b5e3113eee9dc98f0455d275631058399b8b","datavalue":{"value":{"time":"+1992-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3979283$62491F6F-5674-4DB0-B36E-C59956277536","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3979283$E5A6C0CA-C62C-4817-BFFB-3125E99F77C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3979283$5F13CA9F-2F29-44DD-BDAF-F18FC82FD182","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff671404a892cda5c30ad1989f475fe4b9814516","datavalue":{"value":"19783","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3979283$1B89573A-1485-4227-9197-AF8F123999E5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f33be0ff1c733b125590eea16e7df30eeb261b7","datavalue":{"value":"propositional algorithmic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3979283$A244D720-BBCF-451D-9233-3BD011E16F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"701015ab9e1092a34e209dc9f84fdc39fe450338","datavalue":{"value":"algorithm for checking validity of PAL sequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q3979283$7E8C9E47-D19C-4EC2-A50F-964A6A0AA8C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3189a9f5177ae7d24952985ad62a840ad5251569","datavalue":{"value":"Gentzen-type axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3979283$023F1298-CE8D-42C4-A911-DC3D41727D76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3979283$43FCF326-B6FA-45A3-92A6-A5399A68FF97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c7d063599eb6935bb25ac11601b73c8ac0a892f","datavalue":{"value":"small model theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3979283$015B9E05-D51E-40E6-A013-5D17A0B52A0B","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":"Q3979283$E75763D6-47DD-489C-9728-BC90F128C94B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81f8fa35fd97f18091680fbbadbb07dc0a68ceda","datavalue":{"value":{"entity-type":"item","numeric-id":3976050,"id":"Q3976050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a331f6104fd9501597f13b4d35223fea02f7573b","datavalue":{"value":{"amount":"+0.8600680828094482","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":"Q3979283$A40B2977-F424-40A0-8A13-AAEA3C4E49F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e9f6248ca0679fb0d16d2c698e8fd0f64dee694","datavalue":{"value":{"entity-type":"item","numeric-id":688720,"id":"Q688720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be135517c80425e5a5ad333b6aa8b8ed5c01293c","datavalue":{"value":{"amount":"+0.8208922147750854","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":"Q3979283$FAA84D25-8E82-4B6F-9B39-1B55930AA522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"119fd8add0a2bcf074e67b3a6564107ff3d97cae","datavalue":{"value":{"entity-type":"item","numeric-id":2494725,"id":"Q2494725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29c3df09aed971b0183ab0893b40db0d1e77df25","datavalue":{"value":{"amount":"+0.7505819797515869","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":"Q3979283$49D83C12-8103-404A-9DB8-09E22796083D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3979283","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3979283"}}}}}