{"entities":{"Q6259534":{"pageid":13396297,"ns":120,"title":"Item:Q6259534","lastrevid":56091405,"modified":"2026-03-12T15:34:56Z","type":"item","id":"Q6259534","labels":{"en":{"language":"en","value":"A solution to the finitizability problem for quantifier logics with equality"}},"descriptions":{"en":{"language":"en","value":"scientific article"}},"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":"Q6259534$F30D4A75-282A-4F32-9753-36D2042C3BBB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"12f118fbdbe754435c4555afcd394e6e2557238b","datavalue":{"value":{"time":"+2015-03-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6259534$1A79B642-5E47-4088-9E68-59BA6A84F3E8","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"7d6ee5d463bb15b2aef20f97f53ed467752c5fe9","datavalue":{"value":"1503.00376","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6259534$2469DA28-5372-45C7-8D9C-95BFC1D5277D","rank":"normal"}],"P22":[{"mainsnak":{"snaktype":"value","property":"P22","hash":"91cfcc3a3c7fc0e829c6b8c5f874cc185f7b19b3","datavalue":{"value":"math.LO","type":"string"},"datatype":"string"},"type":"statement","id":"Q6259534$09E471D8-C7FD-4FBD-99DE-8487FBAD3ED0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6651d4e4947d930a461f076a4ae17f7da77e1b31","datavalue":{"value":{"entity-type":"item","numeric-id":227768,"id":"Q227768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6259534$73113039-3314-4695-B6E4-9C80AB7B4EE9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6259534$128E250D-F567-4876-AB04-6D1A0F23BF11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"475a2407c03078b469bb32ab23376730eacf71d9","datavalue":{"value":"03G27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6259534$4BEADBC4-687A-4379-B7F4-B9920968D8F4","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":"Q6259534$CBF19BC4-47E4-4E0D-BDE5-B0B196769896","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"089030076b0aaa1fb806e3f788131c355e5939c7","datavalue":{"value":"10.1002/MALQ.201300064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6259534$C8EFB705-FBB7-415B-B984-23BD368AEB02","rank":"normal"}],"P1676":[{"mainsnak":{"snaktype":"value","property":"P1676","hash":"596f3fee426e6156c8938b381983cfe61ef0ed0b","datavalue":{"value":{"entity-type":"item","numeric-id":3460522,"id":"Q3460522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6259534$343672C5-4C25-4D94-86EF-FD815F1DE4C2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6259534","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6259534"}}}}}