{"entities":{"Q3789061":{"pageid":5818967,"ns":120,"title":"Item:Q3789061","lastrevid":52764416,"modified":"2026-01-23T11:10:45Z","type":"item","id":"Q3789061","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4053008"}},"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":"Q3789061$0B8DEEEE-59C5-478D-A701-3D737AF2AA57","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f0252c76626765b39e501ba2a7d6e3a6b3d40334","datavalue":{"value":"0645.68043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3789061$4F941437-2C40-4B0F-AFF8-8E747621D516","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa036ac71e4432af4595c2940a8c80a681ec2db2","datavalue":{"value":{"entity-type":"item","numeric-id":1105362,"id":"Q1105362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3789061$0DB5E28A-8B93-47F4-9A06-2AF1731C39FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"08fc1f7280207046026dfc4dba895215d9332ff3","datavalue":{"value":{"entity-type":"item","numeric-id":1105363,"id":"Q1105363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3789061$056C3654-FEC8-45A0-9F44-62841614CB27","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":"Q3789061$B44C0191-3EAF-4B3C-9222-1D95732C0F36","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3789061$45DED7E0-706B-4CEF-9CE9-52AD65689912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3789061$03BA8954-84D5-4B4E-A8F2-576B3C9713F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3789061$EB02F36A-2EFA-49A4-9B7A-A285387B183A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f046cc0243d05ac98e732bea6a0104f7bd330f4","datavalue":{"value":"4053008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3789061$2C7EF18B-F64F-40EA-B014-21D348440885","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3789061$746852A0-F1AD-4338-8994-28CB76E54C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bcf84584bad3fe3604d99501f4fec1b7404f6c2","datavalue":{"value":"E-unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3789061$4E8DA1F1-40C4-4C1B-8F47-E86FECF20656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f93da61a61c284f12eb3905f55054dc8fc494427","datavalue":{"value":"conditional narrowing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3789061$161A8517-A20A-4A2A-BDFA-4DD2086E4C3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3789061$59796639-9916-4BAD-8AD0-2BFD4E77F6DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3789061$F2D9B8BC-2B0E-461C-A4ED-FF80A3B01CD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58acf4952d5f9adc27bc95a2037859c88d48f9a6","datavalue":{"value":"term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3789061$2CD3DEE4-6A4F-4C2E-8A34-5AFD3E2AFB6C","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":"Q3789061$ADE59A77-5C4C-484C-A192-1DEF4B234167","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae34b71e2c69128b73d5ff0030291ee1abaf28b7","datavalue":{"value":{"entity-type":"item","numeric-id":5881211,"id":"Q5881211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5db0cdf834b999e10aaef22e1e0e305de99d2fb","datavalue":{"value":{"amount":"+0.8845635","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3789061$8F267C99-6CBA-4783-81B7-7758D91C84A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f052c08e59890fdb5f50fea23a7520df68f3d12","datavalue":{"value":{"entity-type":"item","numeric-id":5210805,"id":"Q5210805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7630c442289ae2742f28713c25b1624025bf3ae0","datavalue":{"value":{"amount":"+0.8812512","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3789061$870E5770-9DCD-4DA9-B878-AEA3F259EECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae88518a2060e38de2953517054ee261a04e9603","datavalue":{"value":{"entity-type":"item","numeric-id":3408139,"id":"Q3408139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7b6bc9385875984d379ad893237a2c8c9f31c58","datavalue":{"value":{"amount":"+0.8802329","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3789061$BC87F680-3055-4E3C-9B91-9B478A207094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33fab04dff8c63950ed3ffaa7511199553e4e955","datavalue":{"value":{"entity-type":"item","numeric-id":3730013,"id":"Q3730013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57b6397b3d4f2cc5795d783bcb96ef93724e73f8","datavalue":{"value":{"amount":"+0.86705625","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3789061$D9E8E6A7-A314-4104-9010-53B5303BFD05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"039e5edd52f5805553a82ec5b480a1210c799cfc","datavalue":{"value":{"entity-type":"item","numeric-id":4503959,"id":"Q4503959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e4e630e62675b4a1ac2907e9ea909cc9583d0f9","datavalue":{"value":{"amount":"+0.86226064","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3789061$19339B80-6BD6-4604-A38C-014FC3B1DF69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f8e28e78041c57fdb47dd660f84f78a36a8f808","datavalue":{"value":{"entity-type":"item","numeric-id":4036289,"id":"Q4036289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7e8e04ff19fc83984f426fc6488d16b2c5b5bbc","datavalue":{"value":{"amount":"+0.8615052","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3789061$713745DD-438C-43A6-8366-B62D4CFA6572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7c597d2a417ecc8869ae2023a5d8bab6d13786f","datavalue":{"value":{"entity-type":"item","numeric-id":3455762,"id":"Q3455762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a9f8e82020680454c83f569c0bab087cb4d4596","datavalue":{"value":{"amount":"+0.8614664","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3789061$1EE398E4-A24D-4B4A-891E-4B352C6783AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c06f53546062943063e6ba8de30d0e16d815b29","datavalue":{"value":{"entity-type":"item","numeric-id":673971,"id":"Q673971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efcdaca9f1ae3b24c671d76b5e343dada0614e52","datavalue":{"value":{"amount":"+0.85722196","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3789061$ABD0E91B-C126-4303-B229-82BEE57868B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a6ae6469855a34c7b305095e9b798b0ae14e1eb","datavalue":{"value":{"entity-type":"item","numeric-id":1744405,"id":"Q1744405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10d1e345106e023a89992b5c4a271dfc5dd17f54","datavalue":{"value":{"amount":"+0.8570749","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3789061$F6F6AD74-63C0-4570-919A-4E401FDCCA6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af6c2e2b10b875138c72a1c869ba84111a8bf006","datavalue":{"value":{"entity-type":"item","numeric-id":3129511,"id":"Q3129511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"136c948e62c31c3b19c73810ac37eb90b4cfd86e","datavalue":{"value":{"amount":"+0.8555121","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3789061$0FEE5929-4321-482F-9589-757637A11921","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3789061","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3789061"}}}}}