{"entities":{"Q6672142":{"pageid":14391520,"ns":120,"title":"Item:Q6672142","lastrevid":40260478,"modified":"2025-02-17T21:59:46Z","type":"item","id":"Q6672142","labels":{"en":{"language":"en","value":"first-order logic"},"de":{"language":"de","value":"Pr\u00e4dikatenlogik erster Stufe"}},"descriptions":{"en":{"language":"en","value":"collection of formal systems used in mathematics, philosophy, linguistics, and computer science"},"de":{"language":"de","value":"Teilgebiet der mathematischen Logik: Familie logischer Systeme"}},"aliases":{"en":[{"language":"en","value":"first-order predicate calculus"},{"language":"en","value":"predicate logic"},{"language":"en","value":"quantified logic"},{"language":"en","value":"predicate calculus"},{"language":"en","value":"quantificational logic"},{"language":"en","value":"FOL"}],"de":[{"language":"de","value":"Logik 1. Stufe"},{"language":"de","value":"Logik erster Ordnung"},{"language":"de","value":"Logik erster Stufe"},{"language":"de","value":"Logik 1. Ordnung"},{"language":"de","value":"PK1"},{"language":"de","value":"FOL"}]},"claims":{"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"5e306b4bfcec393614787b5b37976c672531d7dc","datavalue":{"value":"Q4055684","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6672142$F84F28FA-739E-4952-A98C-6F68F5AD1E96","rank":"normal"}]},"sitelinks":{}}}}