{"entities":{"Q3776599":{"pageid":5806505,"ns":120,"title":"Item:Q3776599","lastrevid":52237538,"modified":"2026-01-21T05:38:48Z","type":"item","id":"Q3776599","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4037166"}},"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":"Q3776599$7911E7CB-BC34-4B1C-B1BA-E8B106A3F3C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fe2a86d4249de73770a10d4e9ee075cbff9c463d","datavalue":{"value":"0636.68013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3776599$9EA174B6-B07C-4D9D-8C8A-ED05954F3947","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c96909c147dc4479fb6f3a0c0d6cbd8595ac9157","datavalue":{"value":{"entity-type":"item","numeric-id":1731391,"id":"Q1731391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3776599$5E10FD89-9475-4976-928B-610631FA81BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d03039664f86d7517c30a64acbdad4c2f746ab89","datavalue":{"value":{"entity-type":"item","numeric-id":431715,"id":"Q431715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3776599$356C8917-0A13-43E3-AFDF-FABFAB1A62B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4bfee629fa3f6313e36a8128edc940eba1a6d8bf","datavalue":{"value":{"entity-type":"item","numeric-id":1407592,"id":"Q1407592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3776599$5BC96BCD-52E8-4BC6-A4B1-DC3997655EEF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3776599$B6014F85-B2CD-4B0F-812D-7EC1F338AA3C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3776599$63E9A1F4-E4A5-42DA-B3D2-4B2E12DE2E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3776599$8E6A846E-359E-4FF5-A90F-1CB611A41C36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3776599$077B8B05-FA56-44BC-8A83-93FB6B1E393A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"59dd3caf46c5285f2ae7d4b0a4f8d72bda116c6b","datavalue":{"value":"4037166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3776599$97932FD6-5A73-4542-8ECA-6750285DF037","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bea455436aa698911c3a9a8b038aacaea9669cb8","datavalue":{"value":"semantic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3776599$C24060AD-2089-4864-8A84-67091826310F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44e82022de10bea7bb77ebb82241bce3fe5c96c6","datavalue":{"value":"\\(\\Sigma \\)-formulae","type":"string"},"datatype":"string"},"type":"statement","id":"Q3776599$3277C7B1-6199-44A5-AB93-26E67035C329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3196ba7e2c2823c6554464500b7e0ff1221178e","datavalue":{"value":"list extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3776599$55F6CFE0-BC1E-427A-B288-CC765A5C7DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36649eaefbab54b7b73f20504821b6ca6d3d7a4b","datavalue":{"value":"computable predicates of finite types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3776599$63797756-4C87-4161-983D-6187DF2573AD","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":"Q3776599$833867E5-F48C-4A87-BA9B-04ECFED8F97C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16547f2aaf339343e11f4e5c165818530f13bbe2","datavalue":{"value":{"entity-type":"item","numeric-id":3745249,"id":"Q3745249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38a7a46222f843f70fda6b337d5230cd9915ae70","datavalue":{"value":{"amount":"+0.9984467029571532","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":"Q3776599$3519216B-F4FE-40C0-9F1C-58E239595ED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e28967da3e3121ad4be95e59bf8b9e7a6e40e74","datavalue":{"value":{"entity-type":"item","numeric-id":3783515,"id":"Q3783515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10db55a61b5b8c87008e8a93c52753e433a62d8f","datavalue":{"value":{"amount":"+0.8626232147216797","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":"Q3776599$2DDC8608-3EEE-4CEB-BEF5-10A5F3DACFFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2f4af303b2fd4761c19aac04fd7c7c2ce704130","datavalue":{"value":{"entity-type":"item","numeric-id":3764131,"id":"Q3764131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2953d3f585a9f49f35ada1f57f88f22637606833","datavalue":{"value":{"amount":"+0.8212288022041321","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":"Q3776599$10569E1F-E819-441C-B270-0ACF92313A19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bed3da5e4867cdbed437e20367fc57627dfe652","datavalue":{"value":{"entity-type":"item","numeric-id":3785904,"id":"Q3785904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08318d1ca1b949fac0924ee716ede2a3e4a50f77","datavalue":{"value":{"amount":"+0.8104463815689087","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":"Q3776599$D3183E74-58B0-42DC-8D3D-DE77C72A7311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a9b65c8ede186cbe0fa3a810274ea39dd8aa6aa","datavalue":{"value":{"entity-type":"item","numeric-id":3783281,"id":"Q3783281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b77f1022ca40d9723581d06ad596b529aae296f","datavalue":{"value":{"amount":"+0.748716413974762","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":"Q3776599$639A19FB-C9AD-41DF-9916-FEF7CF42C8A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3776599","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3776599"}}}}}