{"entities":{"Q804557":{"pageid":806405,"ns":120,"title":"Item:Q804557","lastrevid":64468332,"modified":"2026-04-11T20:04:38Z","type":"item","id":"Q804557","labels":{"en":{"language":"en","value":"More on the problem of finding a mapping between clause representation and natural-deduction representation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4202233"}},"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":"Q804557$39347D2B-8EC7-4835-B67F-E7AA5B1DB234","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d4df432f84892a87d35856d5aded1cd16485c749","datavalue":{"value":{"text":"More on the problem of finding a mapping between clause representation and natural-deduction representation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q804557$51549AC8-5FC3-4780-8251-0459B1620667","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8dd32e00ef31a3d0de6498408d457a3a50003bc0","datavalue":{"value":"0728.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804557$5ACB114B-F019-4E20-A291-1D1017401D7F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0e2731b674e7cccba8cf32a32ea92fc930bf1961","datavalue":{"value":"10.1007/BF00243811","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804557$0F58435F-EA8D-44FC-BF17-FCA95DDD79F4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"025155ad88f33216a4124a2c377d3f6c78a58a7c","datavalue":{"value":{"entity-type":"item","numeric-id":804556,"id":"Q804556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804557$8B2F208A-94A2-4233-9FFB-D24FAC29C6BF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q804557$C168D608-E705-4A05-8BF9-CECF66DD172A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q804557$7B2AF855-BCD1-4ADB-B511-01114A50225B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8c2ee579378b0a9cfc83c68f870ab8081adb4d87","datavalue":{"value":"Bibliography concerning the problem mentioned in the title.","type":"string"},"datatype":"string"},"type":"statement","id":"Q804557$5689292C-FB5B-4421-B874-0FDD055812A7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804557$B65D06C5-469C-4CBA-9BA9-528F06B14437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804557$84379A42-8CA6-4EDF-9F94-217C42D8D15C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f5787eae2571851a2418ff14ff2ac946f52489f","datavalue":{"value":"4202233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q804557$DF6DD67D-10FF-4BFD-B22A-08F11CB6F16C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70d74981a6777134883bf0f12ec958a31aa913a6","datavalue":{"value":"clause representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q804557$36AE6B15-7CBF-4473-BA28-671E6BC1876C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4d2f22cf50dc8f04b5669cea48e85def3b1d2d1","datavalue":{"value":"natural-deduction representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q804557$61F1C91C-8C3F-458B-913F-D18653831903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aae3aac68fd7a7812313e12811a2cddbf2053c37","datavalue":{"value":"representations of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q804557$34F0B4B8-8C47-4BF5-9E45-8F36D97A4A01","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":"Q804557$CE5C779B-90EE-40DA-AED2-F84F3E2EB143","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"More on the problem of finding a mapping between clause representation and natural-deduction representation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/More_on_the_problem_of_finding_a_mapping_between_clause_representation_and_natural-deduction_representation"}}}}}