{"entities":{"Q4040341":{"pageid":6070058,"ns":120,"title":"Item:Q4040341","lastrevid":55253140,"modified":"2026-02-05T08:50:32Z","type":"item","id":"Q4040341","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 193539"}},"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":"Q4040341$3FC4015C-0AFF-43F7-A228-1ABE5C281AE9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c6449e1bfdb01ae6e6fed5ee3e1ad63373c461e5","datavalue":{"value":"0646.68004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4040341$7C5D0284-09F9-4496-935E-69BDA5F1A23D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"48acc9bc356d9816f068c98eeb4810b85e851886","datavalue":{"value":{"entity-type":"item","numeric-id":757076,"id":"Q757076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4040341$997356B7-A57F-4DB3-A014-B0B4E8D736AF","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":"Q4040341$7074A1F1-83A1-4E6A-8D36-5232D7C47DD0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4040341$EB475050-52BC-4F8B-A2C3-E3776E6B56BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4040341$850E774E-05C2-4128-80AF-CA03828B08F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4040341$FB19972B-C342-4E6B-AC2A-AC25DEC81D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4040341$3E309741-8061-45F5-9754-9EA72AD1EAE2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b04672aff27852d33a8559c60cc761fdec1a5b77","datavalue":{"value":"193539","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4040341$3989EAF9-FED2-43AC-A4F7-12AAC984C81B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bce42706f9541eba835200dfef932d69b8a0ffc9","datavalue":{"value":"sequent logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4040341$F9986B82-E8AC-4B09-A86F-86696218C4DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4040341$E9BE1A10-C9F1-44A1-871B-EC8B4EF1B56C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8d8b1d67384cd642422b7e762b22af41307ae4c","datavalue":{"value":"recursion theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4040341$A2F1382B-48C1-419B-AF42-1915FB77DEE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7fcd012c31ed56aede648afbe81f909ed5cffcc","datavalue":{"value":"many-sorted Horn logic with equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q4040341$0FC88130-7FE0-4F09-A3E7-166AF9603DB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64eaf746f8323aca7f8e059d49fc382a5ad50bde","datavalue":{"value":"Church-Rosser property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4040341$CCF73DFD-E481-4352-AE0E-B7C1DE5EF799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f84bfa4d35417b90f2a3d3973763cb89a42b0a1","datavalue":{"value":"paramodulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4040341$0A5E5BD3-B314-48CF-8B56-35CDA7DFB1B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea9ab0c2f0166fe021df7168ba7ed6da45cc5694","datavalue":{"value":"goal reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4040341$D32815D3-BD1E-41C2-9267-9358DDDF371F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50e20429622ec08ba47dc9e7a4c57de8bf8a42d9","datavalue":{"value":"narrowing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4040341$861C79E6-D07C-488E-8902-D8DE26E55F3F","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":"Q4040341$0E79D94C-0B67-44EF-9AFF-A07CEB0904A0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b55b00969f86fe530faa4e586293fa79f7de7f52","datavalue":{"value":{"entity-type":"item","numeric-id":1575175,"id":"Q1575175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccf3e55cbf24e2e3a1d2c7ae5a457efa25f9523e","datavalue":{"value":{"amount":"+0.9093016","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4040341$46320B25-060E-4339-A2E7-EA8148A34CF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04415b4acfa317c05592d9e4057f2a56b8a072ef","datavalue":{"value":{"entity-type":"item","numeric-id":3815282,"id":"Q3815282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90d337f887295c8fd466a68924cebd0fe6d21042","datavalue":{"value":{"amount":"+0.9026552","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4040341$25C77A36-BD84-4E08-AE89-D3BC4DC2157A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"644e4aaedbb296a7df190ad7ecf69f39338f09de","datavalue":{"value":{"entity-type":"item","numeric-id":1606297,"id":"Q1606297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09146d4573b193045d35d0985667372ffc407968","datavalue":{"value":{"amount":"+0.89342505","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4040341$79AF2DE3-92FC-4A57-B37F-BDE11A505238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"daad16c12a610dfdfa00736e578af13909b8640f","datavalue":{"value":{"entity-type":"item","numeric-id":4205083,"id":"Q4205083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26a5b036fbef26a8bcef7ee284c7227b024d77d9","datavalue":{"value":{"amount":"+0.8932783","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4040341$728183B9-510D-4630-9EB4-774792037051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61962937f0a80c9ef2ed7843a90035f59f3909fc","datavalue":{"value":{"entity-type":"item","numeric-id":1177928,"id":"Q1177928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20b9b30907e6442ffe85348cf9034e6e7eb2e697","datavalue":{"value":{"amount":"+0.88677317","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4040341$07D6BA7D-4CAF-49AE-81BE-1A5C3020E987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"702c12900292dd291364973617511af06be085f5","datavalue":{"value":{"entity-type":"item","numeric-id":4812982,"id":"Q4812982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"423fffc716041e708dcf38abb705d92c68a9b6e9","datavalue":{"value":{"amount":"+0.88350403","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4040341$04606F3A-E6D1-4A29-A5AC-93DB761A9088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e702a4d07b47bd3f148b4349ad7d5ff06c11a38","datavalue":{"value":{"entity-type":"item","numeric-id":3486859,"id":"Q3486859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb95fbe2f34847e3b6999fc0b70a010a5c187afe","datavalue":{"value":{"amount":"+0.8832047","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4040341$4BA43CC4-B00B-47BF-B35D-999A16AA03B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c174508f76de4707251972a7a81c38eedf5c6dcf","datavalue":{"value":{"entity-type":"item","numeric-id":5394623,"id":"Q5394623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"061054b04488c5eb56ea8ca2c74eced2b215e926","datavalue":{"value":{"amount":"+0.88297147","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4040341$9FB74FCE-1110-4842-A72F-EC1431CA577D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79960c67441c0801e9a93b87e74062f60af9e0bb","datavalue":{"value":{"entity-type":"item","numeric-id":3992226,"id":"Q3992226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9732cd40737d7137c4394ec5f03a7c77c066ca93","datavalue":{"value":{"amount":"+0.88246316","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4040341$5F89823B-91CA-4C1B-8B66-8BA16B8FF2A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68bdf0766df1a66ad5f392ff8293521e4c3cd12a","datavalue":{"value":{"entity-type":"item","numeric-id":4720780,"id":"Q4720780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d86ae6dfce2197776127264f619d8ba4a3ceedd9","datavalue":{"value":{"amount":"+0.8824049","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4040341$CB5291E3-FE2E-426F-8521-0217E53C3CE5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4040341","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4040341"}}}}}