{"entities":{"Q4219051":{"pageid":6248652,"ns":120,"title":"Item:Q4219051","lastrevid":46700511,"modified":"2025-12-25T10:31:26Z","type":"item","id":"Q4219051","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1223735"}},"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":"Q4219051$245092D5-282B-42A2-A946-22DCBABBFF79","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"09a750e3957892ec3557f8c9ccaf13ce30e7958e","datavalue":{"value":"0949.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4219051$7C068F69-237A-424B-94BD-6DDB955C7ED1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b927429827013666616d8874f179818e1bf5b042","datavalue":{"value":{"entity-type":"item","numeric-id":724934,"id":"Q724934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4219051$590A29FE-82FA-4F98-B29F-5DB09EBB917E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32cdf4687a95a8014d553380bd325d3fdf98389c","datavalue":{"value":{"entity-type":"item","numeric-id":194959,"id":"Q194959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4219051$24A2680B-DBC4-47F2-8342-721D1D262CD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"737ab82ccfec8813eb7c5978dce0ad4af9a0b6d5","datavalue":{"value":{"entity-type":"item","numeric-id":1591339,"id":"Q1591339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4219051$4179B2B4-FE88-43F0-8E49-5FE450BBDC71","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f0ea40d34610c9ef1ad3dfa8f2b5e999f8568c6","datavalue":{"value":{"time":"+1998-11-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4219051$D0206444-FF05-4170-9C40-4C416D465116","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4219051$F4273447-2460-44F1-9175-E74C780FD883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4219051$B12CC4DC-A376-44E1-9850-491FEDF68C35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4219051$95440774-F9BD-4055-AA00-BCF04263E5F8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4d491e0d59ced11920fca8905bc2a19c0fd94830","datavalue":{"value":"1223735","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4219051$EDED4FB6-8F89-4ECA-B8C2-5032DBF5DA6B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4219051$C0D7AADE-21F1-44E5-878D-4E642DFB0346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"466c42c02ddf75f7f67e6990514dda7f81e85cd7","datavalue":{"value":"explicit substitutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4219051$84A89082-D4C7-4056-A1D5-B3A64B896E2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c48bd870568d4c9b25b0d29ca3aea8ca104de028","datavalue":{"value":"S4 modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4219051$46221201-9237-41FC-A822-72ED94B584A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f73a841aeaaa732efdf2349cc491bc63eb4c6936","datavalue":{"value":"constructive necessity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4219051$C6991B8B-4B18-4E39-8688-BBAD5A5FC2FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6247cbbd94b3358f8a29ab9c831f523d2fd868f0","datavalue":{"value":"syntactic properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q4219051$838A8A4F-E131-480F-A0B5-2F36E947B5D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80418e257b82effb8db52272a7e55f23daefc71a","datavalue":{"value":"binding analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4219051$5B4B58C2-B4F1-489B-AD1A-4C64A72EC5E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc31ada3e3f12a74e618e5c1565ffae33b3f6f70","datavalue":{"value":"partial evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4219051$7EDEC6A3-9108-4F56-A44A-5CA5BF471994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df7cb56af6a4510b04c0fcf22739788ec0ee1abb","datavalue":{"value":"execution of programs in stages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4219051$A3CDD969-39DF-49FC-90BD-391401710CBC","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":"Q4219051$225F65BF-647B-4F26-8437-F90DE4857D2F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1381ba5e65d72f963524301b06e5959f3d3eac3c","datavalue":{"value":{"entity-type":"item","numeric-id":3395095,"id":"Q3395095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef7f6bca0b95ca7dc6c4323aadc36c57924981ef","datavalue":{"value":{"amount":"+0.799902617931366","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":"Q4219051$1657FFA0-FF5F-4DC0-86D4-E22FA3E5DAB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb23e5f10a2a9a9b3345b7ab134967cf0804ca12","datavalue":{"value":{"entity-type":"item","numeric-id":4501671,"id":"Q4501671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3abe427d537266214a28092cb7ce6f84f4b537fa","datavalue":{"value":{"amount":"+0.7949262857437134","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":"Q4219051$8F71BB57-9533-4427-B0EE-B95620E66FAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"268a7a1389d90c8337ebeaae3326824bf72a6d3e","datavalue":{"value":{"entity-type":"item","numeric-id":4364376,"id":"Q4364376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07842be00368aaf15db52e08bce7a6ccdd1163f5","datavalue":{"value":{"amount":"+0.7945677042007446","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":"Q4219051$74E03A75-E878-4882-AFF3-EEE79241E623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2511f0caf416e074fde5c9cd622c027b44e53606","datavalue":{"value":{"entity-type":"item","numeric-id":4222777,"id":"Q4222777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87a495c1b7b48f9cbe696d8a50eea162f1248f92","datavalue":{"value":{"amount":"+0.7903456091880798","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":"Q4219051$05CD3058-5825-4AB8-B5F6-3D93D83197B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4219051","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4219051"}}}}}