{"entities":{"Q6995433":{"pageid":21475590,"ns":120,"title":"Item:Q6995433","lastrevid":83847587,"modified":"2026-05-07T12:49:42Z","type":"item","id":"Q6995433","labels":{"en":{"language":"en","value":"Lifted inference beyond first-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8029011"}},"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":"Q6995433$F5181863-8B4D-4B21-9C30-E0E3EA00DA5B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d2dcd4005d4ebe80fd4f670937109f5095bb8b98","datavalue":{"value":{"text":"Lifted inference beyond first-order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6995433$EFC50299-C21B-41B9-A213-1F40D3E5F856","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"62f98377b5a69c1b56e92e2376a9e7bc4372de4d","datavalue":{"value":"1562.6817","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6995433$F39714CF-BA61-4030-B3F0-BD31A7E3D57C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3263c91142b0d36326dc2d3fb5d3deab03292730","datavalue":{"value":"10.1016/J.ARTINT.2025.104310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6995433$E7CC6D43-6FED-4785-8E84-7A0D6A03DFAE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"872686b1eded3a477f2b886f168f0f5b00cc9593","datavalue":{"value":{"entity-type":"item","numeric-id":6380075,"id":"Q6380075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6995433$E7149679-7B25-4DA0-9B67-D80E684D6BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec9938d585238a1ec84d4c097546d8696ea473cf","datavalue":{"value":{"entity-type":"item","numeric-id":6448300,"id":"Q6448300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6995433$22E9428C-504C-40D0-83C3-1E9F1F538908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"53872013ea29b4cd7e6f796257c94f1bb4dabcf1","datavalue":{"value":{"entity-type":"item","numeric-id":814583,"id":"Q814583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6995433$738E591E-A805-43AA-9664-34C75AA638B7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6995433$B9195C81-FCBF-4C5F-9B93-985EC01A7DF9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f94f0c0a2717ce4f40eea9c072fbe52c006e4c4","datavalue":{"value":{"time":"+2025-04-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6995433$5E216C99-0CA7-4957-A62F-D0C80802E129","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6995433$51E84904-5061-468C-A77D-88556870821E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6995433$A23431E6-8881-4E30-96B5-752C4BB59F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6995433$E7B64530-DDA9-4B84-8F96-54A0FB43E10A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4d28d7a378ae462de8c5251cb29b266f759ff92b","datavalue":{"value":"8029011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6995433$877BB222-FBDD-4759-A741-DB9AC3B5F103","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9386142a8ad90038185e0e06edbf15d2369874bc","datavalue":{"value":"lifted inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q6995433$012E816F-3D86-4994-BB04-0DD3D780328D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f760e4e68d47db9649a28fb6c72054eeda8bba08","datavalue":{"value":"enumerative combinatorics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6995433$E74A26E5-D271-49F3-8195-BE8C7F3D9FEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27aa5d84f6988ff903ef9fa1fa0b56ae7a302c7a","datavalue":{"value":"weighted model counting","type":"string"},"datatype":"string"},"type":"statement","id":"Q6995433$3D2AE45F-1DF9-4CA2-80D1-AD944E635A49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6995433$A8B70C99-130C-4510-9D8F-5A6DE5465972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c2155b1f0f1b7934ea2f00e74be522bfbe52774","datavalue":{"value":"directed acyclic graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6995433$F895FFBA-A633-4881-95BC-EB829B73BA53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2df313526c4364b4bde459670204713b3745b88e","datavalue":{"value":"connected graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6995433$7E8E2A41-E512-4160-BE9E-FA0CE1C97E45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2224861cbed8f8c5633e3aa539007f103afd6c15","datavalue":{"value":"counting quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q6995433$2B2F0DBE-8909-4CC9-B51F-478FD92389A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3652aa4cf8bb524af23a6c8b0ff1a613caa4b8e0","datavalue":{"value":"statistical relational learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6995433$D8A59BFA-8567-4EA3-A1CB-989FD82B1D08","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":"Q6995433$DA1FF8BE-CA06-4619-8A84-4E2123ACB757","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf788c02aa92ee81c5be73120081b161f7ecc281","datavalue":{"value":{"entity-type":"item","numeric-id":3510469,"id":"Q3510469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6995433$F7F63BB0-28AB-4F2B-8755-174DF072E70F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cd5e74173c2d3fdad9cafa881baca2120e9550b","datavalue":{"value":{"entity-type":"item","numeric-id":2805145,"id":"Q2805145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6995433$A89C389E-374E-4B1E-A93D-0E24F259F924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5b3210b70504b00a0159ca4bf1b7ae9c795baee","datavalue":{"value":{"entity-type":"item","numeric-id":2491364,"id":"Q2491364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6995433$CA952334-9892-48FE-A66D-6C332D3DB53A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9382fd3f9c93e003339d076e8d3ce4bc603b9420","datavalue":{"value":{"entity-type":"item","numeric-id":4592983,"id":"Q4592983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6995433$B6F2C2A8-82E5-4746-877C-61ECF4C88099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dddb5471823afdacda21ae831d9d3c8a50ed688","datavalue":{"value":{"entity-type":"item","numeric-id":5145338,"id":"Q5145338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6995433$DB0F8F2F-B171-4F30-B21D-51F09F0B35A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca2db28bf728712bec08073b5fc024f2115c5f8","datavalue":{"value":{"entity-type":"item","numeric-id":6166545,"id":"Q6166545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6995433$CB6704C7-BD51-4AB3-9DE8-19306A95DBFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f83c0ec2fb196710900599c29e6b3cc2481ca8cc","datavalue":{"value":{"entity-type":"item","numeric-id":4989322,"id":"Q4989322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6995433$BADB9462-3508-4268-95EE-E088A8224385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"559c99bb88f7986efa8c4a19325eebf7bdaf2e28","datavalue":{"value":{"entity-type":"item","numeric-id":1126301,"id":"Q1126301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6995433$8F889C1B-C8CD-4246-8800-6D98F078369A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a4c113e85d296b4403600da4fb914d453ffb47b","datavalue":{"value":{"entity-type":"item","numeric-id":5675746,"id":"Q5675746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6995433$D966AC35-B14E-4779-AE4A-6907A2CC6CE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ceda2a7335427a69e33151f4e6375f49ef4b1a8a","datavalue":{"value":{"entity-type":"item","numeric-id":912847,"id":"Q912847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6995433$23D55A0D-9E49-46CE-860C-C4C5F3D4C789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86e384d03f44eef8a204a38db8d509db7bfaeb30","datavalue":{"value":{"entity-type":"item","numeric-id":3376041,"id":"Q3376041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6995433$E3C86973-FBCD-4607-BF6E-A8C953E8658E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cff90b53746deaf40f0bd975035788d645dc76ab","datavalue":{"value":{"entity-type":"item","numeric-id":5682013,"id":"Q5682013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6995433$FFE75F64-D008-4E44-8C03-AA9FC7AF041B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa2a714e25fcb0c0479b4b006ce138edefd203b1","datavalue":{"value":{"entity-type":"item","numeric-id":6074698,"id":"Q6074698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6995433$B843E450-7EB8-4EF8-87DF-B092B1477F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4db2d52d586bc4e7340ef604b2e9cbefbaa960a","datavalue":{"value":{"entity-type":"item","numeric-id":2194860,"id":"Q2194860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6995433$55F78274-AE92-44B4-9F3D-2BD8EED06DA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87d26a2942dd7a30f7b4e69f10d3fd1a9a2da2db","datavalue":{"value":{"entity-type":"item","numeric-id":1203946,"id":"Q1203946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6995433$A8B327E2-193D-4814-B225-F6027C3D217B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10d03ad5d2ecd59fe188246b04f8d6d66d65740d","datavalue":{"value":{"entity-type":"item","numeric-id":5863475,"id":"Q5863475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6995433$439AB7CB-512F-4073-86BC-45DC2C53A256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56ee2c6f571392ed63d37829546216a2289cf62a","datavalue":{"value":{"entity-type":"item","numeric-id":5026978,"id":"Q5026978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6995433$EF37D9A4-FCC4-482B-94D3-8BA7B09672F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648a7299cd0afa282143bfce82751c53eaee100c","datavalue":{"value":{"entity-type":"item","numeric-id":2343474,"id":"Q2343474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6995433$46F87BF1-5A47-43AF-AC95-0047628FC736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5961adad1dbe0b24e038ee1f2e9c33fe45f24e41","datavalue":{"value":{"entity-type":"item","numeric-id":2166221,"id":"Q2166221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6995433$93131D03-FF3C-48A4-AA83-3BE472E7CCA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ccca7e8361af3d7cb94608d270d53b807a89170","datavalue":{"value":{"entity-type":"item","numeric-id":6393710,"id":"Q6393710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6995433$DF79FA21-24C9-4F3F-A9E9-4E3403618258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8ff079fa558b813f5aa5233368c00a1e73e19a0","datavalue":{"value":{"entity-type":"item","numeric-id":2225459,"id":"Q2225459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6995433$75150264-0CDC-4D74-8E93-96330538819B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf68de273f49cd8430acc9793e4a984282a99629","datavalue":{"value":{"entity-type":"item","numeric-id":2219260,"id":"Q2219260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6995433$7C2179FC-3013-42BB-A898-9F487A653081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15fc2c99685609d51130fd351a18fbb5b2fe0268","datavalue":{"value":{"entity-type":"item","numeric-id":5598928,"id":"Q5598928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6995433$CAFE7667-196E-41D6-B38C-3D05AEF26B70","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lifted inference beyond first-order logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Lifted_inference_beyond_first-order_logic"}}}}}