{"entities":{"Q286970":{"pageid":288737,"ns":120,"title":"Item:Q286970","lastrevid":60761631,"modified":"2026-04-10T18:58:15Z","type":"item","id":"Q286970","labels":{"en":{"language":"en","value":"One unary function says less than two in existential second order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6585364"}},"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":"Q286970$703DD59B-0D91-4033-85FC-4911864D0798","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ba04189e84cb010874d5da14647b58e48301a722","datavalue":{"value":{"text":"One unary function says less than two in existential second order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q286970$24CC95FB-57D7-4373-8E00-DC806744BF02","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8d2ed7dfefcf598ded056b5eb0095b2183036b49","datavalue":{"value":"1336.68110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286970$3FD026BF-12BA-4716-AC0A-3866E97F7B7B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e56753d069279b5298a6a068da01d6820fa9e9ea","datavalue":{"value":"10.1016/S0020-0190(96)00198-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286970$3E4878CA-94A3-4ED2-AA22-A5495D789FEA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9815c60c42417eec10e5071f0342efd6372bd98a","datavalue":{"value":{"entity-type":"item","numeric-id":286969,"id":"Q286969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286970$ECC0AD04-0A98-4D27-A5CA-2B503355BE1C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286970$7F7661D5-6EBB-4DAE-AB69-2C87DF5AB9A1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b626bb78b3e93b3076e6958296f7f25e2e74c3ab","datavalue":{"value":{"time":"+2016-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q286970$E33E9DAA-6E20-45A2-9C94-9A060A7BA82D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286970$7E30B864-EBFF-4C9E-ADDE-19126C281988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286970$129C26D0-74EC-42EB-9AD1-B9DDBE4E4522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286970$19892CCB-7E93-45AA-A115-5AB4627AB4FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286970$479896DC-53F7-4A97-B4B3-D4C3DDB15B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286970$3D5F8F8F-BDCB-418C-B5BC-B04DAE8979B7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7fae5f237a952e5757942e889bd9cc3b6d1ed4b4","datavalue":{"value":"6585364","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286970$421B4220-9F2A-4D8E-AA70-82320796C687","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fc29fb6866ff15dbc5079f8d12fecff6f66005b","datavalue":{"value":"existential second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q286970$43C08E36-5F04-4B2E-AEF8-6B9C8F5E718E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0421a88d9599388a9af4b0e2102ab403f6c36e7f","datavalue":{"value":"finite model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q286970$02C16A8C-ECE9-4795-B544-7AF587ECE6BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q286970$16293245-DB2C-4409-B514-60B4EB32093A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b30b88dd7d8d4d3a542dd1829bf3206a53951e76","datavalue":{"value":"formal languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q286970$AAC017CA-DDD9-4CD9-B1F0-131A2C906203","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":"Q286970$6F47BAD3-4051-4194-9AED-70427411B663","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1215427859a054ba93307928826462e87d798fc","datavalue":{"value":{"entity-type":"item","numeric-id":3489984,"id":"Q3489984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286970$2D364C8D-76AF-4E40-A6E6-A6274B464362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d2c32b298b09103f7cc9eabedf752dc67f406d3","datavalue":{"value":{"entity-type":"item","numeric-id":4850061,"id":"Q4850061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286970$EEDFD006-5A91-490C-80C9-52378BB1D164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668a8637c081f79751e1e57f52557e1f7bc7f98a","datavalue":{"value":{"entity-type":"item","numeric-id":3274971,"id":"Q3274971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286970$468292EC-0A3B-4143-B012-CEFF3FE4527D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0839e7e46510112865b452a6ed8d8dd889a4c60","datavalue":{"value":{"entity-type":"item","numeric-id":4058132,"id":"Q4058132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286970$D948FF03-277B-4157-897D-11A7F7A6FDBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8fec6e175e6b5afb296e0379add32effab9009c","datavalue":{"value":{"entity-type":"item","numeric-id":4078009,"id":"Q4078009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286970$EBB0EA6E-1B96-409D-B42A-B84C91B8E98B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2494aed4dea6d6b4ac7f1b1919e3e78be243741e","datavalue":{"value":{"entity-type":"item","numeric-id":1898480,"id":"Q1898480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286970$CECBC0AE-B5FB-4C53-A09F-2C14698DAA6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adb7d5ef3eb356038217081da936504becb73708","datavalue":{"value":{"entity-type":"item","numeric-id":3230355,"id":"Q3230355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286970$62623268-0179-4ABD-A491-66766C00F949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f41154bbd2d88bca7e09d5d12308024b53be4ea","datavalue":{"value":{"entity-type":"item","numeric-id":3699679,"id":"Q3699679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286970$233DCF6B-F156-4093-AF26-B41F988594F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0692870b50fec9c611e86c61bb5b2171a4b9c2c2","datavalue":{"value":{"entity-type":"item","numeric-id":3796747,"id":"Q3796747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286970$5B0E8BD6-BAA6-4DDF-A7CC-D71E0DC043BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffc25197c097c6cf42299e484db9dc909a75d149","datavalue":{"value":{"entity-type":"item","numeric-id":909462,"id":"Q909462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286970$E8926D28-24BB-4587-869F-6188C6EA1C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12657dd41da1b766c3c8d515a8a5630b86240f15","datavalue":{"value":{"entity-type":"item","numeric-id":673910,"id":"Q673910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286970$38D7AC57-7AD9-4D43-AFBB-CEAF6A32C274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e352c0c79a06f6de0a8b9916dc2f414ddad83f78","datavalue":{"value":{"entity-type":"item","numeric-id":3797174,"id":"Q3797174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286970$C0ADA33B-F023-4A9F-8E83-E3FC243CAC79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28a1bb68b383af65aeb66add2f1a698c64dd8083","datavalue":{"value":{"entity-type":"item","numeric-id":1919539,"id":"Q1919539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286970$DC483E59-83BC-4871-8609-05EC8C5A7F1E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64faf9e805107febb040c8612341c18e404f024c","datavalue":{"value":{"entity-type":"item","numeric-id":4218932,"id":"Q4218932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d3cff2d3f8e259e4ec5d8da2f37f5176b888b59","datavalue":{"value":{"amount":"+0.806262731552124","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q286970$06DC43DD-1867-4A5F-B7DE-5F1D4B4114D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"feec364a15b6bb51b445b1c43aca45881dbc458b","datavalue":{"value":{"entity-type":"item","numeric-id":1350533,"id":"Q1350533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acc5bed52c2431c50cd8aa865d80419d6443b16e","datavalue":{"value":{"amount":"+0.7813144326210022","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q286970$BA633108-7A5C-4460-B854-059BB8951B72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c92ac77db6e3d48a037f3efc83eef3957435dbf","datavalue":{"value":{"entity-type":"item","numeric-id":909462,"id":"Q909462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26924aced6898c5e15345d51130c40e9240586c0","datavalue":{"value":{"amount":"+0.7812135219573975","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q286970$F9C5940F-37A0-494B-99C5-30F71EFE0187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97e40b3497b9fcd11077519ac1e5638727e84a86","datavalue":{"value":{"entity-type":"item","numeric-id":4474838,"id":"Q4474838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f6cc66ad97a0ac3fbf87f0ce1d8a1cdd1d27c77","datavalue":{"value":{"amount":"+0.7742478251457214","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q286970$090D3964-B4D3-4918-A3AB-C06BAA49B099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c02727f30946ec7a2fd0d2b77dda7ac54261c68d","datavalue":{"value":{"entity-type":"item","numeric-id":5109229,"id":"Q5109229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89c4cb95435ad196d54ffa40f76770e9cde3e631","datavalue":{"value":{"amount":"+0.7671071290969849","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q286970$6F0BF1CA-4187-48CC-BEFA-88E97BF4AC01","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"One unary function says less than two in existential second order logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/One_unary_function_says_less_than_two_in_existential_second_order_logic"}}}}}