{"entities":{"Q4040458":{"pageid":6070175,"ns":120,"title":"Item:Q4040458","lastrevid":55258048,"modified":"2026-02-05T10:15:10Z","type":"item","id":"Q4040458","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 193652"}},"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":"Q4040458$1AE57119-0586-45F3-9AF6-495D449A24B7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7500b224dde142405829d132757d1bcd592d770c","datavalue":{"value":"0698.68001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4040458$C3F36BDB-3218-4B21-B32A-CAF9C85F48B5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"136a3bf1f009deb2a6a9913d5ea0e7ae90a03274","datavalue":{"value":{"entity-type":"item","numeric-id":582279,"id":"Q582279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4040458$72FF3F61-40E9-44C4-B170-966F898CD2E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5103491b8ac27f72fcc1b654dcdceb2676602db9","datavalue":{"value":{"entity-type":"item","numeric-id":287329,"id":"Q287329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4040458$5EBE4950-EAFE-49F7-96EF-C1B5D3B4B540","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"28319e3934f5b194abbcd5639e9eae3758e9e43c","datavalue":{"value":{"time":"+1993-06-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":"Q4040458$698C17EF-18F3-46E6-A10A-F65CABF9A723","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4040458$8EF31E79-5527-4872-987B-EB6929E21F7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4040458$F54CEFD1-5C6A-4893-AE81-7AF91ABF45F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4040458$D05AC080-FC24-40CC-93C5-D5D787967050","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f1e6f12918eea2376a852a5b58aabefe3a801115","datavalue":{"value":"193652","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4040458$0CC30441-56AF-4328-B555-D818F1C88AC4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e15400b31fd1faf55675449bcb67b8531492a5db","datavalue":{"value":"proof systems of propositional and predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4040458$B0E2E2D4-320D-4CB0-83E6-916358E0F313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6f816b7d346e6f4695223452f8d7dd0f1520534","datavalue":{"value":"proof by well-founded induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4040458$F518DEDA-D076-43B9-83B0-5E4D15B0A42F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd1666eb2f6f55f16b113ad2619118cddbf57ccb","datavalue":{"value":"formal content of proofs in first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4040458$FA069548-C770-40FD-B428-99339EECB34F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0d152e6a9af6c905fdfdb33f1c35fcddd9b7faa","datavalue":{"value":"deductive system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4040458$655D5C23-0C00-4894-9295-F90CF2C28BE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34de8b54d67cad8bedae68f107d9dee1e791fd6a","datavalue":{"value":"tableaux method","type":"string"},"datatype":"string"},"type":"statement","id":"Q4040458$9A5923A5-7AA9-470C-B724-869AEEA9A1E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02321389c1553b578d1205b3fe5e7208e2770183","datavalue":{"value":"theory of expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4040458$9D95994C-4E2C-4CBA-9617-EC6FA8766EAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4040458$0C5A6138-CB2E-45DA-9E73-A873B3DF96EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da9e1556c2fcea0d362972fe609ab0761a0d2f2d","datavalue":{"value":"Skolem functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4040458$E22351A6-D735-4ACC-925C-ADD48ADD0778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c48138f21c957233b320331c7901d118d301f3d","datavalue":{"value":"general resolution rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q4040458$39989436-B864-4D55-9923-BB61AC9C735B","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":"Q4040458$6E6987FE-2E4F-409B-A744-5DEB146A72C8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bd913a15c22afaf1026edaff1f0fc8a322bba9f","datavalue":{"value":{"entity-type":"item","numeric-id":4855375,"id":"Q4855375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b0b296da478976f3d3fee44de3500e729095197","datavalue":{"value":{"amount":"+0.8942890763282776","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":"Q4040458$2809C439-FC9E-48AE-AE60-D79AB2600657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aeb73c5444992884f7c82891b83beec4ac7db8af","datavalue":{"value":{"entity-type":"item","numeric-id":4889874,"id":"Q4889874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b0b296da478976f3d3fee44de3500e729095197","datavalue":{"value":{"amount":"+0.8942890763282776","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":"Q4040458$8B4E3EAF-7D46-4BDD-A9CB-6BD32C472F11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0b5b11b224bb4cda614e1c10adba6daa3b8ceba","datavalue":{"value":{"entity-type":"item","numeric-id":3690194,"id":"Q3690194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cd2cea4954d64361961215eb0d8a04d3263067d","datavalue":{"value":{"amount":"+0.8590124845504761","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":"Q4040458$0A4E312C-483F-4C32-8884-8519F7FA06EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b822606285ce070526363a622a7dc5d21e1e548","datavalue":{"value":{"entity-type":"item","numeric-id":4331757,"id":"Q4331757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"864c9270d74c00684fb31520489530af3b50fd96","datavalue":{"value":{"amount":"+0.8189537525177002","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":"Q4040458$B06DE7B0-0F0F-4292-9053-B2501C62FE9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5331b37b95be4ebbbb648e9bfd870d3a37599806","datavalue":{"value":{"entity-type":"item","numeric-id":1379289,"id":"Q1379289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"864c9270d74c00684fb31520489530af3b50fd96","datavalue":{"value":{"amount":"+0.8189537525177002","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":"Q4040458$B27D4587-2D80-4AFC-96C5-5685FE0562D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4040458","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4040458"}}}}}