{"entities":{"Q3138546":{"pageid":3149262,"ns":120,"title":"Item:Q3138546","lastrevid":45527719,"modified":"2025-12-10T04:53:21Z","type":"item","id":"Q3138546","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 431770"}},"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":"Q3138546$73A16E6F-0ECD-4908-A7BA-2C5914DDDA9F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ad1ecc0619923f1474bcc007cf178650c3c28d65","datavalue":{"value":"0792.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138546$C5716BD2-7EBE-408F-BAFC-C3ECE1E95150","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"642309ed1e8b9db5cfe1a35ad5fdc89ce74673bc","datavalue":{"value":{"entity-type":"item","numeric-id":1322478,"id":"Q1322478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3138546$EB84AEC5-6D81-4E28-BF32-9D8370AD5554","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be385604d3b66e8d862a65c447d5af8aba333f6e","datavalue":{"value":{"time":"+1993-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3138546$8E07B047-B8E2-43BF-BE8E-B02848E7AADA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138546$EB440BB1-4ADC-4993-8023-757FAC79F6BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138546$CD199387-56FB-421D-8444-E89724A1F1A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138546$05A0AD9B-2122-4CC8-95DA-5817FB1E93B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138546$6C580124-141D-4BBB-AEBD-C6D807A1AE36","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"82742d3e97bbdc5a23f990fc232d8ad7d5fe27e6","datavalue":{"value":"431770","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138546$7885A31C-2700-484A-A52C-5AD79FE49D2E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a70123e3939e6fbc904ae7f6a00f83c4e19e7ca","datavalue":{"value":"partial equivalence relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138546$D234F2B1-90DF-44CB-9B7A-19CAFF323A3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b019279e726bee5392f013309556f98609d073b8","datavalue":{"value":"synthetic domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138546$41F95DD8-D7FF-465C-ADB8-1088028E9D02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"751e37efbf8082f0fc895bdc4895d3880e1bb01f","datavalue":{"value":"fibration","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138546$35FF2D50-0771-462C-B45E-C954958427EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70bd3e67c450949bef9b0db2d66ff05add902069","datavalue":{"value":"model of a polymorphic \\(\\lambda\\)-calculus with subtypes and bounded quantification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138546$32B8B3E7-541C-44DB-A46B-57C4B6369F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d8d09b4ee38be845b3c82216342dc404078d081","datavalue":{"value":"PER models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138546$EE2877D4-4D9B-4519-AD42-71AB3A0F8DEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39b12e2f09d259e2449288f2215a4ab48fc9bf5d","datavalue":{"value":"category of modest sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138546$3F8A7289-7629-4E59-B47B-5E197861916F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e65baa80c66ffd926eb7c090c0cc443ecc29865b","datavalue":{"value":"realizability topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138546$60718067-F0FD-4667-83A0-C0F3524C2F3D","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":"Q3138546$01ADCC99-D4F1-4A6D-8192-D885B9B38BC0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c08a282029e99eb661b80ba827644c57a49e663f","datavalue":{"value":{"entity-type":"item","numeric-id":4222762,"id":"Q4222762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"627042f3ceedba550c97241a9fee7f6b4240421f","datavalue":{"value":{"amount":"+0.88581693","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":"Q3138546$09016CCB-F9CF-431E-A723-2203DCFF207D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08d80aecb9965c991797a06e55d9e7810fb7b443","datavalue":{"value":{"entity-type":"item","numeric-id":2328911,"id":"Q2328911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fb3a92873122e93822a6c724cf2d6c4b9671a59","datavalue":{"value":{"amount":"+0.8621908","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":"Q3138546$ACE37C44-93E0-4AE5-8B02-B2BD1221605B","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":"fdfcc0110c8aca8d3ed13b829a68319c33708cc1","datavalue":{"value":{"amount":"+0.8374226","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":"Q3138546$95B042AF-C952-4D9A-A10E-5FCC52442E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68f56fbe2fcfcf250872fb91dbff2bc7f0eff8c1","datavalue":{"value":{"entity-type":"item","numeric-id":4364505,"id":"Q4364505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba0f5ab820104b7be0fe84862d569912ccab8136","datavalue":{"value":{"amount":"+0.82485235","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":"Q3138546$5568781B-00A5-44B6-A86F-0CEEDC913EFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d94d96661338602ed9e404b8fd3733e879ed7f7","datavalue":{"value":{"entity-type":"item","numeric-id":4915451,"id":"Q4915451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2003cf3f335c5de4c23b90c746c08693edfb5470","datavalue":{"value":{"amount":"+0.8221132","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":"Q3138546$7AD7FF02-FDDC-4E4F-9317-C4759CCC830B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06e5c49e676c41aa5ec4011d82699145efeda181","datavalue":{"value":{"entity-type":"item","numeric-id":1392282,"id":"Q1392282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e24d392b7ffd0c52e12a66da6ba3f50536d05c49","datavalue":{"value":{"amount":"+0.8157505","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":"Q3138546$A7075E0A-A7F6-420C-925E-CC8056BD4B25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7301e9199198a673eef4ff7b34422b8fa97e3bbf","datavalue":{"value":{"entity-type":"item","numeric-id":2500487,"id":"Q2500487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eab3a2cb0dea9c8f1d70916f02868ab743e51dda","datavalue":{"value":{"amount":"+0.81565434","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":"Q3138546$3ED8F96D-9CEC-4638-9904-A03792F08941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5c23dd3d2a3f362ec07e503134639c04b89bd06","datavalue":{"value":{"entity-type":"item","numeric-id":5716788,"id":"Q5716788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac7da273e574c5a70ea38afe2ef7b7c3023fde30","datavalue":{"value":{"amount":"+0.81555676","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":"Q3138546$8666A618-02F7-4B32-BB73-40A1F8FB9922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"083990f7ee27b0059415afcf550190e33bb0297b","datavalue":{"value":{"entity-type":"item","numeric-id":2221495,"id":"Q2221495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48816acf249f80c9c3c97343ce1f3339def5c593","datavalue":{"value":{"amount":"+0.8148533","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":"Q3138546$FADE642C-B95F-4FEA-82DA-91EDD267B853","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3138546","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3138546"}}}}}