{"entities":{"Q4247299":{"pageid":6276900,"ns":120,"title":"Item:Q4247299","lastrevid":40903114,"modified":"2025-04-13T23:22:45Z","type":"item","id":"Q4247299","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1302055"}},"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":"Q4247299$623CC6EE-78C4-4F55-B428-1D4F5182B1E3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"05e013e158939d1f2a767df0fe8fec9e05682a1f","datavalue":{"value":"0930.03088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247299$6D89FBE4-3C3E-471A-B9DF-8598D1D7CFBF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"15a57b693560fd34c9f1a1c205f9ff110b249458","datavalue":{"value":{"entity-type":"item","numeric-id":1671158,"id":"Q1671158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4247299$6654D243-6C4F-410E-AF2E-5D1BE619AD28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"746409b166da6b3324f8a076651b3e33b41a949f","datavalue":{"value":{"entity-type":"item","numeric-id":530862,"id":"Q530862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4247299$78973B3C-E54E-45C0-9567-596A75281798","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fdac7f8667945c3fb34e527fc5abbf5817818c79","datavalue":{"value":{"time":"+1999-06-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4247299$E2E8133C-7047-46F1-B4CB-C59533284EDF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247299$BFDEDF48-F523-495C-8004-C9DABFC290F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247299$1E1E83FE-AABE-42A9-BC7C-A5B6B0AD261F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d19896d8c9cfa37b27e3b5cf0d2522ac82ccadbd","datavalue":{"value":"1302055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247299$7F54D698-F799-40C5-A84F-51D2BEBEF41C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6c658f92cfca10399e0b9df9aa408c3bc22cae6","datavalue":{"value":"constructive type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247299$70788D0F-1447-49A1-BB66-40A494AC7A21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c5c87fcd639a8f5d38124c5c135c89f5eadb015","datavalue":{"value":"setoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247299$231A8856-C7AB-4F5E-A5E1-E2FC01778530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"543b5b6936751d447dfb75294948e5dafde0cec3","datavalue":{"value":"subtyping","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247299$7C43549A-20BF-4039-80D4-AC5A77DBAB36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1271df6a7ca4f1f268d1b72035697f6da708e0d2","datavalue":{"value":"Martin-L\u00f6f's set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247299$245A7ED6-0CB9-4A74-9223-DF0F16B760D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c076cbba3879ea62b1e41c3c4255e50a11f22bc5","datavalue":{"value":"algebraic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247299$8EA856AB-496B-4D41-8DA1-1C17FB3A3BEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e1daee68cedeeadccdf496f924561e3065e4444","datavalue":{"value":"abstract data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247299$B6E3F5D8-15CA-4912-A37E-DE83816A8DC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d3c5fdcd953ab003a41d858f2136b9c66d76e55","datavalue":{"value":"type formation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247299$B0E08DE8-6203-4E09-BCBD-C014FA881D67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"132b380bebb982c321ed5afa097e48f91640a772","datavalue":{"value":"dependent record types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247299$23EEE4F7-6AEA-4428-8095-D9DA9AA5AC3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fddc11547a886923b5fbb41974a7773081635717","datavalue":{"value":"record type inclusion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247299$FF76FCA9-9A9A-4398-9406-B08949DEF01C","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":"Q4247299$D8F83531-C3D6-43DF-B46A-7B5302169E71","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3c710f6f2aed8bceb772ddc597c88c6b329e6ca","datavalue":{"value":{"entity-type":"item","numeric-id":4855343,"id":"Q4855343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8debb0180bfdf467e206d467b4a9473fb3990bf0","datavalue":{"value":{"amount":"+0.92138565","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4247299$1FF9BA2A-2F69-4186-8C38-092F480B23D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f74c98b5a48e2ad52f2ae1ef2655d9c93c15c5d6","datavalue":{"value":{"entity-type":"item","numeric-id":3322097,"id":"Q3322097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04c96fc3be3d0c426fce02f2c6b574ac1ae1c216","datavalue":{"value":{"amount":"+0.8900149","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4247299$82C698FD-F5A9-4826-8B5F-9BCA0400FEAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e0bd52600c1ddb05f8df33fcdbd1c10177b9b09","datavalue":{"value":{"entity-type":"item","numeric-id":699688,"id":"Q699688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb50e2aca21f3987131d8d1474ec4356f4893cb8","datavalue":{"value":{"amount":"+0.88990766","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4247299$00D97A01-F1C2-436B-9879-FB8963812456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"077f6fe0b608a1e76755e2fed84c16ca5b0a0d88","datavalue":{"value":{"entity-type":"item","numeric-id":3840769,"id":"Q3840769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9a9ae2de11dbafcfc6a4636b52cd17e974864c7","datavalue":{"value":{"amount":"+0.88910294","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4247299$03FE6B90-A150-499B-A519-0BAA39578DC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dd65fcef8ce46de883ad301133fdc78493610b7","datavalue":{"value":{"entity-type":"item","numeric-id":6176573,"id":"Q6176573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1eaa4d3790a1a10d208708f31200d3aa223ed6af","datavalue":{"value":{"amount":"+0.880754","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4247299$7DEDD156-F8AE-4322-96BF-28C644D6B039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"216c10823f945c5500445c1b46f8f1332dc39cb5","datavalue":{"value":{"entity-type":"item","numeric-id":4263883,"id":"Q4263883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6c2a3fc75fe2393bdddbb804b4f5300c5b7b759","datavalue":{"value":{"amount":"+0.877828","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4247299$422B128D-5D46-4E2E-9E1E-06977691A095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"751cf0dec4b636680ca47b8e354d59854960ee3d","datavalue":{"value":{"entity-type":"item","numeric-id":688734,"id":"Q688734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12f430ee8521a7463e3653c091aa726eebe98387","datavalue":{"value":{"amount":"+0.87707347","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4247299$632EBA39-6468-41E1-BC26-6BDEC859671A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6606d81851a96e083ccf35fd04b37d925d4e60d","datavalue":{"value":{"entity-type":"item","numeric-id":5249247,"id":"Q5249247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cfaf843d0adde3f832aa98de0c51c3a5234b16d","datavalue":{"value":{"amount":"+0.8759173","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4247299$B8007164-B6AE-403B-99C1-1E5A04B1381E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e23ce1b74ce90f8266b0685417baeadd29ef9ed","datavalue":{"value":{"entity-type":"item","numeric-id":5168936,"id":"Q5168936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f237611b62c146bd1aff87045efac3f25671e872","datavalue":{"value":{"amount":"+0.8758844","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4247299$B703B0AD-5594-455D-9C80-E8C45084C311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a288f2fc28ec2baab271cdb8106dc6e506c062b0","datavalue":{"value":{"entity-type":"item","numeric-id":4632162,"id":"Q4632162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bbca81112f21ca21004936c7cf4dc3ec33847f6","datavalue":{"value":{"amount":"+0.8734083","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4247299$C47850F6-8974-464C-9484-335547E13720","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4247299","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4247299"}}}}}