{"entities":{"Q3026326":{"pageid":3037042,"ns":120,"title":"Item:Q3026326","lastrevid":49086538,"modified":"2026-01-06T14:04:56Z","type":"item","id":"Q3026326","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4014011"}},"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":"Q3026326$B3201A57-1CA2-457D-A5DB-87CE1EC1D1D0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"60b81dbb34c9e2f8862f540ac51b4c65812f88c4","datavalue":{"value":"0624.68024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3026326$715557AC-DD39-4F84-ADDD-9FB220B3C30B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"64bfbfd1114669cfc61de475a2c16b2597ff379c","datavalue":{"value":{"entity-type":"item","numeric-id":610396,"id":"Q610396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3026326$A1C3B931-2143-4547-A4A1-E10CCEE59B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a63343326dc3782dfaf32190a15d54584cc577d5","datavalue":{"value":{"entity-type":"item","numeric-id":541294,"id":"Q541294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3026326$D7E9479B-125F-4D66-90D0-52D3F7F9E69A","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":"Q3026326$6FB1A86C-98DA-454A-B226-DC3F532BA9C0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3026326$0B1E70A1-CE35-4CD3-ADC1-068C257199DD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"09cb7448615fd83514993790f6a52483c265a2c9","datavalue":{"value":"4014011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3026326$1B64CCAB-3737-4443-8597-8350BB2C4FC3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5bea629da8809c7e4e50f475bcd4e4e34c8b30f","datavalue":{"value":"continuous abstract data type","type":"string"},"datatype":"string"},"type":"statement","id":"Q3026326$54A90D63-34A4-48F0-B37A-15ABBBCC3555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d79dfda4fe026b299f5d595a73fd41ce2e3ddb5","datavalue":{"value":"algebraic hierarchical specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q3026326$88D9407A-BB76-43E5-9599-0C45F45FC345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99dcefb52ae4954b255af60bc8280a5163401a38","datavalue":{"value":"inequalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q3026326$29C85D2A-6C7D-4A11-B674-C142308F5CBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d33fc72dfd573538aa9c9b25e99b4be47d5bf6f","datavalue":{"value":"universally quantified variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q3026326$85E217C3-2A9E-4C0F-97DC-4FD5364B508E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea290032d710a04356408d10e3e939703353014e","datavalue":{"value":"functional language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3026326$63D6BDD9-4DE1-4CD5-8386-1671058C304B","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":"Q3026326$786D7F9C-B397-4D8E-B8E9-2D4E7B012759","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"205133f26947a001e036852a0f75a48d7ff15bdd","datavalue":{"value":{"entity-type":"item","numeric-id":801667,"id":"Q801667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddaf96b52a975f626c754155243b43a611d854e0","datavalue":{"value":{"amount":"+0.7884223461151123","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":"Q3026326$046A80FF-8236-49E7-A2F3-16F1091A41A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb720330f278919ca46f0366f42e48d51f3cbaf8","datavalue":{"value":{"entity-type":"item","numeric-id":1057642,"id":"Q1057642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9164e05cda4ce7d0efa9fd32af2509a640cfb6e","datavalue":{"value":{"amount":"+0.7766632437705994","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":"Q3026326$83F7DBAB-D554-4AFF-9EFD-591756F8410C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"811c55663ed31f0ed942cb3916832c14a87ad5e8","datavalue":{"value":{"entity-type":"item","numeric-id":1391733,"id":"Q1391733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e3a75a9a154701015b71c263c65993d393cd6f0","datavalue":{"value":{"amount":"+0.7582939863204956","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":"Q3026326$62C45F46-A274-4E9F-9A56-C614260A5F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cca7ef438c7900815ad8d9f681d795c320c2262f","datavalue":{"value":{"entity-type":"item","numeric-id":4202934,"id":"Q4202934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d80fa28bad276e7165b2d59df5c870077c4770c","datavalue":{"value":{"amount":"+0.7543997168540955","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":"Q3026326$6D26CB26-1F1D-4ADC-A47C-C6BCC083C824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a7eba7b04dd5f01cda67c9197e6febeb9fa4a63","datavalue":{"value":{"entity-type":"item","numeric-id":3028333,"id":"Q3028333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d9ce867e9376cd4bf02385c080df8bcf42392be","datavalue":{"value":{"amount":"+0.7522390484809875","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":"Q3026326$09F9FAE6-E61A-4A46-8D61-DB4B7EBA03A4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3026326","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3026326"}}}}}