{"entities":{"Q4329233":{"pageid":6358834,"ns":120,"title":"Item:Q4329233","lastrevid":47778343,"modified":"2026-01-02T16:18:20Z","type":"item","id":"Q4329233","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1735872"}},"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":"Q4329233$87691082-0F6A-439B-9AD9-70D321637F6A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4b61fa7966bf409cf05c06a2b1c2653c86ea8ea0","datavalue":{"value":"1001.03055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4329233$64D48672-313C-444C-A9F5-78E4179CDD0B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1be09b22ebf282a12e4d91853e68f0716c1e693c","datavalue":{"value":{"time":"+2002-12-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4329233$79802C0D-9E3A-4C0F-898C-8F6E0644280E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4329233$CC7761EB-6227-4191-97F8-E55EBE1C9A83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4329233$ABFF2049-E90E-4B22-8B31-22C80F57EAB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4329233$9E12158B-6DED-4183-A371-6F9A2BFF4478","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5659963473af1a5637f0f1f9066a9eb93ee08d24","datavalue":{"value":"1735872","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4329233$7A1056D7-77DE-483F-A7C5-7AC8C40B75E1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e2e21a984526b8024b04acd04fd80cbaaf58f4b","datavalue":{"value":"logic of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4329233$A9C8B9BE-A140-45B4-9F2D-B45D00F77390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f385836c0aa5e098d6ace403c309ca2ca18dcc9b","datavalue":{"value":"provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4329233$A091A98F-61FF-443F-BB3B-18D426BAC5F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee7a96cc9b63b7e1482d84f68a0d60ebea610fee","datavalue":{"value":"arithmetical interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4329233$8CBC6BB0-F78D-4041-8EF7-BDE4BCF9FF9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87118bced0172ce0c67f9333bd3ecd188c91f9e7","datavalue":{"value":"BHK-interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4329233$A60B192A-E454-49A8-B819-A5123CFF6BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4329233$8F7BBA8A-1AE2-4DEE-ADD8-6E9333F70856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae682d5c22f8702c694a649057f29b8c3c289b60","datavalue":{"value":"modal logic S4","type":"string"},"datatype":"string"},"type":"statement","id":"Q4329233$F81A3B7D-4F08-4F04-B3DC-54C51787E66D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b15c3c9b7aa2feefc22ee8e460ebe16ded2986b","datavalue":{"value":"proof polynomial","type":"string"},"datatype":"string"},"type":"statement","id":"Q4329233$DFB92F74-1F62-4962-9DE3-A9CA9083B7BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d30128e1edf00b87406e818110a8ff1e4aaf7d4","datavalue":{"value":"operations on proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4329233$6F081FC4-349D-4B08-A46A-49F21547073C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb7c57587a9cf6cfbf4920d0ba76515e57df4b14","datavalue":{"value":"functional completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4329233$6A146731-6D1F-4321-A78B-90872C5482A8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f5711a22c90a25acfa5e838b5972ab6cd5c8785","datavalue":{"value":{"entity-type":"item","numeric-id":1317985,"id":"Q1317985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4329233$B9918160-7F79-493E-9148-FCD6486EC1C3","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":"Q4329233$447CFEBC-3849-402E-8A97-7718CBEF1720","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bade1c4d4b8c83dc9273b03a9c5e330219392210","datavalue":{"value":{"entity-type":"item","numeric-id":5957921,"id":"Q5957921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81042fb94ade5e2c32742ccd17bcbee2050c7734","datavalue":{"value":{"amount":"+0.8879026770591736","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":"Q4329233$DE65B1E8-58BA-449D-B98F-A650594A19E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69f0206eee7ec92afebd05ca513872623e5a8e30","datavalue":{"value":{"entity-type":"item","numeric-id":703832,"id":"Q703832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ef4742bd8b8fd76503fdbf8e3a88c6c939da1a0","datavalue":{"value":{"amount":"+0.8745337724685669","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":"Q4329233$E9347D83-4645-40B5-857B-C430F0FAB542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6656a0d31fb7552243c391bdc92bf33140ea977","datavalue":{"value":{"entity-type":"item","numeric-id":5696306,"id":"Q5696306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1505fb21298e35247105b87240d36fa10c49f497","datavalue":{"value":{"amount":"+0.8590219020843506","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":"Q4329233$66DCF8C9-C275-4F4A-B41A-2F89E4BA60AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39441786c1ae01033265d3200174c0370193a6ee","datavalue":{"value":{"entity-type":"item","numeric-id":4257091,"id":"Q4257091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91ddc6977579bb340c847e776ce6d9f4a25aa29a","datavalue":{"value":{"amount":"+0.8505985736846924","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":"Q4329233$778BD22E-F23E-4F43-BAE9-5E08F20AFAEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c0d0fa343c0b96a269f5396808d56db680ae857","datavalue":{"value":{"entity-type":"item","numeric-id":4829857,"id":"Q4829857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8abcfe4c637e2692911aaae50312f0a243b5c488","datavalue":{"value":{"amount":"+0.843329131603241","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":"Q4329233$4F11B7A8-0FF8-4DCE-B268-794343D3BDD6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4329233","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4329233"}}}}}