{"entities":{"Q3838821":{"pageid":5868726,"ns":120,"title":"Item:Q3838821","lastrevid":54495977,"modified":"2026-01-27T10:28:55Z","type":"item","id":"Q3838821","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1189111"}},"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":"Q3838821$6B2F6302-A567-4F5D-9FF4-14A7009B7B6B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a331ff8e5093251fae87c737f84f3f1ce1f63a7","datavalue":{"value":"0903.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3838821$DF54DC69-273F-42E4-A695-5D3D229A66C4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3fccd25be00e3630eef88a98708d9cd959d83c22","datavalue":{"value":{"entity-type":"item","numeric-id":3838820,"id":"Q3838820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3838821$4D490C33-F867-4F79-9443-663071D819BC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0568f48c55e62ce7d58fe24349be3b52a52a8928","datavalue":{"value":{"time":"+1999-01-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3838821$5387FB22-96F2-4704-8F0A-F29A57D18DFF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3838821$9D48F987-07AF-402F-86DA-BE972BB657C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3838821$E9FB5DDB-8BF6-496F-9B6D-2C6ECFF1E63D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3838821$6084C3D5-BC45-4DB7-A65B-54FD6A43BBB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3838821$5523AEA3-8DCC-4A0A-97CA-C629B9162BB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3838821$4F8E1F74-857D-437F-B507-0D1435130C36","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0fc9148c7fc76e5c2de0084d6cd86e24bfe0a668","datavalue":{"value":"1189111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3838821$076412D8-3161-4639-B049-75C285C409DF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3838821$D922A8A1-0531-427D-AA51-3003281CC7FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2b746efc66121bc1fb497da4ab39b83b5cd2f4c","datavalue":{"value":"program correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3838821$CAFBF700-236B-4538-8A95-2FB42D00C810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3838821$432E5E4F-13A6-4A97-A0EB-E66FB14711DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3838821$B32DF30B-A11E-499D-A7FB-C9C4E6B8DA5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c2c5a8f98e94382ca6f32bd0361cbb480ab11a9","datavalue":{"value":"construction of derivations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3838821$F7360066-6151-4BF4-B3AA-C37B6AE1630B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93922606c0d3d810f706f852859cc871fda84dc4","datavalue":{"value":"constructive proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3838821$F141108A-CCEF-4DE4-90C2-3E0E559E7E88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3838821$35A4277C-97B9-4BEA-AEAB-B49D4EFC73CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d1017b5e10d038e359d69a4c400d6213f241e01","datavalue":{"value":"intuitionistic propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3838821$9AB5E63C-72E8-48CB-A7E0-C794B06BF61B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e7be2a6606e07d2c9d44d2b247c668d74eb180a","datavalue":{"value":"counter-model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3838821$084231D5-F892-4A85-9E5E-4E20DD83E42A","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":"Q3838821$C28FEEF7-C1E7-4E22-970F-6ECC77FCF818","rank":"normal"}],"P1643":[{"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":"275d7e9d2b449472e6dc9900a80a2387c94a45e1","datavalue":{"value":{"amount":"+0.859844446182251","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":"Q3838821$0CC23DBE-5C37-498C-9402-74C064318D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11e9b9d0f7d471546cf959849cfb3699590e8c97","datavalue":{"value":{"entity-type":"item","numeric-id":4533383,"id":"Q4533383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83d74056a1b8eb5e46484e16533aa408c0c45c7c","datavalue":{"value":{"amount":"+0.8421787023544312","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":"Q3838821$CED5C03F-B179-4770-94B0-5ABB0BE742BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4690a5e49fe449eb2087010d35349e301628903f","datavalue":{"value":{"entity-type":"item","numeric-id":4272505,"id":"Q4272505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8dcb3d16363db0b1b17a5c8b9b4a54512eaa137","datavalue":{"value":{"amount":"+0.8028614521026611","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":"Q3838821$3AC5FC67-DF6B-49D2-AACF-543977BFCB0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cd6dcaa96e193212c30322bf6b361af6d947756","datavalue":{"value":{"entity-type":"item","numeric-id":3305556,"id":"Q3305556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46c236ad1ce79e9a6b2c9dc1f532b6d96f03a644","datavalue":{"value":{"amount":"+0.8004401326179504","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":"Q3838821$C1E0D127-2284-44DD-A43B-2A923EFAADAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"687c2a5c6256dd6cbca81f795852ca264521fc74","datavalue":{"value":{"entity-type":"item","numeric-id":3417780,"id":"Q3417780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94a099e2e0ad85050a34ed3b9d1b0773b921a74c","datavalue":{"value":{"amount":"+0.7932863235473633","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":"Q3838821$0345BE29-88F6-4B97-A881-292B8E431F55","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3838821","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3838821"}}}}}