{"entities":{"Q4459274":{"pageid":6488873,"ns":120,"title":"Item:Q4459274","lastrevid":48263662,"modified":"2026-01-04T04:06:05Z","type":"item","id":"Q4459274","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2062377"}},"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":"Q4459274$8D45A543-455D-4F59-A3E8-75F562DBEA97","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c98ba014a6770f472e829522194c7b794eb47d26","datavalue":{"value":"1048.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4459274$E78A2DA4-9D5A-4B5C-9154-6ED85456069F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7dc4b4d1d9bd2bfa8f1a44630a2f2f4efe1a9148","datavalue":{"value":{"time":"+2004-03-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4459274$D14CABD3-40D3-489C-956F-5B5322353FB9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4459274$365CF58D-4E90-4F83-983C-CFC3E699E220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4459274$81D0E085-F4EA-4BE5-BA0D-B794BB462BF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4459274$0B4F0040-EA9B-4FFF-AB3B-504A8ECA987A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c3c24c1d09752d63410dd32c29555ae1e679ded4","datavalue":{"value":"2062377","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4459274$A26971AA-2D72-438F-821D-6D70D4E88661","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4459274$FE41FB3B-2F6D-4260-A8AB-48346EF06C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0249ca00f28096c78fee488245db9e1b4672653","datavalue":{"value":"intersection type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4459274$E533F35A-10D4-4061-A15E-4A4215DF7661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93b4bf5e501b0505a36e078d76c6824ea1df8109","datavalue":{"value":"Meyer-Routley minimal relevance logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4459274$F4634584-39AD-4254-BB7E-7C8C61EBD770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2aa903f514074dd85369c45cfddbf1af59e46abb","datavalue":{"value":"intuitionistic implicational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4459274$6AB4EA2B-ED87-4699-ADA2-D14AD9C33526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cde25d90c8148f0723132db8378f9ef6b06f2470","datavalue":{"value":"type assignment system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4459274$EEA7DA00-3A5D-4979-A837-8ECAC78A8B3B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d7a7742b54ec2d03c259f24892f02db2125d6a2","datavalue":{"value":{"entity-type":"item","numeric-id":591019,"id":"Q591019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4459274$CA018094-7B53-4FDE-8F92-44FC9CF2922B","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":"Q4459274$604BBF9A-4404-4165-90C9-CC87E7F8C568","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c47c40ebe9954b1b074b265bc98d08c5c1240089","datavalue":{"value":{"entity-type":"item","numeric-id":3510443,"id":"Q3510443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9702e537daa37471ad9569a76a5ffd5a004e19f9","datavalue":{"value":{"amount":"+0.8207824230194092","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":"Q4459274$1F104341-7E04-4CF9-BFAD-DA47E7813EC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b30c4f93427b71219cc6573041f6bbd7265d3225","datavalue":{"value":{"entity-type":"item","numeric-id":4783322,"id":"Q4783322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43eaaca4daef855749899a3b9dcc6c5b3b9474d5","datavalue":{"value":{"amount":"+0.7978889346122742","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":"Q4459274$C28A334B-4119-43AE-8622-7E9DA11277FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da26c9072eb17315f0057a9e3bcf23f969f6c517","datavalue":{"value":{"entity-type":"item","numeric-id":4779581,"id":"Q4779581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"540d5bbc97a2e8e774194bbd29193b55bb8fa384","datavalue":{"value":{"amount":"+0.7967854738235474","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":"Q4459274$898F3B63-C160-4DC2-9352-3452E9D52167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"372bf5f7d2f966d1f0f5fb0ca388974f67e9c157","datavalue":{"value":{"entity-type":"item","numeric-id":4291035,"id":"Q4291035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc8a1421e4d975f95142ce86d90672333c25c06b","datavalue":{"value":{"amount":"+0.7922066450119019","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":"Q4459274$47037726-735A-4169-8AF5-64E6B42337A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54146fd50ee299f350aa200ed88b00fedfcf3130","datavalue":{"value":{"entity-type":"item","numeric-id":1381437,"id":"Q1381437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2847ed4c8f9b81f835944294cfdd2d7b27b7e48d","datavalue":{"value":{"amount":"+0.7852029800415039","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":"Q4459274$6A6B1D6D-4B36-4090-9BFA-587051D87B93","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4459274","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4459274"}}}}}