{"entities":{"Q4438100":{"pageid":6467699,"ns":120,"title":"Item:Q4438100","lastrevid":48208315,"modified":"2026-01-03T23:24:52Z","type":"item","id":"Q4438100","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2015272"}},"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":"Q4438100$654199EC-2D99-43A1-803D-D8D5C6DD0FE1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d918f4ab98bac42e9703152ccbbc6703f531f2b8","datavalue":{"value":"1032.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4438100$9CA734B4-85BE-424E-A295-A93FE34A9906","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"06644c28854d4134a09144ca7d53b7f0310fd152","datavalue":{"value":{"entity-type":"item","numeric-id":453197,"id":"Q453197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4438100$D2F7A7CC-C63E-4F2F-AE32-6FBA9CF0095E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"61d719a76b59b832f7357f0ad884f9fab21a0039","datavalue":{"value":{"time":"+2003-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4438100$3F71CA3B-A1A4-44EB-B8A0-47028098D947","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4438100$E88FD9FC-1856-4320-8414-2D4D1D0BD7EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9885aef811aa349f50c28b046ac04fbe99524c67","datavalue":{"value":"65F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4438100$43E4C503-3AA4-40D9-87B9-BB5F99FDF9DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"006917fc845ea5652ad3922fd75fdcb78cd79ecc","datavalue":{"value":"2015272","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4438100$1A375CFA-1CF3-487E-A41F-21B96719FC30","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4438100$32780185-47B5-46CF-8BCD-1BFBCCA5FEEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc028f491ca3cd6c7521dd6f6f17a35cdad54a6d","datavalue":{"value":"proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4438100$C3D064F2-F285-40D3-A884-E89886D92999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4438100$1DE53DC4-954A-4520-87C5-D6174E024B18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"872aa6ff478bd546966da21f035ad879740af27b","datavalue":{"value":"Gaussian elimination algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4438100$4F6AF13A-EC71-4C85-8AAE-E58640759637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8307831bae7a4df74e8c0e6af0bcb36895c9b619","datavalue":{"value":"extended Frege proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4438100$BA47069E-E404-4B74-9042-453FA2805C60","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":"Q4438100$341187D2-E4DE-4519-BA03-C1A85D35534A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1758853338eca872e1267172b138fd81bb1f154c","datavalue":{"value":{"entity-type":"item","numeric-id":1766923,"id":"Q1766923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e0030c0a927d1469118a626872932efce01f8df","datavalue":{"value":{"amount":"+0.7600854635238647","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":"Q4438100$8663BA83-3A2E-4857-8116-16FFDBF7F02F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8c0a75c4f1131ee866cde9f99c88c11d29350aa","datavalue":{"value":{"entity-type":"item","numeric-id":4850552,"id":"Q4850552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7e77337c54b959abbb30675da2b57b8a03e3899","datavalue":{"value":{"amount":"+0.7153562307357788","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":"Q4438100$4D002B39-EE4E-4B3F-9565-05280E4F3B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69e8b96e9b34a3808f72ead488ca3b7947fa6bcf","datavalue":{"value":{"entity-type":"item","numeric-id":1886325,"id":"Q1886325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a1463abaf7b04520ea8e662f3b183a9b3af60e1","datavalue":{"value":{"amount":"+0.714573323726654","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":"Q4438100$11A16A35-DB4C-44EF-A60A-8AA1104A274B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e015d4792a0df6f68d5215099472987a4105131a","datavalue":{"value":{"entity-type":"item","numeric-id":5394597,"id":"Q5394597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c01a475f4598228011bb8b1aeda38ed86bd7458","datavalue":{"value":{"amount":"+0.7123355865478516","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":"Q4438100$3382C174-2C02-47EF-B543-BFFD235F687D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97e8e2e300ef832695287426373f19e9524a90b4","datavalue":{"value":{"entity-type":"item","numeric-id":4212930,"id":"Q4212930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4804e3c3b7f686e1ad64596da125f842593f6de8","datavalue":{"value":{"amount":"+0.7051960825920105","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":"Q4438100$562646F0-B3A5-439E-8C72-2E0BAF44DD94","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4438100","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4438100"}}}}}