{"entities":{"Q6640358":{"pageid":14251510,"ns":120,"title":"Item:Q6640358","lastrevid":99929450,"modified":"2026-06-05T21:01:59Z","type":"item","id":"Q6640358","labels":{"en":{"language":"en","value":"Reducing Tarski to unique Tarski (In the Black-Box model)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7946362"}},"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":"Q6640358$08FEC0D4-987C-4CAD-9D6F-4000CF754CF2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4de8f3b4a1f8799ad1b4b7b2e849687476c07ce6","datavalue":{"value":{"text":"Reducing Tarski to unique Tarski (In the Black-Box model)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6640358$546DE2BF-A2BD-429F-9E15-F33994CC2625","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"33ccafc3e3f983cd4477ec42c6d4b65b8ec8a043","datavalue":{"value":{"entity-type":"item","numeric-id":458452,"id":"Q458452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6640358$B4E1F984-5D7A-432E-8AAD-494A4B8B38A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"15ee9ed32ffff94d0e7e33d36d63cc3f925b22a2","datavalue":{"value":{"entity-type":"item","numeric-id":1637929,"id":"Q1637929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6640358$EFFB9801-034A-447F-B0C4-E32359B38ED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"64789e48fd3ab0a44b5ae0aa6d85c1c024312026","datavalue":{"value":{"entity-type":"item","numeric-id":458479,"id":"Q458479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6640358$33B825BB-188A-4F5B-A6BF-B88E7EFF833E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51eae7dddb64e9526fdf435a881f345596fc8b93","datavalue":{"value":{"time":"+2024-11-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6640358$67BD5479-D617-4A97-87DB-D9EB7DD2CB5A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6640358$B5D4FD87-2A45-4A00-8073-7808E9FB5E2E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8824c33f06b1eb07a3aac794b39a3e6ba7561ece","datavalue":{"value":"7946362","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6640358$1D79654E-DD96-4E65-B777-F8BDF7AB2DB6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd58de96881b80cfcfd2748384f0c25c4988c6fb","datavalue":{"value":"Tarski fixed point","type":"string"},"datatype":"string"},"type":"statement","id":"Q6640358$57A7BBC6-20CD-4BCE-AA7A-C940E8005238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8745712302d28813999fe70c270cd7743c07054b","datavalue":{"value":"query complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6640358$B2B22B30-6E01-4E59-BF08-07BC1A542B17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"645f355bfce2b56ddcc0a50b9d76eb626f7374fb","datavalue":{"value":"TFNP","type":"string"},"datatype":"string"},"type":"statement","id":"Q6640358$B1375772-6A51-443A-B7AB-7887DF92AF6E","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":"Q6640358$A29930DE-FFE7-4002-AA89-65313C37C4AE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8627353b736bf7ab225652925faead9e54f0a306","datavalue":{"value":"10.4230/LIPICS.CCC.2023.21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6640358$1B66EF92-848D-4724-A5F6-B71F41DCE752","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reducing Tarski to unique Tarski (In the Black-Box model)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reducing_Tarski_to_unique_Tarski_(In_the_Black-Box_model)"}}}}}