{"entities":{"Q3869315":{"pageid":5899220,"ns":120,"title":"Item:Q3869315","lastrevid":90819887,"modified":"2026-06-04T21:28:14Z","type":"item","id":"Q3869315","labels":{"en":{"language":"en","value":"Characterizing Second Order Logic with First Order Quantifiers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3672263"}},"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":"Q3869315$F64DD4C4-18F9-4B0F-A331-063B9192A33A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"abac8d00535ee4fc8e3469b2bcbf7f2a451c567e","datavalue":{"value":{"text":"Characterizing Second Order Logic with First Order Quantifiers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3869315$52E93D74-C17C-4F42-BB0B-D89A1822CF02","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"da2b8f9a3afe3e743a07c4d1c6290c67158ec124","datavalue":{"value":"0432.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3869315$05FFC1F0-49A8-4C41-837C-CE45D413EB89","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d86d555bd6cd1001c3d6ecad72fc1ab67c5fdce1","datavalue":{"value":{"entity-type":"item","numeric-id":209473,"id":"Q209473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3869315$FBBE40E6-D185-4CCA-A8B6-BD88B1497ACE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3869315$8A51AC61-072B-4275-9B8F-76FC38CC1CAA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3869315$5F349B65-CACA-4A16-A100-BFA9AE043694","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3869315$9AD92628-5A3E-4ED4-927C-F1C51FBE4340","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"75a1be44bd64fc1848e99c3d7e1b1fcd108dd63d","datavalue":{"value":"3672263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3869315$7813C7E1-7F55-4331-9A39-79C6ED9E5419","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e0b98f4e83ab892b3a9462684b3037238174c13","datavalue":{"value":"partially ordered quantifier prefix","type":"string"},"datatype":"string"},"type":"statement","id":"Q3869315$B2F16F6B-7E74-4E63-947F-D1BC80DC4D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3869315$EB53FE71-C30B-48B7-992F-4503AA676DC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea811d864a984b410a67df5fbc1ccbc3b77db799","datavalue":{"value":"second order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3869315$62987550-6417-4F03-99DA-7CED61924498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff15bcd6f61ae8f7c69ee65bfaad9f2001ff5f9f","datavalue":{"value":"alternating second order quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3869315$0F94295B-33B7-4A3C-A2DE-0C363150E08A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38313993633a0611a2805d0e7911de9bcc0083c4","datavalue":{"value":"first-order quantification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3869315$21E502D0-12F4-4402-950B-B9EBAF20894D","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":"Q3869315$C6941EEE-11D2-45EE-806F-566EC678F771","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a7aac47881265a33e75d9c9530c374a9af8796b7","datavalue":{"value":"https://doi.org/10.1002/malq.19790252507","type":"string"},"datatype":"url"},"type":"statement","id":"Q3869315$4629EBE9-A114-4885-BBB9-C38161E8587D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"338819b385024120e348cbb1b86c3178c94faa73","datavalue":{"value":"W2151312580","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3869315$0BFC7915-B88A-4C58-99B8-1F128328A060","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"51f4aee10e7b9ff5c19555d4a973275d349c6fa4","datavalue":{"value":"10.1002/MALQ.19790252507","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3869315$DB205119-8FD8-431B-A88E-3585630E2860","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Characterizing Second Order Logic with First Order Quantifiers","badges":[]}}}}}