{"entities":{"Q3024902":{"pageid":3035618,"ns":120,"title":"Item:Q3024902","lastrevid":48509854,"modified":"2026-01-05T01:33:32Z","type":"item","id":"Q3024902","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2185710"}},"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":"Q3024902$B1105E01-8AC6-47A5-A886-3A1A08ABE4ED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6acd710c53fa4ed1b70357cabb465528852a6b3b","datavalue":{"value":"1063.68598","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3024902$BE47E539-F9C5-4CA7-A16A-925E7A8F89DE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1fd265ad2cd77bb56c0b60cc46c3c7530dfa4e0","datavalue":{"value":{"entity-type":"item","numeric-id":195005,"id":"Q195005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3024902$B3F3CEAF-581B-46AF-AE91-30590D86D8F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c90d1f2360f7f585c929be7f10869403b5189739","datavalue":{"value":{"time":"+2005-07-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3024902$2378CB52-E242-4F22-AFA1-F4CC3F61E666","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3024902$988E3912-571B-4EFB-BB24-AC6C03E2A647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3024902$00B7FDE3-D3B5-42BA-8437-38D649FC6B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3024902$A7E86267-1853-4462-8444-36F197FF8A60","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c79594b40477ed60c8ee0e68ae121d9bab5177e9","datavalue":{"value":"2185710","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3024902$A47761C8-ED30-4CFD-8DB9-5FF91885C7CA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47e23d02d23dc9aab5ad319bb8a7dedde4cdae9e","datavalue":{"value":"simply typed \\(\\lambda\\)-calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q3024902$F4420F70-FD1D-49D1-912B-BCC2CE3A1DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02e2bd1176be2ca24a8b368e42bc8812510b3ef7","datavalue":{"value":"logical relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3024902$33E2E49D-7879-471B-A9C0-F728648C085B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83e1cbf958ca5cdd955db7e283b8f28e42dec1f6","datavalue":{"value":"PCF","type":"string"},"datatype":"string"},"type":"statement","id":"Q3024902$3B326848-5D2C-48F4-AA6B-A7D9D11F2D37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf6595c647ce809b3acdf905deabf3acd4e561fd","datavalue":{"value":"Scott-continuous model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3024902$453277D6-E897-4A85-8012-36961A44FF57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5f330fb0a96988399b2cad6e13eaac2b7823f0d","datavalue":{"value":"stable model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3024902$127F1963-76DC-4F58-9ABF-32A1ADD4B78B","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":"Q3024902$5404672D-3122-45F6-A718-D23FB4FE2103","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68c602725ba6229f45aca283a4fa1f808e1d769d","datavalue":{"value":{"entity-type":"item","numeric-id":4235429,"id":"Q4235429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ea2a49438d6bbbde3b9027e91caa69672c23d06","datavalue":{"value":{"amount":"+0.9286596179008484","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":"Q3024902$89658619-AAFB-41E3-8379-0B1AABD6940A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6ed608e116e5e817ab326745539b87b08cf8a7d","datavalue":{"value":{"entity-type":"item","numeric-id":3724297,"id":"Q3724297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e36e8ef068a0aeb6f3c1be47a2a360aefbbc8c9b","datavalue":{"value":{"amount":"+0.7177821397781372","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":"Q3024902$1AEF7B7F-3EDD-49A9-BEBA-E7DF2947891D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e50fe0403c890524c14042cdf25f10f16b81aed3","datavalue":{"value":{"entity-type":"item","numeric-id":5096213,"id":"Q5096213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"226ed8eef5e3092c0db059e36ef4e61ce06b1769","datavalue":{"value":{"amount":"+0.7127996683120728","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":"Q3024902$4007227C-25E4-4DC0-88AB-A99794E2FCE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f87dd34a8eb14d673e58a4bd4aa2e852b6c180c","datavalue":{"value":{"entity-type":"item","numeric-id":1322479,"id":"Q1322479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"640c524a2fe2dcce56b04d1adaaa7842a502bce4","datavalue":{"value":{"amount":"+0.7117007970809937","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":"Q3024902$2231595E-C217-4ED4-8230-FEBAB69B412D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f1d63d350f8cd41664dadc76367c176d12e3b12","datavalue":{"value":{"entity-type":"item","numeric-id":1095880,"id":"Q1095880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d8cb26d868d732a086e0b9cf97560d637210b9c","datavalue":{"value":{"amount":"+0.711488664150238","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":"Q3024902$DCEC710C-7B7F-403F-9782-348A6C0E4C82","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3024902","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3024902"}}}}}