{"entities":{"Q4247075":{"pageid":6276676,"ns":120,"title":"Item:Q4247075","lastrevid":46824258,"modified":"2025-12-25T16:18:19Z","type":"item","id":"Q4247075","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1301852"}},"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":"Q4247075$3367CD53-EAAD-4116-8F3D-F0F430384EFE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"972966316ad8e4479a2deaeb103b4aa40a1bfaa5","datavalue":{"value":"0927.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247075$AC547E03-B60B-4410-9CDC-1E8EFA0D8AF3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c5b6b7015d62e77cfdd95c0d3f2a2426412e6e9","datavalue":{"value":{"entity-type":"item","numeric-id":1575932,"id":"Q1575932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4247075$6B499F76-567D-4845-95D0-5EBD84D3E052","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fdac7f8667945c3fb34e527fc5abbf5817818c79","datavalue":{"value":{"time":"+1999-06-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4247075$CF26D123-F9FA-4E0B-BF83-D23918DE7C01","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247075$2C786F44-6ACE-4F7C-AAC3-2223CDFB42A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247075$71D61485-5298-4FBA-8906-7B97494BF3B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247075$B6D05091-13FA-40EF-A65F-476F1DDBC94B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247075$76344D84-E846-4DDB-ABE6-25B8597F5127","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bd3dae7f84710827a74ecb95106dd78211615176","datavalue":{"value":"1301852","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247075$C953E5A3-D993-4C0E-A9E5-4E1F2206935A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6c658f92cfca10399e0b9df9aa408c3bc22cae6","datavalue":{"value":"constructive type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247075$2DFEADA2-D90D-4B00-8D68-25572B46D103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8ce9405f3184f895eba448b437163b21c987320","datavalue":{"value":"proof development system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247075$F9C74559-ACFD-4650-8F15-F9DAAD439586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247075$81015006-6C44-40CE-977D-A79ABD3F2B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247075$B484E7DD-FCDF-4AA3-B7C2-F8C1D3F0A80B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7e45de5f0961d0cf7470a7b0dd939d5c4c581f3","datavalue":{"value":"classical propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247075$2F342D5B-28F9-40A0-BAC1-EFED3BA76A0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1f5dafc0bf3068f9165dc4544fdcc3f7c4aa966","datavalue":{"value":"Nuprl system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247075$273E30A4-2181-4270-9FFD-E66C4DA92654","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4247075$9579F835-8B59-4A50-8DFD-2B46597AF47C","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":"Q4247075$10865A1F-67E1-44DB-B497-86C4AA454718","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"309a2fb3896afcd614632ddfda96b918cd9d9580","datavalue":{"value":{"entity-type":"item","numeric-id":3838821,"id":"Q3838821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c3e1718dc112b9066656e452e511afe064c872e","datavalue":{"value":{"amount":"+0.7922572493553162","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":"Q4247075$D7B8AF4D-0A8B-4B1F-BD62-7DC8A9D42834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bd71200f0772a7a2ed50954b1290c7e29d2ada9","datavalue":{"value":{"entity-type":"item","numeric-id":4263008,"id":"Q4263008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f35bdda9d412f80775e267d2c0957e17c7bf592","datavalue":{"value":{"amount":"+0.7854731678962708","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":"Q4247075$30BBE5C6-1B23-4AC6-A13F-3B1C3F4597A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c4de2f674dc67d9ed71923062e0cb417a719c83","datavalue":{"value":{"entity-type":"item","numeric-id":1882897,"id":"Q1882897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f82a8d5ecca591314c776dbe757408879608bf3d","datavalue":{"value":{"amount":"+0.7687129378318787","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":"Q4247075$0867477E-E00A-4693-83A0-6777275C1DA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f3729b0e8c4dddb325f1b0df9df0be3d5efa45e","datavalue":{"value":{"entity-type":"item","numeric-id":4883280,"id":"Q4883280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a3908e109585d5a5dc2e186b16df533569f61fc","datavalue":{"value":{"amount":"+0.759697675704956","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":"Q4247075$956CD239-C855-44EE-B01C-8C81541C5670","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4247075","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4247075"}}}}}