{"entities":{"Q7281018":{"pageid":31098728,"ns":120,"title":"Item:Q7281018","lastrevid":104440537,"modified":"2026-07-10T19:40:11Z","type":"item","id":"Q7281018","labels":{"de":{"language":"de","value":"Pr\u00e4dikatenlogik zweiter Stufe"},"en":{"language":"en","value":"second-order logic"}},"descriptions":{"en":{"language":"en","value":"extension of first-order logic allowing quantification over functions and relations"},"de":{"language":"de","value":"Teilgebiet der mathematischen Logik"}},"aliases":{"en":[{"language":"en","value":"second-order predicate logic"}]},"claims":{"P239":[{"mainsnak":{"snaktype":"value","property":"P239","hash":"a076306aac358cf1e5f354f4de0f489ad404ea6b","datavalue":{"value":"/m/01y3yt","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7281018$C9FCE0F2-7099-4D91-AAB8-05936C894C9D","rank":"normal","references":[{"hash":"6499e90742e6a3b2d9cb91c8c38ff13ffd6eb773","snaks":{"P98":[{"snaktype":"value","property":"P98","hash":"765c249748dbeb69c8c4d98de780dc063f8e09cf","datavalue":{"value":{"entity-type":"item","numeric-id":56521,"id":"Q56521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P28":[{"snaktype":"value","property":"P28","hash":"ad31989710dc3c2a167cc95050bb6ea34e0bbe88","datavalue":{"value":{"time":"+2013-10-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P98","P28"]}]}],"P36":[{"mainsnak":{"snaktype":"value","property":"P36","hash":"e15a882f4ed0befadbf0577e15b7461ee7ad8635","datavalue":{"value":{"entity-type":"item","numeric-id":7276534,"id":"Q7276534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7281018$E90EA81F-0C6C-4456-B2CF-4839FE9DC2B5","rank":"normal"}],"P276":[{"mainsnak":{"snaktype":"value","property":"P276","hash":"6b43e7adaf2bb9e6b5a8b2d453fddcd5b2d0b2fd","datavalue":{"value":"topic/second-order-predicate-calculus","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P96":[{"snaktype":"value","property":"P96","hash":"97a27e5111bd28e2116b3ed8f17255e56bf9aa3a","datavalue":{"value":"second-order predicate calculus","type":"string"},"datatype":"string"}]},"qualifiers-order":["P96"],"id":"Q7281018$B39EA616-1F4A-4761-A533-6EE70FEE14BC","rank":"normal"}],"P373":[{"mainsnak":{"snaktype":"value","property":"P373","hash":"af4f0b465068a1a054542bb095a9e3c06e980e37","datavalue":{"value":"144791301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7281018$42AFCB37-41B0-4D58-8691-7CA604DCF21C","rank":"normal"}],"P1195":[{"mainsnak":{"snaktype":"value","property":"P1195","hash":"38a3d7ace21a4599af3f2ad33652ec048924a03e","datavalue":{"value":"second-order logic","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7281018$B9C462EB-B488-4A11-9377-77C63CCD77BF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"218fb2d8f230bba0a0f637be93d92f3542b74d54","datavalue":{"value":"C144791301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7281018$F399CB54-936A-453E-9905-81DF6387356E","rank":"normal","references":[{"hash":"ada37bfccfef8253f9662eb411a7e44fd3bf600a","snaks":{"P98":[{"snaktype":"value","property":"P98","hash":"d98ff3d8cd81c87263e3f0008a1ae470fbcf55ae","datavalue":{"value":{"entity-type":"item","numeric-id":56612,"id":"Q56612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P69":[{"snaktype":"value","property":"P69","hash":"a8b2a7e9de45fd3832b36f489407e826769f65b6","datavalue":{"value":{"time":"+2022-01-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}],"P56":[{"snaktype":"value","property":"P56","hash":"f7cf0fc8f94cea909ab2fa761ee0f84fb1ca5b1a","datavalue":{"value":"https://docs.openalex.org/download-snapshot/snapshot-data-format","type":"string"},"datatype":"url"}],"P160":[{"snaktype":"value","property":"P160","hash":"91ab54c6c18e91aab482096dc9616607b7c6ad10","datavalue":{"value":"https://web.archive.org/web/20220125070108/https://docs.openalex.org/download-snapshot/snapshot-data-format","type":"string"},"datatype":"url"}],"P161":[{"snaktype":"value","property":"P161","hash":"bbaf8098d44f14564610a773940f9314d704bd81","datavalue":{"value":{"time":"+2022-01-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P98","P69","P56","P160","P161"]}]}],"P1364":[{"mainsnak":{"snaktype":"value","property":"P1364","hash":"93e3cabf990fe1222368cc77476ea5b83761496c","datavalue":{"value":"computer-science/second-order-logic","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7281018$E6D39FC3-41D6-4161-B1FB-CCF829DB213A","rank":"normal"}],"P1590":[{"mainsnak":{"snaktype":"value","property":"P1590","hash":"8cca56a4ceb24473fe9828050cffe5342f1eaab0","datavalue":{"value":"second-order-logic","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7281018$E5EBE1C5-7F10-480C-8BE3-6D41F9B2D0DC","rank":"normal"}],"P356":[{"mainsnak":{"snaktype":"value","property":"P356","hash":"b1e9e41bd85895d7e4b69bcecfc563d6574f4a4f","datavalue":{"value":"Kindl-Treppe Aug2021d.jpg","type":"string"},"datatype":"commonsMedia"},"type":"statement","qualifiers":{"P401":[{"snaktype":"value","property":"P401","hash":"7cb7a0199f9ec6503a61e8a48e991db3cd7da37d","datavalue":{"value":{"text":"graffito showing the second\u2010order sentence \u2203\ud835\udf11\ud835\udf11 (quantifying over the nullary relation \ud835\udf11)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"}]},"qualifiers-order":["P401"],"id":"Q7281018$E7600443-84A6-476D-9019-E1320FE12F71","rank":"normal"}],"P389":[{"mainsnak":{"snaktype":"value","property":"P389","hash":"af73d04e973f71d9a87ae293d22d02c031933cd0","datavalue":{"value":{"entity-type":"item","numeric-id":7273802,"id":"Q7273802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7281018$6595081E-9B5D-4236-9765-361470E01EDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P389","hash":"9217f0fe697eb177c9358f0d57dcd8a6b051c6df","datavalue":{"value":{"entity-type":"item","numeric-id":68667,"id":"Q68667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7281018$F96C44A8-BE75-4F5B-8EFE-4D5981C02294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P389","hash":"de8a2ca06af2364e4bb72cf3b5412e0b7f2800ef","datavalue":{"value":{"entity-type":"item","numeric-id":57515,"id":"Q57515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7281018$A91B95DE-6BB9-40E3-A091-B85D0406A332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P389","hash":"1d0c92e13d8038fce13847cb73c1c8ea97876b04","datavalue":{"value":{"entity-type":"item","numeric-id":6821503,"id":"Q6821503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7281018$047B6E8B-00AC-492D-9E95-478540F5F222","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ff3a4e0aef2e7ff087a863bb36caf29e294ffaa9","datavalue":{"value":"Q1548746","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7281018$8ED77BE0-5E8A-47F9-BCBF-1B67A8A87D51","rank":"normal"}],"P1994":[{"mainsnak":{"snaktype":"value","property":"P1994","hash":"d59b0e75d328ac29c8bad4bf0c0fbbac48bce9fb","datavalue":{"value":"second order logic","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7281018$4952647D-B8AC-4CA9-A479-FA90DF825CCD","rank":"normal"}]},"sitelinks":{}}}}