{"entities":{"Q3852174":{"pageid":5882079,"ns":120,"title":"Item:Q3852174","lastrevid":54526661,"modified":"2026-01-27T23:33:56Z","type":"item","id":"Q3852174","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3652328"}},"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":"Q3852174$E6AC49FF-3ED8-4C17-9D9F-0A786DD5786D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2e820a1d0bbe5d4305d2efab154558c17e6647a5","datavalue":{"value":"0419.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3852174$F6B04762-F8AF-47B1-B91A-5D61276E5E3D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d238d385a13737cebf8fc4ef144ae30009cd48a","datavalue":{"value":{"entity-type":"item","numeric-id":595686,"id":"Q595686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3852174$6C1DB57E-452B-413B-A70B-5920DD07DA44","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23512e79b17ec0dbe00d89a570006ab4e1ecd403","datavalue":{"value":{"time":"+1978-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":"Q3852174$960ABF42-1B8C-4EA2-8EB6-C213075545BB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3852174$A5A09C48-6EE8-4985-958E-3CAFB738E5B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ade5de9b5f8ac4fa93618c0e9b5cef64dcc691b7","datavalue":{"value":"03E65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3852174$8DA55416-53E2-467D-B36F-ACDCB1817603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3852174$193DD8A1-FAE6-4104-BB44-86A315880D13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3852174$03065520-9795-484D-8066-15875648581B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7e09349d7592127fcbe59e054eb8292df1e02225","datavalue":{"value":"3652328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3852174$D45E9498-59BC-4C76-ACD4-8AA9C9E24413","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3852174$6D889166-59E6-42C5-982E-5A9DE90F399F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e83db792545a3218e3147830a29873ae6f87ee54","datavalue":{"value":"axiom of foundation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3852174$D1FDCB82-E094-4F4F-99FC-F3863AAF5BF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b41286974740e65904b906af1c02d0c94a429ac1","datavalue":{"value":"Zermelo-Fraenkel set theory with the axiom of choice but without the axiom of regularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3852174$2A8CA96B-9DAD-4458-AE90-89EC8BA0B58A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2efd6ca2e632b6ca823bc98fefd73c07a1f518da","datavalue":{"value":"transitive closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3852174$8645DB53-BBEB-456F-81EF-6EE595F6AB1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1441c51553607bf2af8fb74bb6bf04fd11dd386c","datavalue":{"value":"extensional relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3852174$43B022D9-D9B2-47A4-BF9D-0FA05509B375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7709a3ec77c876c282efe3584bf507e7994f864","datavalue":{"value":"extensionality axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q3852174$84837B54-40B8-45EF-AA96-E286738278F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"248f27c5f4a3c38822678187a03c9884fe98f65e","datavalue":{"value":"universality axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q3852174$73BC0FAE-5FB8-4CFA-B28F-AD1DC837E3A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3769947bd28d8f05993e77b11cfd79cf50bb45d","datavalue":{"value":"combinatory logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3852174$6BDC4381-EB30-4A0E-901B-DDC2866156D9","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":"Q3852174$B6D3B468-3961-45FB-B74F-E7FC053026BA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3852174","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3852174"}}}}}