{"entities":{"Q3814799":{"pageid":5844705,"ns":120,"title":"Item:Q3814799","lastrevid":53755829,"modified":"2026-01-25T16:21:51Z","type":"item","id":"Q3814799","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4085007"}},"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":"Q3814799$1A88229A-7557-4478-A802-EA65BB762A11","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"17fe82725a69315d3bf28a667a2a91eb9d39ee42","datavalue":{"value":"0663.68040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3814799$47D04657-58D3-46E8-992B-D3DC6CFD6949","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fdd2984005ce562423e705837ece60ae424b1f13","datavalue":{"value":{"entity-type":"item","numeric-id":246445,"id":"Q246445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3814799$205C798F-000B-4EB8-BF3A-BCF36E317255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f900f77ef10c59a03f069c5af5579652c6549dc","datavalue":{"value":{"entity-type":"item","numeric-id":672233,"id":"Q672233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3814799$308B2D39-3017-44AE-9512-75E4531E1B39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ee4c8c1a79b9afc061b0d6b7a179857b6ef91ec","datavalue":{"value":{"entity-type":"item","numeric-id":672234,"id":"Q672234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3814799$350D0DB3-CB0E-45C4-A11D-F017BB1A74FA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q3814799$D0EF5810-ACB2-4C8B-B8BA-5773BFF00FCE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3814799$C68845C6-5231-445D-B3BB-75374F480EA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3814799$220770A7-ADF9-4C91-BE66-D699763AC892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3814799$3AE8BA19-4F21-41EA-86BE-02DFE64E31EA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bce44ff610f538c7b393333d549f58aae87d872b","datavalue":{"value":"4085007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3814799$E33C7B31-DA23-4C8C-BA6F-38B42AB85673","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4319312dd61f53c06c4678587f37500db2378ff2","datavalue":{"value":"conditional term rewriting system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3814799$42FF11BA-9CA6-4E57-9EE2-F3BCB670DF6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3814799$69BADCFA-0BE1-4CC4-97B9-B3372F4ACE09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3814799$F9FF9FCA-840B-4B39-82B0-C7E93F0A15B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f79e31496d11f73c7d8c7a3026ef41cc58d335a8","datavalue":{"value":"behavioural equivalences","type":"string"},"datatype":"string"},"type":"statement","id":"Q3814799$A155DC27-52E4-4958-9BB5-30FD6031F91B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3814799$E921AFAD-7047-41C3-A4D7-46CA4AB23395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dba8a14c151bd08273c5a04f1ad265d82751a87","datavalue":{"value":"CCS","type":"string"},"datatype":"string"},"type":"statement","id":"Q3814799$9462F27A-6BF0-45B9-8E54-6A446966775E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3814799$4D3B5765-3177-4435-98BA-7E682CD26F15","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":"Q3814799$C4A52654-2043-4BEE-B41C-DC6F092CCA2A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec4d5dbb62300c59f88fc78b7b86cba91caa746c","datavalue":{"value":{"entity-type":"item","numeric-id":3703286,"id":"Q3703286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e35ebb5462a38e39f86e870c12be32009e9c2305","datavalue":{"value":{"amount":"+0.87357265","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":"Q3814799$98A3CEDE-06C7-4699-819D-A968B02753FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"470c68899be7ae5643fa2b1c7377a46c13c91a93","datavalue":{"value":{"entity-type":"item","numeric-id":4222997,"id":"Q4222997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60d92d3a5fd3cc7de0090d5409dde270cefbdacb","datavalue":{"value":{"amount":"+0.87065804","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":"Q3814799$4752F78B-617C-41EA-83D3-C55349F56750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20beed9b09b7d5b0a6f2cad6c51d80c7102f06f5","datavalue":{"value":{"entity-type":"item","numeric-id":3511450,"id":"Q3511450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a268ba9452ecdcad340bd1ac8c5a8a13a155e9d8","datavalue":{"value":{"amount":"+0.87017095","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":"Q3814799$4C2B4F72-704A-4BCE-A406-66C4A0EEBEF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef5a95f3e14779435eb10a0090cf19c8f48e92b3","datavalue":{"value":{"entity-type":"item","numeric-id":1080653,"id":"Q1080653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"521e1d3d94ef157bd032cd88d64cf4c420cb4071","datavalue":{"value":{"amount":"+0.86389077","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":"Q3814799$55123FDB-B5DE-4A85-BA1E-AD53D6A98A4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71d847ab10c890ec5ca9b471f950f46d8e8e218e","datavalue":{"value":{"entity-type":"item","numeric-id":2894572,"id":"Q2894572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93466b8175133de50614d0c831d7ecf0f0f2a5b8","datavalue":{"value":{"amount":"+0.8621837","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":"Q3814799$B211480E-B532-4E0D-999E-3800FB4E82F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9d4bbca2b7044a14600d84ac18e7685b191252d","datavalue":{"value":{"entity-type":"item","numeric-id":5709377,"id":"Q5709377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8455603718a001e3a81ee1d7323ba5d8f514ac80","datavalue":{"value":{"amount":"+0.85719484","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":"Q3814799$7347A3B4-902B-4B7E-98EF-40FA26D3D4F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"beac1a2789e0b5a4281a7f96134071f404f043bc","datavalue":{"value":{"entity-type":"item","numeric-id":2759366,"id":"Q2759366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e10617265971cc61ce95feb4eb7f12cd326b4e3c","datavalue":{"value":{"amount":"+0.85523915","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":"Q3814799$83B1DABC-0DC7-49E3-B918-B1BF76CE3BE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d615dfe2b1207b198fe8bf2e5d59e2482e19331f","datavalue":{"value":{"entity-type":"item","numeric-id":4222860,"id":"Q4222860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6823e5f23259a4d12ac5df01750304696d14a4b","datavalue":{"value":{"amount":"+0.8537521","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":"Q3814799$7A19C1C4-768E-4A73-A4D4-D685CBB3ABC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54aa410ae4bf209460f65bf42ff8fa5f48475674","datavalue":{"value":{"entity-type":"item","numeric-id":3707371,"id":"Q3707371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8802e7ba20e6ffdd6f9ac0e1e79eb697394c57e","datavalue":{"value":{"amount":"+0.8534124","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":"Q3814799$660E944B-BE8B-492E-ADA0-A83E3F399FD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10f15d30124b9f38158435849219a067400d41d2","datavalue":{"value":{"entity-type":"item","numeric-id":3347272,"id":"Q3347272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba707e83672bb51c98396fb0fbc793266afb54e9","datavalue":{"value":{"amount":"+0.850829","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":"Q3814799$7DEEAC71-0B1A-441D-9775-CA58E8EF90F3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3814799","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3814799"}}}}}