{"entities":{"Q4137162":{"pageid":6166762,"ns":120,"title":"Item:Q4137162","lastrevid":39409616,"modified":"2024-12-29T05:52:33Z","type":"item","id":"Q4137162","labels":{"en":{"language":"en","value":"Functorial uniform reducibility"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3564966"}},"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":"Q4137162$061EE0A2-2763-4AD0-8D9B-81C16D02C61B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"951f83be147abdab977bf2a552678cb4825f27c7","datavalue":{"value":{"text":"Functorial uniform reducibility","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4137162$E7660422-AB33-4AA8-9F35-789054DB83C2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7b5a3ef357a0ddab20daf2046a5eecafe66181eb","datavalue":{"value":"0363.02058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4137162$755ECD71-AE12-451D-B630-24BDF696C7BE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"15b85060f261bcdcca7ccb0feac14e776681f7d6","datavalue":{"value":{"entity-type":"item","numeric-id":190274,"id":"Q190274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4137162$38D464C2-F413-401F-852E-89390EF1153C","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":"Q4137162$EBFA98DE-B845-41EB-8129-261561223C58","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4137162$FE6F5B37-FF08-4570-B341-CC2CB9D9D45C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f0e6da1d3ba457b666875af236ab924bed2c0629","datavalue":{"value":"https://eudml.org/doc/211148","type":"string"},"datatype":"url"},"type":"statement","id":"Q4137162$E3BB9DA9-DA66-495F-BD6A-4CB7682AAAC6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa69c13f73ae57309db5e91fd7e4d5aaf111f98e","datavalue":{"value":"03C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4137162$7361A577-22D3-494E-8D70-0E670C800CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4137162$C407A052-71F4-4701-AED5-F92F24F9D5BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb2fc5c8257a7b98fa92dc176d9ed2acc92fad3b","datavalue":{"value":"08B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4137162$EFEC7F61-166F-4F81-B515-C4387BE00A2E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f7a9d6ccbd7499bd40cb968b35c075aebfbf32c0","datavalue":{"value":"3564966","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4137162$29BA8AB5-9222-49FE-A69D-F50F85126E11","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d372d1bb8445dd1f2e3e47340d48ba1268f90fb","datavalue":{"value":"functorial uniform reducibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q4137162$19CCB27D-8C0D-4D26-9BDC-FE89524DC3B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83535cff83cc4c2cd788864299cd94613485a199","datavalue":{"value":"infinitary Horn model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4137162$6BBB65F1-ED74-4B66-A7AF-9FDDEFAEF023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb131991ac61df937a24e35f9a843efb72ca0ee2","datavalue":{"value":"Horn theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4137162$2F710B09-9AE6-43E9-A099-7CF0540C836F","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":"Q4137162$278C15A6-9D73-4241-A891-E9F171543469","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3c5d5d1c076b812ebd5f30f45149ce9fdd45afe0","datavalue":{"value":"W955339032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4137162$6C4955C5-81C9-4BD4-9804-4AC67DD7D726","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d07ce7caeefaca63c4188b8878170054998de257","datavalue":{"value":"10.4064/FM-108-2-77-81","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4137162$D975DC65-6B1F-4FE3-9920-BD454D2469F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4137162","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4137162"}}}}}