{"entities":{"Q3732980":{"pageid":5762886,"ns":120,"title":"Item:Q3732980","lastrevid":50864240,"modified":"2026-01-15T11:54:47Z","type":"item","id":"Q3732980","labels":{"en":{"language":"en","value":"Semantic confluence tests and completion methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3965460"}},"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":"Q3732980$0E9757D3-4551-4A09-A281-946ED9C01380","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5011e7073c0b5f5f138bbf566a1045197a00cd29","datavalue":{"value":{"text":"Semantic confluence tests and completion methods","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3732980$6B72A89E-4883-403D-913B-BEF18C59A74E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3c75fa998bac8c08df780113c013f93a67b05334","datavalue":{"value":"0598.68058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3732980$98A3A187-4B0E-4254-99C7-93DAFB7C5450","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"642e793ca2a6fbd97adcb5ff9a3d239116247594","datavalue":{"value":"10.1016/S0019-9958(85)80005-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3732980$F4AD6EC0-D07C-4B28-BBC6-830E353D24AE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4434820098e3b6c980c31814818af7c68f56bd22","datavalue":{"value":{"entity-type":"item","numeric-id":2832035,"id":"Q2832035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3732980$737F53E7-B05C-4BA4-B373-63FA49B5BB21","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3732980$04221F7D-F590-4F1C-AABD-A2C112A6C3B2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3732980$F24B5C0F-3FE1-4496-8B8D-2A03F4F1BA1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3732980$019D00C8-EE58-4AA6-BD77-86C4C6D0B5B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3732980$E82BEAAC-8424-4BF3-97D0-E5E6EB4B8052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3732980$093893C1-3691-4367-A882-38D816C8DC1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3732980$95788A5D-90F5-400A-B050-B8F2F11119E7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"21595407c3391d9a6fad0e1e41eb80f2fd7093b2","datavalue":{"value":"3965460","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3732980$13B81B24-1EBA-4746-BD4D-BC4640988F7C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"744fd5f6b592344bd2a87ac1816bb7847861172e","datavalue":{"value":"equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3732980$2CABCF47-7E84-468C-89F0-B10091763DD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbe8c41fe8d2ca7331310962aa17e31f8465478f","datavalue":{"value":"term rewriting system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3732980$1651D80B-F9FC-4C9D-AB73-42748891E1A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41b8ab866f2130f494e3b07bc4d1da4f4429a9e0","datavalue":{"value":"completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3732980$836528F4-290D-4F56-BFDE-3CC245CDC359","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2ac688a7f195ad9b2b2d6f3074509ae095058cb7","datavalue":{"value":"Q29398513","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3732980$1B969072-5DE7-41BD-936B-2BC5D17319F9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"34f99c9947f4d98af9da609b6496b55645bbe075","datavalue":{"value":{"entity-type":"item","numeric-id":1238600,"id":"Q1238600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3732980$B2F2069C-A703-4111-92F6-383818877CAE","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":"Q3732980$E17A32D9-397A-4104-BBA3-FE6B68C885A5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"137390e7a53296ffa33b8590f15bcc94db0f0a28","datavalue":{"value":"https://doi.org/10.1016/s0019-9958(85)80005-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q3732980$A4A7A3DD-D44A-46C3-8B54-700459F34309","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4391bda6754e0d32a4412c8a7bce9e119223a06c","datavalue":{"value":"W2022060249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3732980$532935C4-729A-4E9C-BB25-AAEBDF1FE6D9","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"d1838fc4273aa1e3e7832b9f5ef54d661b01b5f5","datavalue":{"value":"journals/iandc/Plaisted85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3732980$41DE438E-9E4E-4C6C-AB7C-D07CBEF515A9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0002be10cb775da3bb2051aa1113a64d2f234cf3","datavalue":{"value":{"entity-type":"item","numeric-id":6488545,"id":"Q6488545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50a65182220ac471ed6cccf3cef3ab4896a7b63e","datavalue":{"value":{"amount":"+0.7751482129096985","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":"Q3732980$F441E268-38C4-48C9-A9BF-803DD6F8A6CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99f36bf06096d881d13221e34feaf90359c30784","datavalue":{"value":{"entity-type":"item","numeric-id":5389075,"id":"Q5389075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f488feeee4e60f71c69157102150ce12fbaaf9c","datavalue":{"value":{"amount":"+0.7715860605239868","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":"Q3732980$622FD03F-E353-411D-9416-7ABF4C30144E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d21077d3a817a05504fc88d9252f7f3476dd98e","datavalue":{"value":{"entity-type":"item","numeric-id":2881099,"id":"Q2881099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29fe3336431d0854dbce3343f50f2118b6282003","datavalue":{"value":{"amount":"+0.7702098488807678","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":"Q3732980$D6F62ACF-5A0F-4610-AAE5-F55A035880D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"227e7e3b42267e7f38cb644705a4d0b5663b2235","datavalue":{"value":{"entity-type":"item","numeric-id":2891456,"id":"Q2891456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"030bf62513db23e356d67d4042cc9592c6d01b26","datavalue":{"value":{"amount":"+0.7699236869812012","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":"Q3732980$F440D481-ECE2-4845-A337-8244DE8F1ACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f31d5a560d809eeca6627f5a506a44da3ed03c1","datavalue":{"value":{"entity-type":"item","numeric-id":5881272,"id":"Q5881272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cad04a33cd46d7c37056895fd966a90697e85d5c","datavalue":{"value":{"amount":"+0.7696038484573364","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":"Q3732980$7934F0C5-E77D-4A68-AC2E-F9D206200239","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3732980","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3732980"}}}}}