{"entities":{"Q7361364":{"pageid":31519631,"ns":120,"title":"Item:Q7361364","lastrevid":105365132,"modified":"2026-10-07T13:35:44Z","type":"item","id":"Q7361364","labels":{"en":{"language":"en","value":"First Order Clause"}},"descriptions":{"en":{"language":"en","value":"AFP entry First_Order_Clause"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c8772b6361134aaf352a68c44ecd9be7a0b787a7","datavalue":{"value":"https://isa-afp.org/entries/First_Order_Clause.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361364$348ADC6B-2EDE-4079-AECD-B9F70F8822D3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17000f49c0f2609c4683a82c4aacd7701ef13ce6","datavalue":{"value":{"time":"+2025-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361364$79663175-2709-42D6-921B-234BEA8A6433","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"15d203ac3247a8303c7b481047fdacbb38c8230e","datavalue":{"value":"Balazs Toth","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361364$43D25579-2BFA-4431-AE72-A9D1B5A25F26","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cd99471ee1884e9e5e392f44ad28dcaf15dd5dd0","datavalue":{"value":{"text":"First Order Clause","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361364$57A3F652-276E-4B53-B438-AF640F5D4F37","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f4335f5594627a5ffdd47f3099a12a0abfe1c9b7","datavalue":{"value":"This entry provides reusable theories that lift properties of first-order (ground and nonground) terms to atoms, literals, and clauses. These properties include substitutions, orders, entailment, and typing. The sessions AFP/First_Order_Terms and AFP/Abstract_Substitution are the basis of this entry.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361364$68EA4A98-7752-4F21-A314-FF7BC0512C64","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":"Q7361364$7C2B124B-A7E3-4612-9937-06E1E338C390","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"eea015e63cbfd0e979e072b54c82673000e36b61","datavalue":{"value":{"entity-type":"item","numeric-id":7361907,"id":"Q7361907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361364$3AF1D436-2659-4EC3-B375-4B6DCF7733BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"6d228da4bce2fba997fec5a975b2ba853633b29e","datavalue":{"value":{"entity-type":"item","numeric-id":7361840,"id":"Q7361840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361364$9A0601AD-63AE-4CB2-8F7C-B2F917882648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"c7a8f6bee75646b3f0253f9b38a1467a1e90950c","datavalue":{"value":{"entity-type":"item","numeric-id":7361712,"id":"Q7361712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361364$42C970BE-2F55-4850-8718-9764E662CC34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"5d70c31f8f3089ee68f7b26b926ebc5ba7e96296","datavalue":{"value":{"entity-type":"item","numeric-id":7361346,"id":"Q7361346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361364$A895972D-73B9-4857-99FE-F572F3274F9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"8f0f13c41ff97fc90cd117120ced19e3dd24a1b3","datavalue":{"value":{"entity-type":"item","numeric-id":7361305,"id":"Q7361305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361364$A02FB781-6835-459F-A079-7ED6CD900760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"a0e462408f240420e2b3f4dd5e025dcac9e4a9cd","datavalue":{"value":{"entity-type":"item","numeric-id":7361044,"id":"Q7361044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361364$98B47407-46BE-464F-A4FA-79EE8CE2894A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"cc10eb56dc44db7cf056c61e68b7b8997e1a8881","datavalue":{"value":{"entity-type":"item","numeric-id":7361685,"id":"Q7361685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361364$6F259669-25B4-47A8-B1EB-E91B873BA6BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"b9a61c696de92bdb09f875b4ad548670b0f0c015","datavalue":{"value":{"entity-type":"item","numeric-id":7361753,"id":"Q7361753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361364$0C0477FA-487E-4B77-B25C-E6E4F14733A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"85efd78a30ec4ea71bd602428941f1812ce7fff7","datavalue":{"value":{"entity-type":"item","numeric-id":7361363,"id":"Q7361363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361364$989B9268-A22A-48CF-BB68-C512F4E05B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"fb4ca62534d114b18939e42c4fb75c00ca39fd41","datavalue":{"value":{"entity-type":"item","numeric-id":7361691,"id":"Q7361691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361364$FB9B65BA-1527-459C-9F93-E2D9C2C90282","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"04648103e40c59982614f3813f352c9cf3f67ce8","datavalue":{"value":{"entity-type":"item","numeric-id":7360808,"id":"Q7360808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361364$91385F4E-DA29-4E92-88F5-285BE385F6AE","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":"Q7361364$599C6723-BA01-4414-909B-A6ACD8089DC8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"First Order Clause","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/First_Order_Clause"}}}}}