{"entities":{"Q1097720":{"pageid":1108472,"ns":120,"title":"Item:Q1097720","lastrevid":69635355,"modified":"2026-04-13T08:21:24Z","type":"item","id":"Q1097720","labels":{"en":{"language":"en","value":"Multi-layer logic - a predicate logic including data structure as knowledge representation language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4035209"}},"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":"Q1097720$69F8F6B1-8F61-4F3B-A925-FB18C5417E6F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ae6f2a9840dc4351451555bf108f546052211cec","datavalue":{"value":{"text":"Multi-layer logic - a predicate logic including data structure as knowledge representation language","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1097720$A1DDD2D8-0A33-4865-9427-BC14670C2314","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eff1719dcdf64c16c18df9a9e4a1b34b9e0307c7","datavalue":{"value":"0635.68110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097720$763B57E9-F03A-4B77-B263-1E2DA9E9952F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9ac243229f813c81e5a80075e34ac757f3e40315","datavalue":{"value":"10.1007/BF03037079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097720$8B74AD62-CCF3-40CD-AA35-0E86EB74B668","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e9d76e7a292ce6a171c0ff5132ec68e795c2226","datavalue":{"value":{"entity-type":"item","numeric-id":1097719,"id":"Q1097719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097720$8D148111-3D3E-41B9-BC50-18155D75A514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b821f8dfcb028857db565ee55e8f9cf91c901598","datavalue":{"value":{"entity-type":"item","numeric-id":192660,"id":"Q192660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097720$5154ED26-F24C-40DD-BA36-45DF523E4947","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1ea61bc9b0eb2c27313173153e64e32651c2ebb5","datavalue":{"value":{"entity-type":"item","numeric-id":169889,"id":"Q169889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097720$A57E85B6-674B-4730-A83B-E4008250DCAF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q1097720$C09C3956-7556-48AA-8E05-7539BFC2B9A2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"61f26be2a5efd1f04a154ca298c822a61fa0c02a","datavalue":{"value":"The requirements for knowledge representation are outlined, a multi-layer logic satisfying these requirement is designed. The supporting role of knowledge representation for a new style of information processing is shown.    In the first part the area of problem solving is analyzed and the importance of modelling in problem solving is shown.    The requirements for knowledge representation, coming from the previous discussion, are summarized in the further parts. Next, the use of predicate logic for knowledge representation tasks is discussed. Expansions needed for the required knowledge processing system are mentioned.    In the last part multi-layer logic as a system fulfilling the desired requirements is introduced. For this logic system a new inference rule and theorem-proving method are defined.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097720$71DE02B1-F434-4BA8-BECE-20AB550419D2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097720$849DFA12-C006-4703-9BF8-62F9D6CD8260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097720$D40E4C84-558D-4228-BF52-6A00338A43EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097720$EF0DEB32-6D2B-404E-9455-499FA05F8276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097720$B6B20E7C-3676-4737-ABED-BBA65700074D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097720$A14D00D1-2425-4576-B99C-DF1749B198DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a467ce7cbe3c5df6d528fede3373bb312f26e86a","datavalue":{"value":"4035209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097720$89805BA1-92BA-45FA-84CA-0247F761D5AA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe99cc33cb0d5ac2e6c3a73729bf23aa7caccf7b","datavalue":{"value":"knowledge representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097720$909C6D33-81C0-4DEA-A01E-8F575BB395EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65aaf4e1b196b23dc229a458c800f10472c9d06b","datavalue":{"value":"multi-layer logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097720$8276538E-BCBE-423F-990E-2C18AD06CFDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"baeaf27c29b44a613ac26700723ca8323310e938","datavalue":{"value":"problem solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097720$7BEE904A-436F-48FD-AF87-F0DEDD2542F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5226bc3ec2fa9baeb8f805c66d7f90f968afb770","datavalue":{"value":"knowledge processing system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097720$A066CD61-788E-426A-A5E9-D3A7BE68D36A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93cbbe3aacb0282d348cb5e7d78e394a1a6097ce","datavalue":{"value":"inference rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097720$064AA826-361C-4663-B1E3-973C48659DF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de787d0db6c9b207ce2b928b2036485fc441c690","datavalue":{"value":"theorem-proving method","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097720$25962D6B-809C-4675-9F20-283BE7543E18","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"322a7fd2a2215f887a0cc889fa3e27a0703da0bb","datavalue":{"value":{"entity-type":"item","numeric-id":14267,"id":"Q14267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097720$BB7AB3A3-C331-4393-BC6E-4170D218FB30","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":"Q1097720$4DF71583-47DE-40F9-84EC-3C2E523BE532","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ae5bb9b3f8a6847a1d73fca9aa8e743a1fb3493","datavalue":{"value":{"entity-type":"item","numeric-id":4747543,"id":"Q4747543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097720$1357B21A-8BF9-41BE-9218-824F358BEDF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fe0f3c5bbdd950bcce3562388b558f4a5ecb800","datavalue":{"value":{"entity-type":"item","numeric-id":3330564,"id":"Q3330564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097720$81FA6940-021C-4D51-82FC-CBDF46450DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4735154d50c08d584a8e28202802fa9d661654","datavalue":{"value":{"entity-type":"item","numeric-id":5679729,"id":"Q5679729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097720$6EE4385B-474B-42CF-833D-FBD1598792BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"066b58fc7a69eaeee66b6cdeed8dc7eded772472","datavalue":{"value":{"entity-type":"item","numeric-id":4101427,"id":"Q4101427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097720$E17EFAF3-09EA-486C-B959-9637773ADF5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25487571324878f5d5d065491b3aea0ec5cda997","datavalue":{"value":{"entity-type":"item","numeric-id":3938537,"id":"Q3938537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097720$F22E858A-EEA1-476C-8961-30EC4B10F00B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca4f823ca2e82e86e612699cdb65f38c133999d","datavalue":{"value":{"entity-type":"item","numeric-id":4052071,"id":"Q4052071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097720$ED0CACDD-30BE-49B3-BB9D-20A5238FD53D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bb49bca774ef958b14c319951e48162cbd7fa98","datavalue":{"value":{"entity-type":"item","numeric-id":4199578,"id":"Q4199578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097720$3E8EB5B9-BFD3-4BDD-9448-6A05DDF222FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f443301dd160b07c002fe4b126fcd1d0b1c4c2c2","datavalue":{"value":{"entity-type":"item","numeric-id":4746813,"id":"Q4746813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097720$78CF10A0-E37D-48A0-9AF9-A1478AAABC8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5deea374b82280f9bb78642ae53787a3c1d6cada","datavalue":{"value":{"entity-type":"item","numeric-id":3340205,"id":"Q3340205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097720$980F4EF5-E21C-437E-BC64-C8F042F8547B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a502a770025bb9705f462b1132920965df52f670","datavalue":{"value":{"entity-type":"item","numeric-id":3667910,"id":"Q3667910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097720$CF810D00-FCF4-4932-B5CB-2A4AB4664798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7437014d79a054390c074aa29714bd96deb8385e","datavalue":{"value":{"entity-type":"item","numeric-id":3336741,"id":"Q3336741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097720$3D025004-3D0E-4AB2-94A9-A77C03117AFE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8e8b5a9d04ab57b13cc7b4b2c1e628989d2e229","datavalue":{"value":{"entity-type":"item","numeric-id":1903445,"id":"Q1903445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26dc7594af6ace667f9570309151724610bc0761","datavalue":{"value":{"amount":"+0.7835386991500854","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":"Q1097720$67859CF9-AF8C-46BA-8240-FEB25B7C3F34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ae59022c747f3171d4478304a839013d6dcb70b","datavalue":{"value":{"entity-type":"item","numeric-id":4941839,"id":"Q4941839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e84dab821bf0c6739c0d78c3a7fb1501957f166","datavalue":{"value":{"amount":"+0.7795416116714478","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":"Q1097720$3C29A7E6-E796-49E3-88DA-81062CEE0A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2758dff8deafb3580676b0f02b94ab40c473e543","datavalue":{"value":{"entity-type":"item","numeric-id":1183584,"id":"Q1183584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f4f38fcc3924856e59e582a6e0a2712d5501325","datavalue":{"value":{"amount":"+0.7553893327713013","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":"Q1097720$176F22FE-7E24-4537-B300-EA7D01716413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d99017a58a8925ebb4b19e7e918dde2d4ff75c9","datavalue":{"value":{"entity-type":"item","numeric-id":4225124,"id":"Q4225124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f4f38fcc3924856e59e582a6e0a2712d5501325","datavalue":{"value":{"amount":"+0.7553893327713013","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":"Q1097720$3B6133B5-872B-4302-8326-071BFD533ADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c9c698222f66f0015156d42c3950d8e0a523d7d","datavalue":{"value":{"entity-type":"item","numeric-id":2770739,"id":"Q2770739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ad7ee3db7299c4eb76e1769967be3416ccfd5d6","datavalue":{"value":{"amount":"+0.748771071434021","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":"Q1097720$3CCFD1D6-0363-4CD7-985D-C7A6874A26D4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Multi-layer logic - a predicate logic including data structure as knowledge representation language","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Multi-layer_logic_-_a_predicate_logic_including_data_structure_as_knowledge_representation_language"}}}}}