{"entities":{"Q4501148":{"pageid":6530741,"ns":120,"title":"Item:Q4501148","lastrevid":47015109,"modified":"2025-12-26T01:28:40Z","type":"item","id":"Q4501148","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1499094"}},"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":"Q4501148$23509037-9633-44AE-B99B-AEAD1C5CBA4C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ca4530a1f0ce0a2cd0b9b2ab40920b63c9a3144a","datavalue":{"value":"0946.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4501148$BE204CA5-F54F-42F8-B582-5511757F7A96","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"deb27c7243c11db6d0e47245e118b5ce2029ef31","datavalue":{"value":{"entity-type":"item","numeric-id":671645,"id":"Q671645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4501148$A17DF4FC-C374-4EBC-A40C-2FA194F3B384","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6eacf4c507e5bfaa195367e34eb507d8ad8ab29b","datavalue":{"value":{"time":"+2000-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4501148$8A7D18B3-9E74-4E57-938F-346C34E301A3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4501148$C4EC2BF9-B76A-40A3-AA1C-B466CACEE490","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f3c50f3e627f8578efeded381dfcee68906a2619","datavalue":{"value":"1499094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4501148$9E6BB72D-7BF8-4FFF-8CF4-18C5E1C7D1A8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ce6fcd79616565c8e44ae94db4c0254d1d4fc17","datavalue":{"value":"minimal interpretation of type constructor","type":"string"},"datatype":"string"},"type":"statement","id":"Q4501148$EDFD08E5-1A1A-47D8-9F2B-1AD487705241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f4313801887989e139c20d3a11b991969aaf6d7","datavalue":{"value":"powerset models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4501148$B4225F2A-8CE5-469C-8AB6-83D2C7CB1BA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f292b60bf124ef3c4ae8c5875dcb430e47a93b17","datavalue":{"value":"non-extensional typed lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4501148$721A0927-38A9-40AD-AEFA-85F057E16A77","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":"Q4501148$9E62B17E-44BD-47F2-A9CD-61621D20D469","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a3f1a665daba81af9bc64414a8df861e8b997a6","datavalue":{"value":{"entity-type":"item","numeric-id":671646,"id":"Q671646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c32c3e68aca12964335a41cb0fe9ea4757b25ee","datavalue":{"value":{"amount":"+0.917689561843872","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":"Q4501148$C1A2D8DE-FA99-4FBD-936A-FF5CBD57D9CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"443a00175662a9ace6e9914191341a7f2b09cfb0","datavalue":{"value":{"entity-type":"item","numeric-id":3787977,"id":"Q3787977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4439675990e08b0d0579f350573dbe0726614069","datavalue":{"value":{"amount":"+0.786445140838623","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":"Q4501148$D2289B89-87E6-4E6A-911C-E007343DAFE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c561b53db804a457c959caf979b5f4184a83145","datavalue":{"value":{"entity-type":"item","numeric-id":3827990,"id":"Q3827990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5520d743e0fc060b0872024c5fab40b04c27d3cb","datavalue":{"value":{"amount":"+0.7820739150047302","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":"Q4501148$B9890C20-678E-4605-8D66-9F6E53EFDDE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4276c47496adab515b99c82f7e9e8dd90c676d7","datavalue":{"value":{"entity-type":"item","numeric-id":4279260,"id":"Q4279260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26530d8d52d1bb23e04aa35c2d57868255057fe6","datavalue":{"value":{"amount":"+0.7714270353317261","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":"Q4501148$FCA021EA-87BA-43A3-9C0D-0B05FE92FF43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e81a7174a1ef4613d63d76e76175dfccb179833","datavalue":{"value":{"entity-type":"item","numeric-id":4991956,"id":"Q4991956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02b38cef4bd1f51aafa10fe2c33d5d2c7534ee7e","datavalue":{"value":{"amount":"+0.7704492807388306","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":"Q4501148$48F8399E-76BB-4437-BE51-54A8697566EF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4501148","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4501148"}}}}}