{"entities":{"Q3217583":{"pageid":3228291,"ns":120,"title":"Item:Q3217583","lastrevid":48768103,"modified":"2026-01-05T19:53:33Z","type":"item","id":"Q3217583","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3883588"}},"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":"Q3217583$87FA7EF8-4F6C-4A4B-B413-D142C2C3D7C2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1ae99c4b23f00846e56ea0bfd3b063b605e8ab2d","datavalue":{"value":"0554.68008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3217583$CD72ECE8-AE94-4867-AB29-B53AA01FDD61","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78ed6c5ce1e65f91c49ded91114a6800dd345a5d","datavalue":{"value":{"entity-type":"item","numeric-id":190306,"id":"Q190306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3217583$AC453A5D-3CFC-4109-8FA0-DFFDFDF8DEA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c4fe77fff21ad74d81092c085b4a78f8093906b","datavalue":{"value":{"entity-type":"item","numeric-id":375309,"id":"Q375309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3217583$FCAD7826-C56C-40F7-90C6-E99D744E468D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q3217583$168A855C-7230-4F76-8097-6B082FCCF883","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3217583$76710B8F-B676-45DB-8730-20625E3FD611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3217583$E46EFE7A-9E3E-4406-BC66-DBDFB483CB9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3217583$7EE792D8-F393-400D-914F-BF7E380E4621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3217583$F117D184-3F80-4E67-972D-C148A8BF9AA3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"87ec58edd63077753edc14e09e8322a5563cecd3","datavalue":{"value":"3883588","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3217583$B197B88A-460F-4513-9656-99607D042E68","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ba6dfeabbb8fba6711b67416efb5d0bc21a8cd4","datavalue":{"value":"set-theoretical data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3217583$ED3D649B-C251-4284-A8EC-45108FB386DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93ca938cbba626a37da2392bdcbdb5b4e4b6da52","datavalue":{"value":"initial algebra semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3217583$9279845F-B00A-429C-A013-5992C0CF4E96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a0f889ac0ac75f64bb88b03df529598a3535ffb","datavalue":{"value":"two-sorted data structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3217583$873EDE20-60EB-4710-813C-9D54EAD37E4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a90401d9c23e126a6ab2543bdc72d993744aa40b","datavalue":{"value":"finite conditional specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3217583$ECE30950-51AB-42AB-B81B-43D6D0F50FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d83273420aff13e657dfb251af4675070a22980","datavalue":{"value":"equational specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3217583$8A9B65A2-C3D3-4966-86ED-3996982D6E13","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":"Q3217583$CFB89735-F936-4463-B1C1-6904CBE1C258","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df3467d434552a508e9d5e868477d57cf1099f85","datavalue":{"value":{"entity-type":"item","numeric-id":3988833,"id":"Q3988833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc09dbab5136f3331ee0ae18d016accac75f80fe","datavalue":{"value":{"amount":"+0.7363798022270203","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":"Q3217583$86B1F9D2-499F-4010-8BE1-23BC899747CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6755d6edc47ad41765a04021d2cf863d0733fc0d","datavalue":{"value":{"entity-type":"item","numeric-id":4288283,"id":"Q4288283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a53314489ed5bf7f2e16743ebae353850874815c","datavalue":{"value":{"amount":"+0.6854820847511292","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":"Q3217583$6E6D0168-7734-4F54-9BBA-877A5AA18D50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc8986048c9fc45f1abbad75882d06bfd1be416a","datavalue":{"value":{"entity-type":"item","numeric-id":2768448,"id":"Q2768448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f630886853005b2db7c72af8dc3ee0c44e20859","datavalue":{"value":{"amount":"+0.6779800653457642","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":"Q3217583$EF4CAA40-6079-44ED-B190-894735FB93FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c02adcb991284baa4992431a73d5d0488b8bee5e","datavalue":{"value":{"entity-type":"item","numeric-id":4728229,"id":"Q4728229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e49f17c6a81a3799553aa0a7552acd951131dabb","datavalue":{"value":{"amount":"+0.6724883317947388","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":"Q3217583$F91F0D45-344E-4E2D-8559-E128174953D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e396e2cf8b83808f4221ab3824c12f28859d8e1d","datavalue":{"value":{"entity-type":"item","numeric-id":1323373,"id":"Q1323373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0117d747545dc3120dd2aeb6958922968ca92f41","datavalue":{"value":{"amount":"+0.6710893511772156","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":"Q3217583$32161E9A-A40D-4C1E-A7B7-9E797E230FBE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3217583","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3217583"}}}}}