{"entities":{"Q4254638":{"pageid":6284239,"ns":120,"title":"Item:Q4254638","lastrevid":46839447,"modified":"2025-12-25T17:02:43Z","type":"item","id":"Q4254638","labels":{"en":{"language":"en","value":"Uniform inseparability in explicit mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1310711"}},"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":"Q4254638$7EAA4778-6199-4A95-9F2B-D884CA71D851","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"13473abd6108e205c35bdc400e02e0b1d1798004","datavalue":{"value":{"text":"Uniform inseparability in explicit mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4254638$90B20A07-FCC4-4488-B841-A32A44AB2705","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"88aab4a28a4b2955e8ea09cbd6691f960b762de7","datavalue":{"value":"0926.03075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254638$A72DAA26-59EC-4BA6-B2F9-A74229DFEA06","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0f72bbeb0f2dd7c768a0116331abe026d979e3c0","datavalue":{"value":"10.2307/2586767","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254638$4F83FEC5-5D46-4BCD-BAA2-E2717DE90671","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"56da7d158017ef8b0b4d01b2f110c77e1c03452f","datavalue":{"value":{"entity-type":"item","numeric-id":588330,"id":"Q588330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254638$29021963-CAB3-4B6C-AB4D-949D9B4ECDB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1618888cebf23d68c72b9159427d6441352a3ca5","datavalue":{"value":{"entity-type":"item","numeric-id":377467,"id":"Q377467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254638$0D39610E-4241-4A19-A40A-B82E6893C22F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254638$F3D6E018-8270-464E-9D9B-C90C4A566BDA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d679ffa12d291dfeaaaf1f4f4b804cde64d95bfe","datavalue":{"value":{"time":"+1999-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4254638$812D1B86-19B7-4C81-8551-B344DC56BFC6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254638$39C56369-8936-4DA2-B976-D135AF3E1487","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"580d506b29e704f99a978111a8529729fda6340a","datavalue":{"value":"1310711","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254638$1C3566EA-913B-4212-B96C-C7EA296379A8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50ef7d9e7fc9882bbae1db0036cc5d28c9b16662","datavalue":{"value":"explicit mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254638$2EBBA72C-C9E3-422C-8D84-82C4CA0CDF51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2c54b3ef6c5fd2b1356ad1b84051f2b7f20b5b3","datavalue":{"value":"J\u00e4ger's language of types and names","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254638$9EE41041-AAC3-47EC-8783-7D3E93463012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b247f0df3b47fb628db3d2a109934b270d112be0","datavalue":{"value":"generalized inseparability lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254638$A002BCEE-BB29-41B5-B96D-0D0DD5369DFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afa4a67db415575d6f21fdb98fea8a7271a44a99","datavalue":{"value":"Rice's theorem for types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254638$04963C7C-66E0-4F87-858B-373378F8E1B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d20c0ea1ab27290260644bae11327156fe4ebc1","datavalue":{"value":"strong power type axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254638$0B16FC02-6E65-4B04-8919-92C47F6B1B51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79adadbd586b7d032832c22a516194986edcd46a","datavalue":{"value":"weak uniform comprehension","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254638$133FAC5C-209F-4CAB-890B-6B163B898D6E","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":"Q4254638$65B6E176-F5EF-4E04-826A-D2AB44A4323B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a3a59711f7d24aa656b452e6b7d1673fbb6feb2b","datavalue":{"value":"https://doi.org/10.2307/2586767","type":"string"},"datatype":"url"},"type":"statement","id":"Q4254638$BEA4D447-9CC1-45F8-A7E4-F9EEE5DC06FE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"66a7e3d4591a716ff21479d9fa5ce9bf3d948515","datavalue":{"value":"W2094430851","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254638$BA7A8F96-657D-427A-97A3-6C7DC4DB09D3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"da8188cac500c35030cde4e495d48523396ccd67","datavalue":{"value":{"entity-type":"item","numeric-id":4463926,"id":"Q4463926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254638$9CF3ACFC-5D6C-4AA0-A8C0-7DD63A1A804A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254638$46DA44F4-B847-4FD4-87DC-389AF74027B6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"327655a5aa38e3ccc026f3c67e1a635ed480dd25","datavalue":{"value":{"entity-type":"item","numeric-id":4382463,"id":"Q4382463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1ebe764e2d9a3710e5fb84421f4b884bc20ddd0","datavalue":{"value":{"amount":"+0.8040609359741211","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":"Q4254638$73D8D4A7-176E-45B1-98D4-958C9C43F7FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7d62bad77c1bcd45d6f92598828dbd7de73153c","datavalue":{"value":{"entity-type":"item","numeric-id":1899146,"id":"Q1899146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7047a2ac23b497db79f9341d1653a0644edf017","datavalue":{"value":{"amount":"+0.7693890929222107","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":"Q4254638$98C06A4A-0CAB-44F7-80A5-A388EACD4107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65f5c8c1fe1ebdc7610b001bcc2e796829a70067","datavalue":{"value":{"entity-type":"item","numeric-id":4894722,"id":"Q4894722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b71527dae5ebfad18121a340d103cf5a3fcbea89","datavalue":{"value":{"amount":"+0.7587294578552246","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":"Q4254638$3AEC9B6C-EA6B-45AD-90D0-7A42EBBB7550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91ba9e1c5707cf410022f46b44512743ef44f288","datavalue":{"value":{"entity-type":"item","numeric-id":5939842,"id":"Q5939842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbf469df224ed788d78ee4a16a22bd72e5e46491","datavalue":{"value":{"amount":"+0.7398013472557068","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":"Q4254638$8DE36E4D-3C77-425E-AB6F-43AA92F283D5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4254638","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4254638"}}}}}