{"entities":{"Q6492736":{"pageid":14071509,"ns":120,"title":"Item:Q6492736","lastrevid":57344664,"modified":"2026-03-30T14:09:55Z","type":"item","id":"Q6492736","labels":{"en":{"language":"en","value":"SCL(FOL) Can Simulate Non-Redundant Superposition Clause Learning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7838484"}},"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":"Q6492736$BBA6B281-C589-425A-A60A-C172A27F80FE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9173901023c0f6ddb613bba3cdc23329496465af","datavalue":{"value":{"text":"SCL(FOL) Can Simulate Non-Redundant Superposition Clause Learning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6492736$2FD8D63E-B7CC-471E-8957-4F3907740AA8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"860a5d932aa24380fe7066c4019edf5a951f5341","datavalue":{"value":"10.1007/978-3-031-38499-8_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6492736$70A166E3-EF43-41B9-880D-33056BAB9154","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa7d05503577a5b9fd70ce583a8b9f4a6bc04b14","datavalue":{"value":{"entity-type":"item","numeric-id":831910,"id":"Q831910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492736$EE2C43F7-9EFA-401A-8953-D80D0CF98A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0548747824e86ed5c897c0317ae91a6cdfece206","datavalue":{"value":{"entity-type":"item","numeric-id":6492735,"id":"Q6492735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492736$DFCA457E-B468-4F40-A1DE-137188B15FCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e858e644a5f8f9e799cff3da307c11b687abc60c","datavalue":{"value":{"entity-type":"item","numeric-id":831914,"id":"Q831914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492736$0340B497-23D9-4EA6-962F-29704DA6ACA7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"227dbe0710d596965d91e536c510070ed1b54f65","datavalue":{"value":{"time":"+2024-04-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6492736$A0457943-3B6C-4AC8-9637-6AA41D5CCA04","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6492736$0BF70929-2E9E-4C8D-9B25-204F29E80035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6492736$6D5082B5-630D-43F0-B0EB-BE489852246B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c2d8c9fa2a5960d371f87e26ab991de1ef38f419","datavalue":{"value":"7838484","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6492736$0F41BE10-0A4B-475D-8D1D-F36361BA1DB8","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":"Q6492736$F702EB18-7008-4137-AE7F-312ADAA04B32","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aefe5e0f2b827afb25f0a8067d25c4a893f91ca","datavalue":{"value":{"entity-type":"item","numeric-id":4304492,"id":"Q4304492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492736$C7A8EB24-EB9B-4C76-AD58-DD02B178F3F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b1137cf78c4cad0e217f70ec321f2a593915490","datavalue":{"value":{"entity-type":"item","numeric-id":2751353,"id":"Q2751353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492736$B7F67BF3-95CA-4391-A1D7-7AE160636C4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d72b96c91ebf8c923998f114a10233088e5f587","datavalue":{"value":{"entity-type":"item","numeric-id":2234101,"id":"Q2234101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492736$7994B932-51E4-469E-8892-9CFE5C9EA631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55ca04f4c9f85fe96f77814eb01ddc5151249c0b","datavalue":{"value":{"entity-type":"item","numeric-id":2104505,"id":"Q2104505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492736$C317641B-B8E0-4768-9BDD-D9A025355187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d1db31f69f14e867729757963150857470e58a6","datavalue":{"value":{"entity-type":"item","numeric-id":2305416,"id":"Q2305416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492736$56DCA101-B529-43A7-A54C-8A0527D8999B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492736$A373373A-11E4-4CFE-8582-415FF80B42BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33890b7faad584193275d91a4cd4d3b147aff5a7","datavalue":{"value":{"entity-type":"item","numeric-id":3541709,"id":"Q3541709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492736$D46051BE-4490-4DCD-8A8A-0A5C277C41FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abd7c21ad90e0dd8485a1544cb35dfb6ee469ffb","datavalue":{"value":{"entity-type":"item","numeric-id":4916080,"id":"Q4916080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492736$961DED28-8E1B-459F-BA3E-F998F9DB7340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4359d4aec7656095d8cff872a7ceb2994995e93a","datavalue":{"value":{"entity-type":"item","numeric-id":2104511,"id":"Q2104511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492736$0497C945-CA52-4CF5-B449-3E6E587F54C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f14878b4342799995051ac9bc54cd21c98efc98","datavalue":{"value":{"entity-type":"item","numeric-id":2751359,"id":"Q2751359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492736$CC1BEF6D-C77F-4541-9CAC-DAEDA3CF8493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6247542da97c1bd60e1293202198b0e15650e479","datavalue":{"value":{"entity-type":"item","numeric-id":5916290,"id":"Q5916290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492736$DAA4AEB2-8DE2-4478-B643-08FBA6A64FEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9297b6a91a7c29eb2b70ce4159ebd40915c17240","datavalue":{"value":{"entity-type":"item","numeric-id":2305435,"id":"Q2305435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492736$04EBF3C7-90E0-42EE-A9DA-450946C41451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d61546e6fd6be76472da0ab32feef7093fd5ac18","datavalue":{"value":{"entity-type":"item","numeric-id":5918558,"id":"Q5918558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492736$006CA71A-4E06-4C3F-85B0-ED96174F64EA","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6492736$53B4009D-3E2A-4CB4-A335-D8A20877F535","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6492736","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6492736"}}}}}