{"entities":{"Q5687569":{"pageid":7717129,"ns":120,"title":"Item:Q5687569","lastrevid":41823810,"modified":"2025-05-08T18:25:53Z","type":"item","id":"Q5687569","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 958048"}},"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":"Q5687569$5CC8F12D-4FD9-406A-A13B-6D2969D4EAB4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5d5e6eecc737b6bd9e566990afe769ce00458e12","datavalue":{"value":"0863.68032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5687569$D5813B4D-EA9C-4DB1-91FD-918FCADDB7F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aeb061f84ffb57c2406b1921a4f259dec17e2583","datavalue":{"value":{"time":"+1996-12-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5687569$B009C252-AC37-4896-A875-233DE70E6613","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5687569$F9AA3CC8-B41D-43D9-B47E-CC2962CAD896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5687569$015813F6-D3AE-4FC2-83F8-C809305CB1B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5687569$2740A5AC-5FE0-41C5-8CC9-4553FB88323B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"588c1a533d5b9b328072f4fd71255869799ca2af","datavalue":{"value":"958048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5687569$816C16AF-C3AE-4040-952C-A0987F98042F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05388bc1c9b8346e20f69498bfd9c4d4460e1e02","datavalue":{"value":"nonprocedural languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q5687569$1299C0D5-2370-452E-AECF-943C8F980478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5687569$29978B9D-ED7F-48A8-BD16-399EA136D851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a62e2cb39256ad8be350d962a6c33b3f71b69432","datavalue":{"value":"theorem-prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q5687569$7F1E77F8-2B1E-414B-8801-758D5159D3DE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb5dfbdfa6d8a2070a67ff948fb8abd387eda36e","datavalue":{"value":{"entity-type":"item","numeric-id":352969,"id":"Q352969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5687569$22CA74A0-A958-488C-97D2-F44A04FEC223","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5687569$ED4E0865-8E5B-4126-BEB3-7B7D7F39FAA6","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":"Q5687569$6572ED9C-89C8-4189-B6A3-084B96D2D55F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ebd613188ceaad5818482a8dc4739278c1251a5","datavalue":{"value":{"entity-type":"item","numeric-id":4318835,"id":"Q4318835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5687569$EDB3DACC-F409-4A71-A36F-4299002C23C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8735783c0753ae93ff6aff98cdb6c7b60b8d34a7","datavalue":{"value":{"entity-type":"item","numeric-id":3998053,"id":"Q3998053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"434acd2816d570df1d033988600f09d3d1f2519c","datavalue":{"value":{"amount":"+0.96325016","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5687569$8C971DFC-E0DF-43C9-96F6-47AB28ECC2E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4d0184e97bba108a7df740689ccceb4d53ffd68","datavalue":{"value":{"entity-type":"item","numeric-id":4293532,"id":"Q4293532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af8fdf3013f2d17be8b7adef77d33e370a7d847b","datavalue":{"value":{"amount":"+0.8471136","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5687569$B347D7E5-CA1D-4E34-A653-97EC311EA6D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1dfd4caafaf03f20bb6fb92bee023697ce44877","datavalue":{"value":{"entity-type":"item","numeric-id":4856173,"id":"Q4856173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73bbdf58d87f43695bc546e813b94bebc3037662","datavalue":{"value":{"amount":"+0.80566555","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5687569$494F2E40-CB1E-4DE8-B011-4C9FDE55E05E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef22f3d808cf129383445b3464d6962005eebc4a","datavalue":{"value":{"entity-type":"item","numeric-id":5421919,"id":"Q5421919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73bbdf58d87f43695bc546e813b94bebc3037662","datavalue":{"value":{"amount":"+0.80566555","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5687569$982D38FB-1084-4542-A92B-7C4E20F16BDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fc3ab855cdeef83654160de6220aed2d310822d","datavalue":{"value":{"entity-type":"item","numeric-id":4293531,"id":"Q4293531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19dfc6b0f9253dbcc68a38d80b03b0f0c8d0e3c3","datavalue":{"value":{"amount":"+0.8033074","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5687569$C5E21A62-E388-43D6-AD9F-7EE02AFC812A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57dc8cb082417e9c6d75e122333181f0c35579f4","datavalue":{"value":{"entity-type":"item","numeric-id":4343027,"id":"Q4343027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88ebf157dd149ae86d7abd0fb6e805b29ec291df","datavalue":{"value":{"amount":"+0.8029517","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5687569$1A218B98-ECD7-4C8A-BC4B-D060A8E3D1C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3b4f058b8f3d5295d11b45a46e64c1863ed2103","datavalue":{"value":{"entity-type":"item","numeric-id":2757848,"id":"Q2757848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bce04a4bfedea22bcf0cfe4cd6648483b1530d6","datavalue":{"value":{"amount":"+0.80237895","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5687569$0EB4DB47-BB10-4B99-AECD-66AB1AA0BACB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5687569","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5687569"}}}}}