{"entities":{"Q3819992":{"pageid":5849898,"ns":120,"title":"Item:Q3819992","lastrevid":53887994,"modified":"2026-01-25T21:31:35Z","type":"item","id":"Q3819992","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4092757"}},"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":"Q3819992$050D807D-FFCE-4107-BDF7-FEF90CF59E46","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d4d83cd66f29da8186d61c98fd6420c9547cb38a","datavalue":{"value":"0667.68042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3819992$7FDB6975-29EB-4D1A-A828-A462D6F23892","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a60a38320311da18eda10821922742954865726","datavalue":{"value":{"entity-type":"item","numeric-id":394492,"id":"Q394492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3819992$8D38D93E-3A54-4E51-B678-E605AEC6CC13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6587fdd31c2d2b6b0dfb7e31f546481ef32f5a93","datavalue":{"value":{"entity-type":"item","numeric-id":171405,"id":"Q171405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3819992$C8BF6CA8-C547-43DF-AB78-B556DA1F5C93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fbe2992bd25f57a87782b805b3976c44134f243c","datavalue":{"value":{"entity-type":"item","numeric-id":808712,"id":"Q808712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3819992$2A3FD48A-00A8-42DE-A78F-F392450869CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da69afe2eb2727aeaa0fc395e387736bed2482e8","datavalue":{"value":{"entity-type":"item","numeric-id":1094887,"id":"Q1094887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3819992$43F988FD-EAC8-4C0E-8E4F-3F7602A201BD","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":"Q3819992$FEB64FC1-CF0A-4980-98F4-29B24C906D52","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3819992$EBDC7BB5-99FC-49AB-8138-B20E59BE737F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f319f2a1e83b5d563b48608486a357c99818e666","datavalue":{"value":"4092757","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3819992$41BB1C05-D5B4-402D-A0BE-E3DE53CCCED6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bcc771f9c4cbb132a4fb9368403bb895cba44b70","datavalue":{"value":"matching","type":"string"},"datatype":"string"},"type":"statement","id":"Q3819992$A5B719A2-DB1D-461D-BBBD-D9BC9CD5D696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54efe8b49a37b1aa489fb0e653d938725cf2fcaa","datavalue":{"value":"non-termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3819992$E09446D8-5896-4435-8FB5-9D04F8B67F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5ce13604534eb461e6f20c290ddd13741d16113","datavalue":{"value":"semi-unification algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q3819992$40F17BA6-0C16-4735-8C29-B4BDA6A254EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"019a6ed5982241abb5ad173ea9f0389406288f3d","datavalue":{"value":"Knuth-Bendix completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3819992$46F2F675-01C4-4224-99E4-5CFC39E21A89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9090eae54307f4cb4926123be61b267a50c76f98","datavalue":{"value":"term-rewriting system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3819992$528AC9B6-F9C1-4670-B051-8904AAFD9571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3819992$D9E97437-5571-47F8-AD47-1E46D1E768E8","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":"Q3819992$798081AC-6F54-497D-9D01-739FE407D51B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09f1c24fc18247147d1212af21efe683e6efa0e0","datavalue":{"value":{"entity-type":"item","numeric-id":808713,"id":"Q808713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4adae8f672cb0a7e0c3c658a6ac741ac98884803","datavalue":{"value":{"amount":"+0.9992398023605348","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":"Q3819992$170912B9-B6E5-470B-A2FB-EE1B50CC97C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bc38cf96173d1fd56a6081c50dbff622604b848","datavalue":{"value":{"entity-type":"item","numeric-id":2643520,"id":"Q2643520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b14abcdb157f1f66963be3c48efdad1148f8aae2","datavalue":{"value":{"amount":"+0.8607791662216187","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":"Q3819992$1AE14C54-E66B-461E-A260-8C80A7CB48E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d739a45496c0d9aee1201097085368a39e937648","datavalue":{"value":{"entity-type":"item","numeric-id":4016518,"id":"Q4016518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7339e1bbc484344d04dc2caccb9a3fcf1c58f20f","datavalue":{"value":{"amount":"+0.859566867351532","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":"Q3819992$943BFEC7-2874-46AE-96FA-0FC5711213BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"468a06ad8a1d0bf42d8a062be0ba1ebcfbb958a8","datavalue":{"value":{"entity-type":"item","numeric-id":4035264,"id":"Q4035264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"179f214a3739440d38e569f8a68435809fe6081a","datavalue":{"value":{"amount":"+0.843443751335144","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":"Q3819992$90DE8E8C-4036-48E9-B0F7-4A6EFDA32191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3654a37e9b2842cce28cda76ef7d697db2b4125a","datavalue":{"value":{"entity-type":"item","numeric-id":2487391,"id":"Q2487391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37edbfda10ac6d74311d26613a1a45de7a6c1f9d","datavalue":{"value":{"amount":"+0.8419910669326782","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":"Q3819992$A9727B9C-8063-412B-99F9-4108B7E2ABF6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3819992","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3819992"}}}}}