{"entities":{"Q3204459":{"pageid":3215167,"ns":120,"title":"Item:Q3204459","lastrevid":49450450,"modified":"2026-01-07T04:32:59Z","type":"item","id":"Q3204459","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4181330"}},"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":"Q3204459$E4AF9D92-077A-48EB-8383-84FB9D061BC8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"81d98751d2b47db81a213c99ffb9e906fdf12d01","datavalue":{"value":"0717.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3204459$464F1843-956D-4E06-90DC-09E52DC1DE9C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e5afc85545e99d122f94223f695bdc5c3348c43","datavalue":{"value":{"entity-type":"item","numeric-id":280199,"id":"Q280199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3204459$A58FE023-4AD5-454E-94FA-EA7ECD9F0FFC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q3204459$A18BBCFF-F127-4411-97A9-93AE20C5C3F4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3204459$FC5FAF78-CC9F-4B4B-BE68-E2AA53CECF57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"479a672951288aabf3a4041e0fb71e1dda5dffff","datavalue":{"value":"18A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3204459$48EB81B5-72E7-454B-8222-B5DAC775D365","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6baa0fc6c67f58425ed6264e56863c83ff222434","datavalue":{"value":"4181330","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3204459$52EA20E3-A9C0-43F9-A3FE-D38EAD28F45C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be5674a6d052c8528d5810ca7eaa57c47800ab7a","datavalue":{"value":"category of partial equivalence relations on the natural numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3204459$0B0E6124-D079-42FB-9DC7-BF2D83050FA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1321523c3019ca24ee21f9d5023f72ff57793f3f","datavalue":{"value":"PER","type":"string"},"datatype":"string"},"type":"statement","id":"Q3204459$3D76228C-A9A8-4581-89E6-91176936D839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0bf47e30f145de43703e723c78a91703177f656","datavalue":{"value":"higher-order type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3204459$04D6A9CD-C36A-49C0-8DB0-921107C3CBF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3204459$1600B31C-9D27-43BA-B9C6-8204256E3B3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adc2f4a3968641bb03e94f3efb2b75571a9dc5db","datavalue":{"value":"complete categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3204459$20C3190E-4AEA-4186-9416-A39469BEC661","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":"Q3204459$2B28531E-8A8B-4AEC-B65B-BE12E32C49BE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65aa368606b3f4c888c2ffed99a7bdd60926cc4b","datavalue":{"value":{"entity-type":"item","numeric-id":2753670,"id":"Q2753670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65fccba0fff081765b20d404ef26859e7a2304ea","datavalue":{"value":{"amount":"+0.7958961129188538","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":"Q3204459$AA7907D9-8217-4C8B-A953-310F96FF6A5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"141c85b5be54175d7d08a6b36596533bbb91c644","datavalue":{"value":{"entity-type":"item","numeric-id":1193589,"id":"Q1193589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1987227b7aef7d6f58cbbec35cf4f0097250a28b","datavalue":{"value":{"amount":"+0.7852013111114502","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":"Q3204459$967C8156-1AF2-4C4D-A6EC-51018B2C020F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01ff76c40a3f803221116fb0d38c624601ee0810","datavalue":{"value":{"entity-type":"item","numeric-id":1434360,"id":"Q1434360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12d119a9f1a0c924c4d1e47cfcac32f765832ede","datavalue":{"value":{"amount":"+0.7779309749603271","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":"Q3204459$15C1EA6E-BBE5-4F3B-A1E7-1FD980F1DC0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ab4776533fcc0b85eae706aa1efa7a4435e9503","datavalue":{"value":{"entity-type":"item","numeric-id":4279258,"id":"Q4279258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"116cb09f45ba722653e22f223d52bc3cc4ff4f20","datavalue":{"value":{"amount":"+0.7452214956283569","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":"Q3204459$FF9538DE-56E5-401E-8B7B-0D7F8FF1D55D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abfffaa7410b27ebd55fec220403fb97bd42e92c","datavalue":{"value":{"entity-type":"item","numeric-id":3827997,"id":"Q3827997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26bb9cf15fad065026db96071a375b861dedad32","datavalue":{"value":{"amount":"+0.7439566254615784","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":"Q3204459$EB88801F-F16E-41AA-8A8F-599130954C84","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3204459","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3204459"}}}}}