{"entities":{"Q4425144":{"pageid":6454743,"ns":120,"title":"Item:Q4425144","lastrevid":89630825,"modified":"2026-06-04T17:52:04Z","type":"item","id":"Q4425144","labels":{"en":{"language":"en","value":"Three-quantifier sentences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1978722"}},"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":"Q4425144$732969A8-B512-4FC7-8486-DAB267528166","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"124ea9c455dd9a1aa9c3855277851163e8973c6f","datavalue":{"value":{"text":"Three-quantifier sentences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4425144$FEE7119F-0C6F-4D55-BCD2-6A76ED4EDA32","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0d807d3f26df54821404b9a19d5e6905fe7db6e0","datavalue":{"value":"1020.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4425144$61A62E01-0579-4FB5-AFDC-D7430EAEF743","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4db7d460ffc6b3e0069ff40b20b2755df97aa354","datavalue":{"value":{"entity-type":"item","numeric-id":196044,"id":"Q196044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4425144$7335F911-0973-4A09-AC7F-F6B5FC4AA771","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5797d223f34682fa810388331056bbf163f31972","datavalue":{"value":{"entity-type":"item","numeric-id":559381,"id":"Q559381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4425144$316039CB-8D88-4BC6-8041-E8665EE12299","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a6306d2512fcd9c6604a9f9efaa9434466b3fef","datavalue":{"value":{"time":"+2003-09-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4425144$90C9714A-E63F-4755-AB51-BA4BA5063967","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4425144$BFC6327D-7C1C-406F-A5F0-87964047622E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4425144$9DEF4543-0A88-4C66-8085-8966C21F9058","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9d2ddf23d3ea2995259bc5ac06933fa770d08694","datavalue":{"value":"1978722","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4425144$73695FF6-0FCA-4E6E-BAA7-B8017CED3C16","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88f944b32f2ff6dc1e7d9f3c0bcc3a5ddfaa6aec","datavalue":{"value":"3-quantifier sentences","type":"string"},"datatype":"string"},"type":"statement","id":"Q4425144$496A6211-3F18-4E91-965F-9F13B702E8C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85819b21a33da7f022021bfe26f06997f3faef66","datavalue":{"value":"primitive notation of set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4425144$E3525675-FF55-441B-9BBB-DC6F2DB4EB64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68138c6c4f989c8583da9383e27778d5268533ba","datavalue":{"value":"ZFC","type":"string"},"datatype":"string"},"type":"statement","id":"Q4425144$84596AF7-79FC-4FE7-A779-14168E034F89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"058fecc9c6f16e178afe9920b1cd3cfcbe2da5ea","datavalue":{"value":"weak fragment of ZF","type":"string"},"datatype":"string"},"type":"statement","id":"Q4425144$FDC2B54A-56B4-415B-A500-D5EF16DD7CB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c931203778ae1d5ed6e9db1185614b4b3a0b71f","datavalue":{"value":"witnesses of 2-quantifier formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q4425144$B61FCCFA-0B67-4AA1-A871-C0A02450F90A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6797c0c2782cb1475187cdd706044931e4c28b2b","datavalue":{"value":"5-quantifier sentence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4425144$45C6671D-1C26-480C-9167-30B75B05878E","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":"Q4425144$4B2FA798-F0B7-40D7-887A-E5DFFADA4516","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bf94f0153eefe11136a4d6b8620ba39cc38a3889","datavalue":{"value":"https://doi.org/10.4064/fm177-3-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q4425144$1DA47B40-AEDE-42B7-B401-932FF6317C2C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6dc6ae005de41dead1323bc13420abab7c0d270a","datavalue":{"value":"W1991868822","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4425144$D41BD964-51CD-4B09-8E63-2C3A2A3526C5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3e9de48135f93448fa20f1d7fd2a258708b28946","datavalue":{"value":"10.4064/FM177-3-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4425144$E6C512BB-CBB5-4321-8EF7-B76773ACE459","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"279a4c707c95a9b9efb570ce98ce07e42f9e99a0","datavalue":{"value":{"entity-type":"item","numeric-id":3416111,"id":"Q3416111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0404081edc8eb38d827c5096aa42a8d79df41bf","datavalue":{"value":{"amount":"+0.7699644565582275","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":"Q4425144$86EAB9C9-D0F8-4DCF-A904-933F2BA6368A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f31ffc8d4888596b43098dc2e9076486ada9ea5","datavalue":{"value":{"entity-type":"item","numeric-id":4408482,"id":"Q4408482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8a79529109be6ab972558a81aecaf574bada290","datavalue":{"value":{"amount":"+0.7566957473754883","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":"Q4425144$28D03940-B81F-4D72-969E-0D6EBEB61049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a84e7680056df24b90c52a3064737e0a98d3684f","datavalue":{"value":{"entity-type":"item","numeric-id":737087,"id":"Q737087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"762b74521ae270d61cafa456dd2cdaf1c0cc026e","datavalue":{"value":{"amount":"+0.7191648483276367","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":"Q4425144$59F6AB05-FE17-4642-832C-22CD6EFB60DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df3cdc58bda495ea31b0e19647beba1a99f54dd1","datavalue":{"value":{"entity-type":"item","numeric-id":3489978,"id":"Q3489978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3e8ced05da2042bbf2dbe26fbd078132c2feecc","datavalue":{"value":{"amount":"+0.7072232961654663","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":"Q4425144$A3F35E76-D970-48E1-9F6C-705579FAA359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60b00271b24f47d225c4f196d3f4765427eb3d31","datavalue":{"value":{"entity-type":"item","numeric-id":810494,"id":"Q810494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94a6304b93ea9a42081aacb2b8e91ab934bdf717","datavalue":{"value":{"amount":"+0.7035080790519714","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":"Q4425144$401B3DA9-4AA7-4730-B1D3-CC09C1427ADC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Three-quantifier sentences","badges":[]}}}}}