{"entities":{"Q6967328":{"pageid":21307032,"ns":120,"title":"Item:Q6967328","lastrevid":84054320,"modified":"2026-05-08T22:53:35Z","type":"item","id":"Q6967328","labels":{"en":{"language":"en","value":"Expressiveness results for an inductive logic of separated relations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8056637"}},"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":"Q6967328$95118446-F190-41AD-B147-EE4EBF2CFB7B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"118e226f5a0233898349e15a5bf619bca2d2fb4c","datavalue":{"value":{"text":"Expressiveness results for an inductive logic of separated relations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6967328$9905DC95-C1BF-4D85-8BBA-3B0C899C6AE3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3218e09fd43b26025441d443a41065164863e2e0","datavalue":{"value":"10.4230/LIPICS.CONCUR.2023.20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6967328$3F8C03C9-09C2-428E-8E3D-A013DC316E5A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ffdbfd7b9177bc6559af43c12c896a5d2e47038","datavalue":{"value":{"entity-type":"item","numeric-id":537951,"id":"Q537951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967328$63B5A3E4-B1C3-4E2D-AF6A-D2F46791BD00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b332ee779277e7cc941f7c72c75777e418fe1f4","datavalue":{"value":{"entity-type":"item","numeric-id":526770,"id":"Q526770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967328$7E366BDD-B01C-4D14-B87E-1157C3E1BB0D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ccf6047abb150911ac4decc7c0ffa4e59e6e1fec","datavalue":{"value":{"time":"+2025-06-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":"Q6967328$DFB32CB1-C31D-4EFE-8C27-E18F4A8E2B64","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6967328$5A348F59-2CB5-426E-9FAF-CAE80862E7C4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8bb3a74f5823844fed886eb6ea35c68944bf8599","datavalue":{"value":"8056637","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6967328$0F20C2DD-2F90-430C-B06E-8BD5ABDC8AFD","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":"Q6967328$B705A9FF-A43F-4247-9AB2-C819F58CEB4A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6967328$DFD3FEB2-E6CE-4F7E-84EC-10CAB0B2E081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf07c49ba2b347441ded94239358b7faa6b16d16","datavalue":{"value":"model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6967328$24D004FF-80C5-44EB-9004-9CCCF9615089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a7ad3b9bca4a77e404ee6853b2ee1f8b94bd5ca","datavalue":{"value":"monadic second order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6967328$EDDCFF16-E77D-4F63-9E13-2E8EE5097052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d57d68ed777850433efcc3de197edd817953ef26","datavalue":{"value":"treewidth","type":"string"},"datatype":"string"},"type":"statement","id":"Q6967328$7915BE86-4E4D-4228-A1E4-1917F074F777","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":"Q6967328$97090FF1-E8E6-4D26-827D-E0C899E2D16C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f36cbd9cf2881ab0debcff64d758c23cedb4666","datavalue":{"value":{"entity-type":"item","numeric-id":3579375,"id":"Q3579375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967328$CA995742-4195-4B73-A89A-460E072EB53A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"132ae93635a7e475a0e401546e1c8496b4e1d7df","datavalue":{"value":{"entity-type":"item","numeric-id":3617721,"id":"Q3617721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967328$EFC739A1-F468-4150-B910-8614A68EC21D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8cec10b26da8d425b5732af1f838b65b53f416c","datavalue":{"value":{"entity-type":"item","numeric-id":4635898,"id":"Q4635898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967328$3774E349-154F-493C-9775-98D69A036C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7db7db264f6fed175200e8d91d27bcfbd4239566","datavalue":{"value":{"entity-type":"item","numeric-id":2104556,"id":"Q2104556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967328$CE52B4ED-E336-40A0-8810-1F6F3D60AA63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0abd1ab68c524cdee378bbe02598acdbf7228225","datavalue":{"value":{"entity-type":"item","numeric-id":6587132,"id":"Q6587132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967328$1844AA73-67DB-4856-B30C-5F7C7587ADE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67081736fd4efb9f7219ab10ded4af0e299ef998","datavalue":{"value":{"entity-type":"item","numeric-id":2699967,"id":"Q2699967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967328$3FDC0DF4-B3CE-41E9-8943-C339E78FC617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"112d092ce03f7e86d9996ef530de2a740a2f8c08","datavalue":{"value":{"entity-type":"item","numeric-id":418137,"id":"Q418137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967328$E24E7AC6-F3E3-4829-B10F-A19CFCD8F963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"720ddbc225606ec696668d2945dfac90af50e274","datavalue":{"value":{"entity-type":"item","numeric-id":4635608,"id":"Q4635608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967328$5A562511-B5ED-48B1-AAD9-3B39A49617E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c65ad825c9d0ee9bae1c0a5ca41cc46fd54609f","datavalue":{"value":{"entity-type":"item","numeric-id":2828247,"id":"Q2828247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967328$771AA83F-CCC3-4E22-B973-5C8F099565C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17d0aa6de1a3c4e838a8fa4c7fc5c6cc0f20445","datavalue":{"value":{"entity-type":"item","numeric-id":5395670,"id":"Q5395670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967328$17FF4CFD-0266-4143-B627-715ABF18F7C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"110e04d4625ac7707eb0d6fa980c0954dd5abff2","datavalue":{"value":{"entity-type":"item","numeric-id":5705900,"id":"Q5705900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967328$48CB3614-E8A5-4203-9414-473CDEB07AB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29ef7590ac163e04f88fc79c8e41f44e7fea181f","datavalue":{"value":{"entity-type":"item","numeric-id":4474211,"id":"Q4474211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967328$92FB300F-38C0-4585-B921-A23FD4277862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"507038406dd5427cbe447a50c2fccf66314e1457","datavalue":{"value":{"entity-type":"item","numeric-id":4737192,"id":"Q4737192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967328$BE3C7406-D134-450B-BEF8-73B1299AD12B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2590c931a9c6b4bbc26e5131629de6b00286afa","datavalue":{"value":{"entity-type":"item","numeric-id":5178865,"id":"Q5178865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967328$9B18A494-1FEE-475F-BD92-9F44488DE6F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60d3fc59324c5e032bbd2eeea2d1effc30804c19","datavalue":{"value":{"entity-type":"item","numeric-id":2937700,"id":"Q2937700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967328$4DE73AEB-842F-4E92-A1A4-79627C3B0677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01cdaf4c19240161f084c8bd06e024f4fa42c69e","datavalue":{"value":{"entity-type":"item","numeric-id":3090833,"id":"Q3090833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967328$9F93ADAA-D9E3-4150-92A4-570DA8F319E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1134f2341d7e5000fd707505605e06ca29388803","datavalue":{"value":{"entity-type":"item","numeric-id":2641288,"id":"Q2641288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967328$2683AAD9-C32D-4B2E-8D5B-7C8A8E182E01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89c8bafb735b1108abc700701ff314e3fc5b7514","datavalue":{"value":{"entity-type":"item","numeric-id":1193407,"id":"Q1193407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967328$D5782353-3702-470A-A06D-7083EF571611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e65180487d55de678beff9f15b2f64281465aaf","datavalue":{"value":{"entity-type":"item","numeric-id":1325847,"id":"Q1325847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967328$6E5458E6-3114-4C4C-B58B-CA1459C75DEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a156d0e955d918a0cf7c3031785e80a3fc845ba","datavalue":{"value":{"entity-type":"item","numeric-id":3077955,"id":"Q3077955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967328$32402A98-B0E8-49C8-9CF4-D9084A45AC0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"862061599e2cf610e0a9811f43493efd6b3954e5","datavalue":{"value":{"entity-type":"item","numeric-id":870359,"id":"Q870359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967328$DE407891-AB00-4481-810B-2BBA727A6CA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac3c14f96bceac8353849fff92b1b2e7fa32a871","datavalue":{"value":{"entity-type":"item","numeric-id":929189,"id":"Q929189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967328$33CCB71D-05EC-4817-B95A-B2BBE7975DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbfd6eeba35083bdb99fc1b354aa7a2ba80bf027","datavalue":{"value":{"entity-type":"item","numeric-id":5277913,"id":"Q5277913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967328$4E3DE91E-FDD4-4F45-BF0C-4B5F19683394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d2c32b298b09103f7cc9eabedf752dc67f406d3","datavalue":{"value":{"entity-type":"item","numeric-id":4850061,"id":"Q4850061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967328$9FFAB790-8781-4E34-987F-92D53E67CBF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2668941b9cbb4011fa79194e46bde158d377b1a5","datavalue":{"value":{"entity-type":"item","numeric-id":5121270,"id":"Q5121270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967328$26B26720-7F14-41F4-8621-4AD0FADAD8B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95d15715e50825c0d0e7e90f22bd040980d39022","datavalue":{"value":{"entity-type":"item","numeric-id":6839816,"id":"Q6839816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967328$4BC59689-7DB0-462F-90D3-4DC6A80B0270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ad8c79df9be7434470d2f99510ebe66cf515365","datavalue":{"value":{"entity-type":"item","numeric-id":2055854,"id":"Q2055854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967328$0CE1E2AA-AB51-4A04-B67C-BFF1D8DC92F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1c847202badfa84aa2ad0e0d9dc0d01a542394d","datavalue":{"value":{"entity-type":"item","numeric-id":2234797,"id":"Q2234797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967328$0FEEBE95-E092-46A7-BD49-132A5AA37201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7210f737dd49c5ec595913a26dc22a57d3098e2","datavalue":{"value":{"entity-type":"item","numeric-id":4635815,"id":"Q4635815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967328$5165CEE5-B867-4D94-B612-8B41BAA152E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae35b42269b65df7a1c59338bf97c0ea301c5c81","datavalue":{"value":{"entity-type":"item","numeric-id":2488567,"id":"Q2488567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967328$7129A5DC-1212-47BB-907D-2850A1E19D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ac9e6b5b6cf386d5e282046ca2407a9abb9a6ff","datavalue":{"value":{"entity-type":"item","numeric-id":5538917,"id":"Q5538917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967328$E39ECB5C-23D0-42D0-9B72-68F20A62E4EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dacbb7b14dcb3672700d9db550ae5fb6adc5c2d","datavalue":{"value":{"entity-type":"item","numeric-id":4928426,"id":"Q4928426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967328$3A6A9A8D-AC7D-4369-9A06-0877EF6AE254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2b01f206502a074fc15a95df3d0e2f5d0f9ffef","datavalue":{"value":{"entity-type":"item","numeric-id":6967328,"id":"Q6967328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967328$C2CC366E-B024-4A79-BE3B-15E2A568377F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac23d65a9afeff852c7bda4556ad42907e525e44","datavalue":{"value":{"entity-type":"item","numeric-id":5178870,"id":"Q5178870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967328$171168A7-B11D-46C4-9608-8E95E9A4663F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7fbb642cd648c1a7a27f9c766d1ddd2f59e48d8","datavalue":{"value":{"entity-type":"item","numeric-id":2988661,"id":"Q2988661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967328$FD8A598C-512D-47FC-B656-7F63FF27C9AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03c7f5ea7003ce4e30d16faa85112855feb92fe0","datavalue":{"value":{"entity-type":"item","numeric-id":1799106,"id":"Q1799106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967328$5F391FF3-4798-4E8D-B0E9-A2EF493D20F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00cbd71a892feb6c3034297fe44c56a3eb093093","datavalue":{"value":{"entity-type":"item","numeric-id":7024194,"id":"Q7024194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967328$FC87E3DE-C78C-45B7-9E47-70432561E8CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b801b615e08f098641390b0fbab7219ff0e7229d","datavalue":{"value":{"entity-type":"item","numeric-id":5466572,"id":"Q5466572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967328$1193F06D-DA71-4987-B0A8-C840737D6B90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90e87e8e6abdd0b51c8c74bea38abf0c63a2a1ed","datavalue":{"value":{"entity-type":"item","numeric-id":598280,"id":"Q598280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967328$8FE3E2B4-DE34-496B-ABD4-C79385050731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68fb2cb1b491607825d8dbde326fc76533392837","datavalue":{"value":{"entity-type":"item","numeric-id":5875940,"id":"Q5875940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967328$1D299C63-E4DC-4E15-86CC-6C6CCFBD8E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"162bdd4df93f8ffd3483f8a1810ab35d50492908","datavalue":{"value":{"entity-type":"item","numeric-id":4262604,"id":"Q4262604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967328$83314CD9-A45F-4834-AC88-E1750EB62E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1d994db7c4e27dfd9c5271d26b11f2863b4eccb","datavalue":{"value":{"entity-type":"item","numeric-id":810005,"id":"Q810005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967328$896D6771-DD95-4EE3-A47D-E883858F97AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51768587580df242e6cb7b0adb85696edf98554d","datavalue":{"value":{"entity-type":"item","numeric-id":5906606,"id":"Q5906606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6967328$8C9B141E-3F7E-4CCB-A227-75FE5969A49F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Expressiveness results for an inductive logic of separated relations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Expressiveness_results_for_an_inductive_logic_of_separated_relations"}}}}}