{"entities":{"Q3706484":{"pageid":5736390,"ns":120,"title":"Item:Q3706484","lastrevid":50496743,"modified":"2026-01-14T05:18:06Z","type":"item","id":"Q3706484","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3934390"}},"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":"Q3706484$E9926BE1-2303-4121-ACBE-F581A8E0A918","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"284c7e834f4006c3041f4bea718479acbbd2b06f","datavalue":{"value":"0583.68005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3706484$4361794F-00D5-4BBF-B68D-14E4B5B8BC0A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c786d2867d2426d185d48a7d59eacc39b0dee578","datavalue":{"value":{"entity-type":"item","numeric-id":3706483,"id":"Q3706483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3706484$889EBA62-11DE-4F5A-8B09-EDF99DEE6C14","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q3706484$7C0C7560-7254-4DF1-AF1B-ECC437DBF05E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3706484$207F6991-4C3D-4403-8717-C58331CBF058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3706484$49F9093D-27F6-411A-9497-B2A4D3D811C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3706484$E618F7C7-BBFB-4E19-B133-21FAF0827471","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e70a8da64201b682733629a046a220746563a45a","datavalue":{"value":"3934390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3706484$4D97F0E8-DCA9-4580-A264-696F58E19653","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ac708066b077a4cbf2f59c943781969d75d6d03","datavalue":{"value":"equational theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3706484$8267DBC5-7A05-4E46-AF06-65180827B32D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3706484$E773DD8F-8169-4969-A58F-B53CBF12B83E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64eaf746f8323aca7f8e059d49fc382a5ad50bde","datavalue":{"value":"Church-Rosser property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3706484$F57424DE-8D77-45F3-88AC-FBCDBB59472B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58acf4952d5f9adc27bc95a2037859c88d48f9a6","datavalue":{"value":"term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3706484$5D53110C-AA7E-405E-AD55-2E8CA8FF1D7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9feb88a81c9cbc7d767a2379c5c67c57c70b9929","datavalue":{"value":"non-resolution theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3706484$6314E040-092C-4689-BD4E-E4448D7075CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3706484$096895C9-F963-49CB-891B-3895655BD41E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3706484$CE6CE980-FB50-4F6E-BDF7-DA78D481241E","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":"Q3706484$5ACCCA86-E913-4273-A99D-50EAAFCC800A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53a21359624e3bd0c92e3e228cdeb138f4bbcfdd","datavalue":{"value":{"entity-type":"item","numeric-id":3816048,"id":"Q3816048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bcfaee6b999a6bac4c6e32788ac673eba69cc41","datavalue":{"value":{"amount":"+0.8329229354858398","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":"Q3706484$E23CD5E4-C840-4722-8318-D3842A4AA80D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"daa27baf8d0cd56a5108e879ab1d690c5932be8a","datavalue":{"value":{"entity-type":"item","numeric-id":1100890,"id":"Q1100890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bf93d05ec9dbdd46def055bc40f39a3495852a5","datavalue":{"value":{"amount":"+0.8291463851928711","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":"Q3706484$100E5246-C2EE-4336-B0E4-D91D2C5230F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd0acf1f80397b88ba2f1432551df93f4f216819","datavalue":{"value":{"entity-type":"item","numeric-id":4649558,"id":"Q4649558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3af52b73825ef04c93bade13afc8c741d87f4a9","datavalue":{"value":{"amount":"+0.8138396739959717","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":"Q3706484$50893454-08BA-43FF-B520-77CF651B833F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"365a861e35d11978be8db2118e36c73b35163714","datavalue":{"value":{"entity-type":"item","numeric-id":3319766,"id":"Q3319766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20134a8a10a0d2ef76fde6a2fd7c977a35c1f9ad","datavalue":{"value":{"amount":"+0.8082109689712524","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":"Q3706484$D2FCF3FE-8FD9-4B04-9D3F-2923BD3959C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ed4452b88de96217fce2d9ac9f739d7aa5dcc1e","datavalue":{"value":{"entity-type":"item","numeric-id":3719825,"id":"Q3719825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8ed77366e0309aae43b9a703903109f71ab74fc","datavalue":{"value":{"amount":"+0.8016287684440613","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":"Q3706484$AAF7D60F-74FA-4D68-B9E0-175FE7953F6C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3706484","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3706484"}}}}}