{"entities":{"Q4399249":{"pageid":6428848,"ns":120,"title":"Item:Q4399249","lastrevid":46710495,"modified":"2025-12-25T10:59:24Z","type":"item","id":"Q4399249","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1179974"}},"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":"Q4399249$51446BF3-EC44-4DB6-A60F-2B3EE88673A8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a36a4364cb7bfb51d885aa808c31d442808465e8","datavalue":{"value":"0908.68164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4399249$AE26735D-DC33-4107-9C6E-0A5B01C0B3E0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38b40ed6cb099fba5da493703b11839c0af89042","datavalue":{"value":{"entity-type":"item","numeric-id":202089,"id":"Q202089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4399249$C2E7EA33-13E5-47DF-A1E2-D65C130BF1A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bdeac5e928e087a649bdeced20db2b34fab0678f","datavalue":{"value":{"entity-type":"item","numeric-id":1822913,"id":"Q1822913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4399249$F0822E2E-4FC3-49DD-8A9A-17DC3A57459D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ccb0389d49d9dccc22d89b86cf8dea63356eb4b","datavalue":{"value":{"time":"+1999-03-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4399249$F41DD6FC-4F33-4DCC-884E-F21C9858A926","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4399249$DF81EE96-0E0E-4511-9B40-C2013FFF1ACE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8dea89c549e9cee6995b13b6bcd2cdf3616644d2","datavalue":{"value":"1179974","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4399249$814C36FD-A5F0-4F4B-9C29-C57CB37EA4F8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4399249$FEE071D4-030D-4D4A-B4AA-5259AEABBE9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc028f491ca3cd6c7521dd6f6f17a35cdad54a6d","datavalue":{"value":"proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4399249$34EB0FDD-4F4F-4C9E-8AF6-CE860F4F41DE","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":"Q4399249$B3321233-927F-496E-AF4B-25491BA8E239","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d2414746d0c17a096536954eb7fca1268bd6b97","datavalue":{"value":{"entity-type":"item","numeric-id":5444711,"id":"Q5444711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d9abb9e67578ab849b7c7f0b8b2642ef27a63be","datavalue":{"value":{"amount":"+0.8745072484016418","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":"Q4399249$2C462ACC-088E-4C1B-883A-F1A6D304F819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37e7f0ad797cd6e1343cb88e23bf4234230c9254","datavalue":{"value":{"entity-type":"item","numeric-id":4790380,"id":"Q4790380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d41e0df76d29edbbfcca3a86f99de4aa7cc5f8e2","datavalue":{"value":{"amount":"+0.8609876036643982","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":"Q4399249$3B9B47AA-A541-4754-ADB5-823153551E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6644c89e365e503e202a0eb12c3f2936cc4b499","datavalue":{"value":{"entity-type":"item","numeric-id":3569758,"id":"Q3569758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71f59ff66235ef6cf321b2131e6ff3d768162a56","datavalue":{"value":{"amount":"+0.860518217086792","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":"Q4399249$9ABD9A26-2FCE-4C31-B133-155D6B32F360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02e55b61410f38e6a1b24aaa79cfee91f308ed35","datavalue":{"value":{"entity-type":"item","numeric-id":4934563,"id":"Q4934563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bde9f4747200d0e692daf13989e6a4744dff60d","datavalue":{"value":{"amount":"+0.8514265418052673","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":"Q4399249$C38A55E1-7A03-41E0-B9AE-80CF63DFE941","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4399249","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4399249"}}}}}