{"entities":{"Q1911315":{"pageid":1922057,"ns":120,"title":"Item:Q1911315","lastrevid":73953876,"modified":"2026-04-14T17:51:15Z","type":"item","id":"Q1911315","labels":{"en":{"language":"en","value":"Semantics of under-determined expressions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 868008"}},"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":"Q1911315$30809BB2-7F48-4E31-840E-59114FABE360","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b1d261bfde88f3d4c0eac34aea184f3b1173c09","datavalue":{"value":{"text":"Semantics of under-determined expressions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1911315$D513B610-6D54-4D66-BD66-B831298B1B8A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aa33fedd1936457fa5c194403e149706a3ea8889","datavalue":{"value":"0843.68061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1911315$91D52A6B-3A60-4E76-A940-459B7CD7C1A1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"829e950e754a3bc2087ed3d77f04f72123b788d4","datavalue":{"value":"10.1007/BF01211050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1911315$28AED253-089E-4608-A336-A42FCE3736DE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5bcaf435e3085e48d5de3c74d7c5c98ba7eb05cf","datavalue":{"value":{"entity-type":"item","numeric-id":1343866,"id":"Q1343866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1911315$77DF82BC-617D-4E37-AE15-1F7D624C34CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"56a52c3d932861303b7dfb6727ca7f7bb9596123","datavalue":{"value":{"entity-type":"item","numeric-id":1911314,"id":"Q1911314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1911315$495AABA6-9396-4543-8974-59B6D591B53A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1911315$449F0C2B-A892-4024-A251-FD94B682F40B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"89fdb20fc1a2b5ceeb9dcc49fa7f6c38658112a5","datavalue":{"value":{"time":"+1996-04-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1911315$B5F1F868-8A03-4225-B4FE-201B39B4135B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1911315$799115E7-A947-44ED-ACD6-2DDF2E1C7E3F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"082ccd824e9ff97874ad6f45579ef6d8bf4c4ab3","datavalue":{"value":"868008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1911315$0B167640-5D4F-48A2-8199-8AFD6CC74EB7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"100336e59ffe810f6eb92fc3a35315a7e797f99a","datavalue":{"value":"specification languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1911315$7F9EE40C-45D6-49D4-BC0D-B66D437FBA1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6de24ac4cac3854a73075b9c4fd4629ef82e8b8","datavalue":{"value":"VDM-SL","type":"string"},"datatype":"string"},"type":"statement","id":"Q1911315$128CFBF8-2268-4D98-B7E5-E01577559091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90ee94e181cf25aad6680919dcef672204b413a3","datavalue":{"value":"semantics of recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1911315$29DA6400-5C09-42D8-A759-AC899906762A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2aa97e8759a0f27fad59b841d7eb4f3bd261fb7b","datavalue":{"value":"Q57733857","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1911315$310C4EB8-C66E-42FE-8116-A38C9EE4800F","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":"Q1911315$AD870A68-69EF-4F86-A8EB-3D2B220587C9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7931dc29f3e5a2a167917b66423fa0388ae2206f","datavalue":{"value":{"entity-type":"item","numeric-id":911744,"id":"Q911744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1911315$C4AE04E1-ACC9-46AA-9B51-6C2EC1FC2BF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"842185ee810e891a84aa7366eeec94e364ed8d6f","datavalue":{"value":{"entity-type":"item","numeric-id":4296956,"id":"Q4296956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1911315$AA0E72DF-ECA7-4E9A-88B7-AF72E0D5C096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c64b6ccafd77be295bffb3990c7688874dea1138","datavalue":{"value":{"entity-type":"item","numeric-id":4746778,"id":"Q4746778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1911315$1BB5A84C-576A-4A0D-80FB-080B6C2F52EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10823bf5be5278cbff1c98afd96bfe396ccae834","datavalue":{"value":{"entity-type":"item","numeric-id":4845499,"id":"Q4845499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1911315$A2EE7B0C-BA25-4DDC-94D5-CC7847222E4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1911315$1C2EBC63-DF7B-4219-95A5-C694826D2B9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a98e1d68003b0040c15c163e66f3fd9578fb9386","datavalue":{"value":{"entity-type":"item","numeric-id":3997074,"id":"Q3997074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1911315$DBBEA60C-8AB3-4422-8E14-88E9B777AA1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5721c69a1fea95591b2353c2a947c998df08d0ca","datavalue":{"value":{"entity-type":"item","numeric-id":5582304,"id":"Q5582304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1911315$B874E42F-B7D8-433D-B9C2-D2D89E863DA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3848fd2fe82c4b22bbf0235c93541c26ac6ff33b","datavalue":{"value":{"entity-type":"item","numeric-id":1911315,"id":"Q1911315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1911315$07B03DB2-C609-45B0-B924-F02388EC65E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6475e30fafd3400503e49af213f9b0d37542b4de","datavalue":{"value":{"entity-type":"item","numeric-id":1823006,"id":"Q1823006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1911315$324FF5EA-8A30-48A6-9FD6-5D6869A27A08","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"faef8c2cdb1dc52c6a3af73e99ef476e9998b440","datavalue":{"value":"journals/fac/LarsenH96","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1911315$4926FBB1-C6F6-40AA-89DA-865AFFC2A452","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92c4c4b4d6e9293e2abd7fac4e56219dab7d0a2d","datavalue":{"value":{"entity-type":"item","numeric-id":287006,"id":"Q287006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e42fb6b169fc4fe346cc6b1681ca174218106eca","datavalue":{"value":{"amount":"+0.7007906436920166","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":"Q1911315$DAC33B39-38F6-4420-B56A-8D61F3C57FF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39f010b3e7e6be923f365546c6c97cb1188cce35","datavalue":{"value":{"entity-type":"item","numeric-id":1273067,"id":"Q1273067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27bfddbbbda04dbd2fd4e3e7a6befc5474bd65ce","datavalue":{"value":{"amount":"+0.699026882648468","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":"Q1911315$B7EB0551-6979-418C-AC7C-C6E58EBEB011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aebfb5da3f89fce4099b6b002f6958150d8bebbd","datavalue":{"value":{"entity-type":"item","numeric-id":1115173,"id":"Q1115173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4adcfeab9475b3658322744917cfca944ce41579","datavalue":{"value":{"amount":"+0.6983502507209778","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":"Q1911315$21605F92-4FA2-467A-81EB-020D46A477BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a037522ba585fd9cd17137405c0af299ae57e8e8","datavalue":{"value":{"entity-type":"item","numeric-id":5958781,"id":"Q5958781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2d8c2014a70b7b063500b86cbd6d8f90bf8d649","datavalue":{"value":{"amount":"+0.6898055076599121","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":"Q1911315$AFE7FC0C-9564-4F8B-A710-35D448015BF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a5db53b41da84c7d23fc0da3cc7f34cb9d7d3c5","datavalue":{"value":{"entity-type":"item","numeric-id":5757921,"id":"Q5757921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29ed1d8f73211107ed9c103d4f7e2bef56ca3fec","datavalue":{"value":{"amount":"+0.6783407926559448","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":"Q1911315$E62901FD-0151-40E6-9068-B3798865C5B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Semantics of under-determined expressions","badges":[]}}}}}