{"entities":{"Q7025201":{"pageid":21654105,"ns":120,"title":"Item:Q7025201","lastrevid":77543528,"modified":"2026-05-05T04:00:31Z","type":"item","id":"Q7025201","labels":{"en":{"language":"en","value":"Logic of differentiable logics: towards a uniform semantics of DL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7986579"}},"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":"Q7025201$1EB73B0B-CF22-449A-9692-0355E6BDBDCD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0ecbf21479604f0a10052b5ac77c24e32f64b0bd","datavalue":{"value":{"text":"Logic of differentiable logics: towards a uniform semantics of DL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7025201$D393E169-7532-41C3-8C9C-B1C02B1549A7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"63979cf45f7758d8eb79fa0da562097f3e2eb7b0","datavalue":{"value":"1564.68275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7025201$D8E529D1-204F-43D5-A7B7-5D0C691D0A7F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1f430f7b9fd78cf1b963a46fdc01e982b52f0358","datavalue":{"value":"10.29007/C1NT","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7025201$35F1DC74-DB85-402F-8EFC-79AAF384DA5C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"44bec4164faad899bab0f51d6f5896a50a9f6e4c","datavalue":{"value":{"entity-type":"item","numeric-id":6860034,"id":"Q6860034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7025201$7147D886-ED86-46D9-A079-34A1A0535DFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"170e56a44d87084edf1707672598135a08e36b5f","datavalue":{"value":{"entity-type":"item","numeric-id":280195,"id":"Q280195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7025201$7FD7E1B1-94C8-45F3-9D33-C201811C6E99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8ecf121d981464485744f9d7a403278a8a66148","datavalue":{"value":{"entity-type":"item","numeric-id":1791211,"id":"Q1791211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7025201$4B87D193-35C7-4290-8DD2-FD16CEEE8F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c58fcececa828bde86ee6624d128bbbe6fbf0ccb","datavalue":{"value":{"entity-type":"item","numeric-id":2829272,"id":"Q2829272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7025201$B4632DA6-E243-40E3-869D-CF36475366E5","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"4f52c1c51db779eccd67ea1f3ab6dca2ff4de58b","datavalue":{"value":"Robert Stewart","type":"string"},"datatype":"string"},"type":"statement","id":"Q7025201$4DA7E9C2-DCDE-41E0-BABF-4804790CED21","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d34a2e6c4099712e6f2a5acfda08782bd5ee66f2","datavalue":{"value":{"time":"+2025-02-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7025201$36BAA761-3979-4BE6-8DAD-5D5D16A91430","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7025201$FF4AFE33-1185-4A8B-8A92-3588A041FBE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"86ef24f5c9e2aac48660aa2e36054c8246d3fc97","datavalue":{"value":"68T07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7025201$F8EEC84C-6A07-4166-A331-D675C1B9C4BB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"31f8ec0452e9ca3510f2fd1ccefa896155eb89ad","datavalue":{"value":"7986579","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7025201$7E88DD72-3291-44F5-A15C-125324B92CCE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea2c23285ea4b73fe89941dd1245c610af5fbadc","datavalue":{"value":"declarative semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q7025201$F886243A-12F4-4C60-881B-5C038C236145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e580d1b4f8045d9140972912982746e79a94a5b0","datavalue":{"value":"differentiable logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q7025201$6713CC27-3F88-439A-B7E1-B88328FC0C43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd7f7273b8e7f89d50335f2519dbd31cec7b734e","datavalue":{"value":"fuzzy logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q7025201$0DD79B07-ACA3-46C5-8AEB-BCA984FD885C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0afe30fcd4cd25e8e8273c02ad48a97b4a0e001","datavalue":{"value":"machine learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q7025201$149B9927-B219-44F1-810F-8C58491734F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"639912d39561777c9f24eec80a9240f4cb2e5c52","datavalue":{"value":"probabilistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q7025201$09CA870A-EF2F-4E38-AC5A-17053FCB4A06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"485447b25ea9ae3ba0e28b66b16f57c15b7c1fe1","datavalue":{"value":"types","type":"string"},"datatype":"string"},"type":"statement","id":"Q7025201$EDBB01FE-8D07-4407-8FAF-E3A7A75432AE","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":"Q7025201$74BAD7A9-893A-4871-A4F5-622C3C3CD443","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"109feb08dbb2376b10d44748cd8609468479cc89","datavalue":{"value":{"entity-type":"item","numeric-id":2667828,"id":"Q2667828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7025201$090F2CD4-B601-47A3-AE34-A02333B04607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d0c9c54f14f787f70785a2d58375ca21d25ce68","datavalue":{"value":{"entity-type":"item","numeric-id":2871197,"id":"Q2871197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7025201$28AEF17F-E74F-4FDC-BC78-4997D1F7A082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"975127442acd20454f01790089b7f3903a544ed1","datavalue":{"value":{"entity-type":"item","numeric-id":894692,"id":"Q894692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7025201$538387B7-7DF4-41CC-85F7-6CB541840A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1c9576a9af1e44009a9ef9a0f7f22e091829d5","datavalue":{"value":{"entity-type":"item","numeric-id":5610986,"id":"Q5610986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7025201$CCB12859-6951-4E12-9233-57A01D20CD7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba0262656e41c382f9f5a9a7b3bb892ab61ed599","datavalue":{"value":{"entity-type":"item","numeric-id":5270493,"id":"Q5270493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7025201$633F9CC7-55F2-4C45-B263-F02446F820B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09d76610be2db7a475aae1f8e37aec5be549c297","datavalue":{"value":{"entity-type":"item","numeric-id":2151238,"id":"Q2151238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7025201$A59D7CF5-C79F-4971-B117-285FB939F64C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e976148ecd3ba2acea086cb0e37c73ede3d8b8b","datavalue":{"value":{"entity-type":"item","numeric-id":1885736,"id":"Q1885736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7025201$5960B6CA-3998-4C86-859F-9859052AAACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17188538da9937e95b8fca42b84d9b9754e9f8b7","datavalue":{"value":{"entity-type":"item","numeric-id":683712,"id":"Q683712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7025201$1B55ABE8-CFCA-4A34-87C2-DEF4162E44CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"833e32a8a1a7377530f0354a56d69875753a5464","datavalue":{"value":{"entity-type":"item","numeric-id":1207942,"id":"Q1207942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7025201$E44C68E1-A9F4-402D-ACB8-B03D970D2793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b2a3682d373b5dbd7003fbe56c3f063c6a89ddf","datavalue":{"value":{"entity-type":"item","numeric-id":1644339,"id":"Q1644339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7025201$23A2FD66-4F3F-4778-86DC-E4E4EDE1715D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e8bc6627635c436dcd562e9662052656a8c07a4","datavalue":{"value":{"entity-type":"item","numeric-id":1073782,"id":"Q1073782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7025201$C9C09156-7EA3-44B4-92B2-DBD99919F147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c331c225c0248d1a0b2f7ae1629fcf2dfe652ef","datavalue":{"value":{"entity-type":"item","numeric-id":4416318,"id":"Q4416318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7025201$71DE3614-A5F7-4AE3-8A9E-E012132B57CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4441a33df5428b009347f1022f1440c1aaee513","datavalue":{"value":{"entity-type":"item","numeric-id":881453,"id":"Q881453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7025201$BC49C4F6-C811-462F-ACAC-B31DED6F6DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1c8316fd764d8131be720d144546c6934f01eb3","datavalue":{"value":{"entity-type":"item","numeric-id":2060729,"id":"Q2060729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7025201$2B711916-9EE9-40F8-81F8-3652A6045444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4bc3870266cf5a5186489d6bf6639bf1fbf3e72","datavalue":{"value":{"entity-type":"item","numeric-id":5514608,"id":"Q5514608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7025201$C45B6831-DF9F-4211-8412-99FAD473BC4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0208a793aa7a92b33f54f68ced24a4002baaa43b","datavalue":{"value":{"entity-type":"item","numeric-id":7025201,"id":"Q7025201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7025201$484300A0-4299-4270-857E-8E2923932F24","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logic of differentiable logics: towards a uniform semantics of DL","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Logic_of_differentiable_logics:_towards_a_uniform_semantics_of_DL"}}}}}