{"entities":{"Q7361803":{"pageid":31520948,"ns":120,"title":"Item:Q7361803","lastrevid":105369614,"modified":"2026-10-07T13:38:37Z","type":"item","id":"Q7361803","labels":{"en":{"language":"en","value":"Relational Forests"}},"descriptions":{"en":{"language":"en","value":"AFP entry Relational_Forests"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8a13c5ef9042bda21c416690e49ddda6ca0658f5","datavalue":{"value":"https://isa-afp.org/entries/Relational_Forests.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361803$1C0C76D4-7324-4170-91C8-06323A30909C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"49ee50f687aac7f2e200a1c881fd3cbd74f354c8","datavalue":{"value":{"time":"+2021-08-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361803$2D179012-F76A-4757-AD16-55ACE6FB9EBC","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"3c617235e619eef98fa14e39d518bd5dd86d6a82","datavalue":{"value":"Walter Guttmann","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361803$9FA581CF-68D1-4612-91C9-0474C670E9CB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"13299d01a9944ec95f11aa8ea4507b9ac2ea9d76","datavalue":{"value":{"text":"Relational Forests","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361803$A06DB0CC-C2A5-40C9-9132-428DE874314E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"035c4253a42f4500cf91e346aefa5ece48f5aeeb","datavalue":{"value":"We study second-order formalisations of graph properties expressed as first-order formulas in relation algebras extended with a Kleene star. The formulas quantify over relations while still avoiding quantification over elements of the base set. We formalise the property of undirected graphs being acyclic this way. This involves a study of various kinds of orientation of graphs. We also verify basic algorithms to constructively prove several second-order properties.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361803$CDB60F42-696E-4D69-B729-BCA558C84720","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d70b1f56dcaacb863c291b774b196c7702f4e60","datavalue":{"value":{"entity-type":"item","numeric-id":1961862,"id":"Q1961862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361803$6A7BD742-AAC9-4EA5-BC67-79C014936753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bff23cbdd03ec4dcc13c456677b8b26e6986d97e","datavalue":{"value":{"entity-type":"item","numeric-id":3575262,"id":"Q3575262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361803$892B6AE0-D908-401E-A9EB-1F101619BCD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4f1737076dc313cc8310424628d232438f7012e","datavalue":{"value":{"entity-type":"item","numeric-id":1994364,"id":"Q1994364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361803$677DBFCB-17A5-425B-A7DC-4FEEBD8E67B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f777b594bf9a38bee6a3026ee3e33874bd75cbc9","datavalue":{"value":{"entity-type":"item","numeric-id":2695354,"id":"Q2695354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361803$6BDFDCF3-DC6F-4814-8E81-4B93002F00B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84c35c3c18100f10a76a9ef0d730325b542a65e7","datavalue":{"value":{"entity-type":"item","numeric-id":115238,"id":"Q115238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361803$2A9F8C81-64A3-4CC9-9A74-DDABC8A27A21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03e28501aacdbf6d4e8682ff5e08df0d986bb143","datavalue":{"value":{"entity-type":"item","numeric-id":1830627,"id":"Q1830627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361803$255C1200-16A1-4EE0-9E1F-4E873C294882","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361803$DAD075ED-CC08-451D-9C30-32A413C6AD0C","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"1da5a6745e19c828f4306a62ce60e23ffee71874","datavalue":{"value":{"entity-type":"item","numeric-id":7361881,"id":"Q7361881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361803$C125B433-2C6E-4FF8-AEAE-655A1F62FB0B","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"f3718ba60fb3ca54d1e75bc16696ddd7ca207e99","datavalue":{"value":{"entity-type":"item","numeric-id":7360827,"id":"Q7360827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361803$20DD1929-EF06-4066-A645-A123128B645B","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361803$7B12B4CF-62BA-4B6C-8C66-B2B154794F15","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relational Forests","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Relational_Forests"}}}}}