{"entities":{"Q1815271":{"pageid":1826013,"ns":120,"title":"Item:Q1815271","lastrevid":43345224,"modified":"2025-07-24T23:14:33Z","type":"item","id":"Q1815271","labels":{"en":{"language":"en","value":"The quantifier complexity of NF"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 942756"}},"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":"Q1815271$EC9F926F-57E6-4427-B69D-31ABD535B90A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0ea44fb1b60402e3ef6f3f6d45f07abb40127422","datavalue":{"value":{"text":"The quantifier complexity of NF","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1815271$08DF83F7-5669-4AD3-A8B9-8308CA77A960","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"37730ce0c1713eaf55ea534d7b8a4dacd9a54535","datavalue":{"value":"0856.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815271$E60F8C45-440B-4433-8B98-D11DE826F619","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c4f16ddc5cdb18d4f4fb3ee6d704d6609c3404ba","datavalue":{"value":{"entity-type":"item","numeric-id":223802,"id":"Q223802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815271$DAAE56C3-CB2E-4AEB-B8C7-2DBD0D8B2593","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c756d1547f60afca22dd2809969b4b76b8807884","datavalue":{"value":{"time":"+1996-11-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1815271$ADE14325-E2C3-445C-92F8-9E8FCBA074D8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"adbcb9a38ae638ea555c27fe963c96354e9ac1e6","datavalue":{"value":"https://eudml.org/doc/119029","type":"string"},"datatype":"url"},"type":"statement","id":"Q1815271$B68F25DC-4A56-4CEB-9394-6388DEFF02F3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815271$A2773158-8F26-4FF8-B17E-601D3305989A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815271$538D8AEC-BDB6-4C72-B849-5EBE68105EB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815271$D8A07983-82EB-4F3B-86B7-E3C4036C8019","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b7deb1c58856cc134d8b5a20d0524503b294fcaf","datavalue":{"value":"942756","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815271$94B4BFE4-476F-4F69-8C12-0D348E944DB5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"951efe4cdbbac9e8ecf007ff8be01df53f81b535","datavalue":{"value":"New Foundations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815271$B880573A-7FFF-416D-8497-32C16EDC8563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d30bccc3c773f6387fa27b8780b4cca02dfeb07e","datavalue":{"value":"fragments","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815271$6BCDCFB1-9FA8-4CC9-9141-7C1405FD9826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64a39999d80740e49a5409c35323fbca9d1fefad","datavalue":{"value":"quantifier complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815271$C74237FF-BB56-426B-9EEB-5A615A439798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebfd339d5fdc320cb84ced0319a371d684c705ee","datavalue":{"value":"axiomatizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815271$0146AE52-B36E-4995-A887-9679CFEA4D0D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4e8d3a3341051dfd24b707ce385e6152c2c9cbd","datavalue":{"value":{"entity-type":"item","numeric-id":1762363,"id":"Q1762363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815271$18AD9598-42DD-42C9-9FBC-F1CFB104FF61","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":"Q1815271$F1F4BB5D-843D-4C2B-8936-805036532EDA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1815271","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1815271"}}}}}