{"entities":{"Q1299818":{"pageid":1310568,"ns":120,"title":"Item:Q1299818","lastrevid":67314951,"modified":"2026-04-12T16:48:03Z","type":"item","id":"Q1299818","labels":{"en":{"language":"en","value":"Human and machine interpretation of expressions in formal systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1328387"}},"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":"Q1299818$8B7E1957-0DC8-476B-89A5-8B42FE88AC76","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"45820c2ec4eb38d111aea7cce08bf5bcf5d20a5c","datavalue":{"value":{"text":"Human and machine interpretation of expressions in formal systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1299818$7E54C53A-985D-4FE2-9C50-2921720F07EF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"61338950a2e2c00385994ddd9ddbbd6e67ac5c69","datavalue":{"value":"0932.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1299818$020D67C3-B632-46CB-A6F9-C0B4605F89B5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"75555ad7cb3c1e34701a3fa616e5a3b2678c0c0e","datavalue":{"value":"10.1023/A:1005053105533","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1299818$232AF015-5C9F-44BB-A83F-1BBBA6262DD5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5dc6bcee360c5f4314acbdf60d5606a155cf695","datavalue":{"value":{"entity-type":"item","numeric-id":767096,"id":"Q767096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1299818$C6288559-D009-479D-887E-FC525372583A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9356d19f7e1453cec5123b9963fbcef950b7990d","datavalue":{"value":{"entity-type":"item","numeric-id":1299817,"id":"Q1299817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1299818$914C449B-481B-4EB5-80C4-3DBC013CF4FC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28921346d64a666ce2dd47540df2f388e07634f5","datavalue":{"value":{"entity-type":"item","numeric-id":162813,"id":"Q162813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1299818$C2054554-C8CE-4A21-933B-B2FA5F242A9A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51415e625f0cb73a94193012723d607c95647f9e","datavalue":{"value":{"time":"+1999-08-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1299818$C7DBB137-0CD1-47D9-97DA-BE3991900746","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1299818$36B93866-8EDB-427E-8F02-62940418EDDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"81ba1a045a2037276aea9aeb7e223aab3c4744ec","datavalue":{"value":"68T01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1299818$CE857C1A-D2E4-47B7-8219-028C651D71BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1299818$7F8D15C0-EA0D-4126-920E-83AB6A86FF1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1299818$B35E6BB0-6849-4F76-A63E-FE9E580FD225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1299818$1E5936FB-475B-4631-B35A-A6947BC0FA87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"654b667013631be85bc45fdfe776d3b9ed2e5330","datavalue":{"value":"00A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1299818$1A053577-2346-451A-A756-85C5EEC574FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c3a7b46fd876e94c80ffa161ba095ff11db1f3ed","datavalue":{"value":"91E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1299818$3117C669-5F3E-4512-A1D5-F9CBF3B14CE3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"945a09b7ea00e1587bc852d30a00fbe2b62b29c9","datavalue":{"value":"1328387","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1299818$18C46A12-9899-4470-9CB5-FC81E0D22F0D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bcb5f70004d4a6ef558515572ba7af83c3e6332f","datavalue":{"value":"model of the human cognitive system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1299818$6DD53A20-07B4-453E-B00B-3B38D4A467F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7c56386d7daab7bff61e53cafbcd9ca607c39d5","datavalue":{"value":"experiments with computer proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1299818$ADF3E810-E43E-4FC0-98A8-4C9CBD406091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80f31808f09b4b8587d7e9d24715b1fef85122bd","datavalue":{"value":"proof implemented on a computer","type":"string"},"datatype":"string"},"type":"statement","id":"Q1299818$E291E3AD-E568-41CC-80B1-397C7007B510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c26f32d6948e4a045ae73b20ec076113ae2518a","datavalue":{"value":"G\u00f6del's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1299818$24C520A0-E551-4C45-83D8-F14DFA37819E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52753ab4203b3949f01c9eef936f5511db25ead4","datavalue":{"value":"undecidable statement","type":"string"},"datatype":"string"},"type":"statement","id":"Q1299818$0B11EE73-2097-4269-9B0A-F07F4A861EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1299818$E70F4ABA-4CB2-4A10-92D2-93AF7391C65B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e88842558be0c33a16946fe195e4f92857aceefa","datavalue":{"value":"Turing Machine with sensory inputs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1299818$E925FE68-744F-4A99-A1EF-A8ED6C02F6B8","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":"Q1299818$480C329F-48AB-4C75-92F8-FB5142AF199C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a079959c3b67ee215c3cd8831385609b9d6f1279","datavalue":{"value":"https://doi.org/10.1023/a:1005053105533","type":"string"},"datatype":"url"},"type":"statement","id":"Q1299818$A4E01616-14A8-42D6-980E-AFC3CC919DE1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0621b126a033e37b9b745d142606a7b40070824f","datavalue":{"value":"W1568387508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1299818$EB7C13F1-0879-451F-840D-522C89AA2DD5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3577549705ac2f982717c757a97f512de8bc6258","datavalue":{"value":{"entity-type":"item","numeric-id":1274689,"id":"Q1274689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a3046277a5f250b4a223805401c59417c256022","datavalue":{"value":{"amount":"+0.7476775646209717","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":"Q1299818$C4C117AA-0AA5-409B-9C7A-E0072CD7CB78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c4aaa181b0dd48f70b2cc2f4827365a924aea0b","datavalue":{"value":{"entity-type":"item","numeric-id":5493750,"id":"Q5493750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82fd25128a71ca6fb4bec3f06bd83d6cb7a3b57c","datavalue":{"value":{"amount":"+0.7456122040748596","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":"Q1299818$6C0DF1EC-A699-4ECF-A235-00941644BF8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f7d02af9cd091550cc818e7299a9f01ad0a27b0","datavalue":{"value":{"entity-type":"item","numeric-id":1567047,"id":"Q1567047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d15a2fdb296811e89ce910c283da9201486cb45","datavalue":{"value":{"amount":"+0.73630291223526","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":"Q1299818$7C3D3255-4FC3-4B81-8472-6F99BEA9D238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb804b92660ac27a44cb127dbfcd979814eabe6b","datavalue":{"value":{"entity-type":"item","numeric-id":5441383,"id":"Q5441383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"286ed2e7d8c2ff1dd2c91aa823562de1d3f6704a","datavalue":{"value":{"amount":"+0.7355218529701233","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":"Q1299818$C66639E2-9A8C-4ADD-9E04-AC9687E80474","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Human and machine interpretation of expressions in formal systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Human_and_machine_interpretation_of_expressions_in_formal_systems"}}}}}