{"entities":{"Q1401356":{"pageid":1412096,"ns":120,"title":"Item:Q1401356","lastrevid":68625360,"modified":"2026-04-13T01:00:33Z","type":"item","id":"Q1401356","labels":{"en":{"language":"en","value":"Algebraic proof systems over formulas."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1965366"}},"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":"Q1401356$63E6DCD3-DDAE-45C5-98B8-4081B8B32A9F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"58cac8d10e13ca6042b3937f0df31fed62b69396","datavalue":{"value":{"text":"Algebraic proof systems over formulas.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1401356$10D898C0-6BE0-4AC1-B70E-29A5E3398CED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d957b5cd4e816712cabdf42cbc502e9e3552cc8e","datavalue":{"value":"1044.68146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401356$38D33628-A1CB-4878-B172-370F3A9C176F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"19cdd5db19a46c8833bf73133aa119b4340752dc","datavalue":{"value":"10.1016/S0304-3975(02)00446-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401356$3252BB1B-6D21-4923-8DB7-4653D87199EA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"082fc9f964d52bb224385bf2fb43b8343199b054","datavalue":{"value":{"entity-type":"item","numeric-id":234710,"id":"Q234710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401356$FF565A1D-C37D-4230-A1EC-149B3583C745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a4a79399764b502030de9c1fe7fb099f6c796d65","datavalue":{"value":{"entity-type":"item","numeric-id":1583885,"id":"Q1583885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401356$C7735661-D805-4D81-90A4-61E5D9A64B4E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401356$D16C89C2-8F99-461C-96DE-5F23F48F1E5E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7c559667253af6b857a12c847a2fbcea5328ae19","datavalue":{"value":{"time":"+2003-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1401356$82FD793D-C26B-4828-89CC-146BEC642784","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401356$BDDBC713-18C0-444E-8D4E-3F08EA6C3C34","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e6088ab8a41c47a9b32bb7ec3b9264532baa89bf","datavalue":{"value":"1965366","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401356$CCFE9176-8A53-45D5-B4B8-AB7E8C6DBBE2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e987d6cc09cf9b5b3221699faea7676017c5a56","datavalue":{"value":"Algebraic propositional proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401356$9F35E9D0-C64C-430B-8D62-C9D1EE6CEB82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f7e939acf4ed91cdd39f1bd56576107c47fb06","datavalue":{"value":"Frege systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401356$02846FFD-5B75-40FA-AF3C-FB5E5254B195","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":"Q1401356$D5ABEBD5-7AA1-4CB9-9260-C435250E65B0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d503877c102eb525b85b566e37d6aac70c467a4","datavalue":{"value":{"entity-type":"item","numeric-id":1432645,"id":"Q1432645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401356$C446E714-24A6-43B2-8FD7-D6F8293475B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"198bba29d7d66df862afcb4d6a84c2940b4b2072","datavalue":{"value":{"entity-type":"item","numeric-id":1112844,"id":"Q1112844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401356$55BE9F1E-00AF-4F00-904F-2DA94543BAC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbbe1958fb29532b90e09c713c0b31c18a6b57a9","datavalue":{"value":{"entity-type":"item","numeric-id":4892411,"id":"Q4892411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401356$6B4E638B-ADB4-4FDD-9796-1ADC411B87DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36fa561ac7459cf3efc368cd16b5bfdab0b68ce1","datavalue":{"value":{"entity-type":"item","numeric-id":1377580,"id":"Q1377580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401356$18C87DE4-06CB-41C7-8B67-1883DF9D2482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f31cbeafb74eb2331031a6d2305fa02411af3e7","datavalue":{"value":{"entity-type":"item","numeric-id":3775553,"id":"Q3775553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401356$C803B6BB-5276-4A2A-927C-D62E0505CFDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b873186fa5e30279e410bea330a6ed356bfc2234","datavalue":{"value":{"entity-type":"item","numeric-id":5943090,"id":"Q5943090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401356$BC52E7B4-636B-4B91-BFAC-68C547E103B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fc668831a6565a498110f2aeac4eebcb5e83ad5","datavalue":{"value":{"entity-type":"item","numeric-id":4228469,"id":"Q4228469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401356$1DD18E3F-7879-4353-B47E-9A021CAB9091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bea75da9fa67a5f77faa9362cd4aa6c737c792a","datavalue":{"value":{"entity-type":"item","numeric-id":4194955,"id":"Q4194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401356$A10264AD-3A8F-43AE-93A7-E433945A6C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79a98465aa59b197fb5f6d70cdd9526566bf22d6","datavalue":{"value":{"entity-type":"item","numeric-id":5957725,"id":"Q5957725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401356$CDE71798-D261-4B9C-9E9A-11C00FF37F18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b8882b47df15b6dc3bb408911ea80f0f4c85834","datavalue":{"value":{"entity-type":"item","numeric-id":4736859,"id":"Q4736859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401356$54841521-46F8-4D36-B385-369AF76E7DC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ae0dc4b6dd11eeb21e91f8fa67c92cd3bfaede5","datavalue":{"value":{"entity-type":"item","numeric-id":1573765,"id":"Q1573765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401356$42F3F25B-754F-4899-8F80-1F4648DDD860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d41b5d6b878a8321367dc00f15dbbc6d413050ae","datavalue":{"value":{"entity-type":"item","numeric-id":5957910,"id":"Q5957910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401356$F1D67513-4B5C-464A-B0D2-F1F08D80BB18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d5a8ecc2a9e7c46d4f5860dcba79e64e2d62081","datavalue":{"value":{"entity-type":"item","numeric-id":1961057,"id":"Q1961057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401356$F75DEBBB-F9AB-480B-A7F1-5E53F53EF07F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa34ae3e34f6a863a9f8db67c2bfb8bb6401943","datavalue":{"value":{"entity-type":"item","numeric-id":4856172,"id":"Q4856172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401356$49290370-FB5F-41C7-9EC3-16EB68506FE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14abad76ad511f1b4aa79c6b56a77737c16aefa0","datavalue":{"value":{"entity-type":"item","numeric-id":4847394,"id":"Q4847394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401356$887ECDC4-7148-4610-9A4F-F7D2A8C5687F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a682704f77c53ddacaa0cf8b69bb093ff426e8b","datavalue":{"value":{"entity-type":"item","numeric-id":4892483,"id":"Q4892483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401356$4E216E11-8D64-495F-948C-8EB1F1043B90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8ec8f6f81428bd8769215213b5291205ed0250d","datavalue":{"value":{"entity-type":"item","numeric-id":1313833,"id":"Q1313833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401356$E640DE57-1F9E-4466-8D72-9CC9A8C598E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c94d017d89fe8a00bee910dd24c96d75202f025b","datavalue":{"value":{"entity-type":"item","numeric-id":4012419,"id":"Q4012419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401356$E2380477-A042-496D-BB6A-C133CFF60486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"547393787ecd9fd7a123ee35d81ac7d16e2dff3a","datavalue":{"value":{"entity-type":"item","numeric-id":4353563,"id":"Q4353563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401356$3FE09FBB-D496-490A-8E9C-1E1E3893C7D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcdbe2bfe0d10636cf929d8ea04a35b0746f5915","datavalue":{"value":{"entity-type":"item","numeric-id":687506,"id":"Q687506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401356$49DFD983-A4E0-4D83-980D-5C28275F4FDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"408159b1c21249567bf1f15c810c7be66dbe7c68","datavalue":{"value":{"entity-type":"item","numeric-id":1293358,"id":"Q1293358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401356$9D0FF393-0A5D-4763-BAB9-CD6D4047BC3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ca2c048ebc4f365dc94c6aad3d43bda9ddcbdd8","datavalue":{"value":{"entity-type":"item","numeric-id":1213862,"id":"Q1213862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401356$7D0AB66C-8876-49B7-BD80-3812B23A43C2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"094d1340bd1d412900a173cb58d2895fe49ae516","datavalue":{"value":{"entity-type":"item","numeric-id":4353563,"id":"Q4353563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a53ec61bd9e10f75a5ddca24d5ae086ff90c0899","datavalue":{"value":{"amount":"+0.876186728477478","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":"Q1401356$B65D52C1-0969-4DAF-A152-54D02B174BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa35740575bfd7dce345ce719dd91103047e0f18","datavalue":{"value":{"entity-type":"item","numeric-id":3569064,"id":"Q3569064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a574469ad9761bae6d371717e11938f07e749865","datavalue":{"value":{"amount":"+0.8344752192497253","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":"Q1401356$704FD255-7493-4983-A506-D82C13685CCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47dae555e280b41cfcc11a603a10db755b7135c2","datavalue":{"value":{"entity-type":"item","numeric-id":642520,"id":"Q642520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d20bb5caab1168ed1451173a09f9e9b8d203575","datavalue":{"value":{"amount":"+0.8326502442359924","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":"Q1401356$B9CFC784-D0A3-47D7-AF95-E8CA25B2D18B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58670c3a210b9049e1d390fbeaa81ec1fef6220e","datavalue":{"value":{"entity-type":"item","numeric-id":1126839,"id":"Q1126839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d2c2ac95e8193c8eab3bab93f680dfc0cb11147","datavalue":{"value":{"amount":"+0.8233571648597717","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":"Q1401356$8ABD4D1C-8287-47C6-A942-DFBC3A4187D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de25000160749644b5aa741c3522ea36e026fc0a","datavalue":{"value":{"entity-type":"item","numeric-id":1024659,"id":"Q1024659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d2c2ac95e8193c8eab3bab93f680dfc0cb11147","datavalue":{"value":{"amount":"+0.8233571648597717","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":"Q1401356$B658C32E-59F9-40B6-8170-A8772409AB29","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algebraic proof systems over formulas.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algebraic_proof_systems_over_formulas."}}}}}