{"entities":{"Q4312490":{"pageid":6342091,"ns":120,"title":"Item:Q4312490","lastrevid":47279329,"modified":"2026-01-01T05:29:02Z","type":"item","id":"Q4312490","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 683368"}},"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":"Q4312490$219E78BF-95B4-4577-B80F-FE3D57FB93B8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a2c07b6906a05f2f700c2248332d448e2d78cd8a","datavalue":{"value":"0812.68095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4312490$6B11A2A0-7789-4BC9-943B-125941341ADD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd26c060f9fec47585ecde4b8274da2be27a287a","datavalue":{"value":{"entity-type":"item","numeric-id":672041,"id":"Q672041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4312490$F9C76A65-C965-46F4-8981-676F116748C6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a269f34123f780c17e245cbaab12f8ee5852e5b","datavalue":{"value":{"time":"+1994-11-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4312490$BEFD5F84-1C30-4DC7-BAF2-40F51288E67C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4312490$4BCC107B-A046-4870-8603-68CC8A4228E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4312490$75117D66-1CB7-4A2D-A188-CF36653D5CD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4312490$A85A8C73-01C2-4D49-A9C3-DF2C40495C28","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5949a97d4203eedd6203fa7130f505a09f722889","datavalue":{"value":"683368","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4312490$EA3677B5-567B-47D0-83C6-4E95C9163AE6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c20b4fa4782bc26ad106d3b73d2e44447725459e","datavalue":{"value":"automatic verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4312490$617E9736-DB47-47DE-97FF-DD02E33A044D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4312490$A1310D03-574F-4EA4-A117-24AD85133C29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4312490$F03F4C7F-A13B-480C-A173-ED0E0750E300","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4312490$094C1C6C-891B-45A3-9955-5E754D59AA5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4312490$25EF9CFE-621A-444C-8E9C-4314D83598EE","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":"Q4312490$19E4108C-71A6-48AA-BA71-CC3CD8925B47","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01017b3d1c200749df743ffbc642572962518ffb","datavalue":{"value":{"entity-type":"item","numeric-id":1355748,"id":"Q1355748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6517f4ef806b80949066c34533f66b8f1049bcf5","datavalue":{"value":{"amount":"+0.8502848744392395","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":"Q4312490$A8D7B1E5-B578-4B69-A9EA-2B9B6F7BA0F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bb137c225c6a67afba7a44009974c2e0acc9350","datavalue":{"value":{"entity-type":"item","numeric-id":4525274,"id":"Q4525274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"224d35510506c68c3af64985c27581a8ecd741d8","datavalue":{"value":{"amount":"+0.7748708724975586","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":"Q4312490$6F89BFC3-E526-4AB0-88E6-542C414F6016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e358c5d2267a76fdd71b1de5f8d6850dfcfe8b6","datavalue":{"value":{"entity-type":"item","numeric-id":4222957,"id":"Q4222957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d70cd0a5b1cd5125129f755beb5265a78177348c","datavalue":{"value":{"amount":"+0.7667998671531677","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":"Q4312490$0C34B2DB-CD73-437B-8A80-8E4DDDB4E10A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d137986f3dc22bc7b0d815cd3bc6f3b059425f28","datavalue":{"value":{"entity-type":"item","numeric-id":1589654,"id":"Q1589654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9554945cb4fbbf5347a35c5a9277f31958583d3a","datavalue":{"value":{"amount":"+0.7609124183654785","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":"Q4312490$053BC26F-1A1F-4688-8099-A996245B149F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"877e985b3380fe71465aa52cef28be711fc2e9a2","datavalue":{"value":{"entity-type":"item","numeric-id":4365103,"id":"Q4365103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8066d93e649a94640dd4fb608cc97058e50e7dc7","datavalue":{"value":{"amount":"+0.7579872608184814","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":"Q4312490$2F3EC65E-64AE-42ED-87D4-234E557ABF2F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4312490","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4312490"}}}}}