{"entities":{"Q4713009":{"pageid":6742586,"ns":120,"title":"Item:Q4713009","lastrevid":46209925,"modified":"2025-12-24T07:56:29Z","type":"item","id":"Q4713009","labels":{"en":{"language":"en","value":"Representing knowledge with theories about theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5386"}},"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":"Q4713009$6FADCB0B-EDDC-4C2B-B762-1A67D5D349B2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6d1fb3ab1ab32b96a89b1dfbffac0ed50c99fb0f","datavalue":{"value":{"text":"Representing knowledge with theories about theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4713009$EFDF83FB-CEAF-416B-A300-F267823E4B7A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"50a721935679b654e1faf25d4e4a161514b18ec8","datavalue":{"value":"0796.68173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4713009$B26614E0-7988-4B73-B30E-9EFB99BC3EA1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0099729aa6caa5e4fb7d87339c8282554ec280a9","datavalue":{"value":"10.1016/0743-1066(90)90035-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4713009$1D6506D5-55E6-453A-8B6F-C536C4A29070","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a20599999d045d40c9b9eed7d2441e6dc5526a4","datavalue":{"value":{"entity-type":"item","numeric-id":688149,"id":"Q688149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4713009$E66D8AB5-32C3-4632-BA43-B45B575598CA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7eb8fbff5b5a1996cd7eff3ff7a29f3a29661a8f","datavalue":{"value":{"entity-type":"item","numeric-id":3030270,"id":"Q3030270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4713009$3A4CBCF5-553C-472E-A1E7-89109D72CABA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4713009$C430F54B-81ED-49DF-8F87-4416F91B2571","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4713009$D734D921-9444-4303-9C0E-0B4416BF954F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4713009$D874987A-E1BE-4D58-92B0-642C30AB24FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4713009$FA3DAB8D-184A-472C-95B9-B6A598E4E6F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4713009$E2128407-5865-4D82-99BF-B081BF2BB485","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"958745dfecb11b0b418db3cb998a070bf2a4eb24","datavalue":{"value":"5386","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4713009$578F16A9-546B-4606-874A-57E04CCD85BB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d775249f2c4a588e32b4e7661e91bfaa39acdcc1","datavalue":{"value":"theories about theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4713009$999EB855-960F-4DD3-8E82-7E2665437FCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"595a1e75b49a7c35cfd3caaaff3a4e298be5d31b","datavalue":{"value":"proof trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q4713009$D5C046C5-D4FD-4C6F-9A3E-BEEB5E3B1DE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c69accce4ecfb33034909c75b086c3ac12c640b4","datavalue":{"value":"proof-representation-building metatheory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4713009$10401AED-2013-4AC9-A97D-E196F3DE1539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29298ca1506c26daddce169b04548f5cb7683952","datavalue":{"value":"Horn-clause theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4713009$C1A5B1BD-E129-4526-9454-B322312044FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd2c10f579bad0813b791f72fcc1484fc619e422","datavalue":{"value":"logical semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4713009$2F28DAD4-8C81-4F83-B22E-691397DA39F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34e8251378e6e40b9e946d030aeb94b41e173c61","datavalue":{"value":"diagnosis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4713009$7F3A6428-8E0B-47D3-B305-6ED70B0ECDF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dce248baa6ddc45c558e1072a9ef8778d9930096","datavalue":{"value":"planning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4713009$73706D09-409E-4AA7-ABFA-7A1439A9D50D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8092796e12291b6c4acc0812e9c39a3030fb9d40","datavalue":{"value":"natural-language parsing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4713009$6689D063-7559-4AFE-B772-E11C1BBCD05D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dde083863aed2df7bfb51db4319d3b9e968e645e","datavalue":{"value":"left-to-right theorem provers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4713009$75B5D9FB-738B-42FA-BFDE-31CB593E2F11","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":"Q4713009$5C433E99-2A90-489C-8734-BB8E68680D54","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ba803a5759a0d3bd8af38ae12f6298bf6b97da24","datavalue":{"value":"https://doi.org/10.1016/0743-1066(90)90035-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q4713009$CA3F63E9-BD76-42C9-8D80-64B939594DBE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0859c5259d7f4fc78aac73b855543b15e14e7b3e","datavalue":{"value":"W2063750594","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4713009$A9E55C6F-74EA-4960-B7F1-CA4C435D412E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fe360a6e5e30503c21cd5d94de528a82f553af1","datavalue":{"value":{"entity-type":"item","numeric-id":4530469,"id":"Q4530469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b80a9630480bbffd7d254db4b9f7ec72b5f287fb","datavalue":{"value":{"amount":"+0.7505903840065002","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":"Q4713009$5A9043AF-B46C-4581-A5E8-C3908CC84C9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfbf46aad459119c33004925957d08c945d98d6c","datavalue":{"value":{"entity-type":"item","numeric-id":4222817,"id":"Q4222817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccf2d3066192b42728bad86af02987638f03e665","datavalue":{"value":{"amount":"+0.7350980043411255","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":"Q4713009$0C7B4295-5EAB-4B78-8EF6-6CAB7554B096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5153f4ee260d21542ec2b89d7787fd721bba360e","datavalue":{"value":{"entity-type":"item","numeric-id":3490995,"id":"Q3490995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf537f3957af1cf1558525829f5b4213fa6cb050","datavalue":{"value":{"amount":"+0.7195634245872498","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":"Q4713009$3DC366C8-FA37-4103-9F9C-456ECD04B33A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8cffc23e28741b245b0f435c2b5b2b9463170c6","datavalue":{"value":{"entity-type":"item","numeric-id":3804238,"id":"Q3804238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fe5fab767138c2b908c1e17e28faa4c827a979f","datavalue":{"value":{"amount":"+0.7140382528305054","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":"Q4713009$13D20C8F-C0F5-4F46-ABED-26C43D4C852D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4016f7bb8f37f7c125ef54ee44a6763826a678e1","datavalue":{"value":{"entity-type":"item","numeric-id":4537453,"id":"Q4537453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95dc3de178c1b6b5eeb38a4747c534c2c1e4b5fd","datavalue":{"value":{"amount":"+0.7120064496994019","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":"Q4713009$0B3D9719-F151-406B-BFE1-5A5AE2422212","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4713009","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4713009"}}}}}