{"entities":{"Q2096444":{"pageid":2107187,"ns":120,"title":"Item:Q2096444","lastrevid":55426978,"modified":"2026-02-17T16:09:08Z","type":"item","id":"Q2096444","labels":{"en":{"language":"en","value":"Deciding the word problem for ground identities with commutative and extensional symbols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7614512"}},"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":"Q2096444$BAAB70A4-FD07-4399-A3FD-5817DED6BD87","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c01cb91f5588cf64ce6da4f2ae05e4d67a714889","datavalue":{"value":{"text":"Deciding the word problem for ground identities with commutative and extensional symbols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2096444$DAFB4C83-74C2-4E19-92F0-0534C4B97412","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3cd67c2d0abd61bdf351dddc0bf5ae29da2c3ec3","datavalue":{"value":"10.1007/978-3-030-51074-9_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2096444$AAA5188D-C455-44C1-803A-C1BEB2797EE2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad2c4752c8f1e89a2a24fdc7ec884cde4002ed6d","datavalue":{"value":{"entity-type":"item","numeric-id":171404,"id":"Q171404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096444$332478E9-452D-4AF9-9E21-06C0B92E66F8","rank":"normal"},{"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":"Q2096444$C63A7C3B-9716-4695-BD80-2EDFAF8BCCF1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a54434e20074f3f6b59987a5d81b4852d3c35ec","datavalue":{"value":{"time":"+2022-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2096444$55E4FE68-DB9F-45CA-A151-641C06894756","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2096444$5B32F68E-93BF-4CDC-9280-5762E6B6CF8A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1cbff935879e7faa982e7dd6c3d218e61c8d9359","datavalue":{"value":"7614512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2096444$745F05F3-8452-4E57-BA42-7A97A7A13126","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":"Q2096444$C1ED4C65-3CDF-42CC-ACE3-81015FDAD5CF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d658cccae29111db30bbad01f29734723f70a63","datavalue":{"value":"https://doi.org/10.1007/978-3-030-51074-9_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q2096444$C55754BB-E9EF-4796-919E-7B7C3AE6A90C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e1b30799da2e1d38651344fb19ca161ff5bd03d8","datavalue":{"value":"W3039259551","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2096444$4DA222E6-D12B-4796-9DB7-D46111DCCCDC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5c6b44534452799ea8958ee898dc513ef598501","datavalue":{"value":{"entity-type":"item","numeric-id":2974769,"id":"Q2974769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096444$782DC1F0-5658-46F3-AE03-80AB315AFF19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"819a2535befb2a67f49ee5e43432525215be36de","datavalue":{"value":{"entity-type":"item","numeric-id":4702972,"id":"Q4702972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096444$C23E6CEB-1B1A-4842-80C8-2F6ED0573FD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6714b82967d2235b6a92e71fd13ce822c8d74ad9","datavalue":{"value":{"entity-type":"item","numeric-id":4518873,"id":"Q4518873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096444$FA408D44-A5AC-459C-B98F-872E20E127EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae19a70a8616a64987bb08271f6f085e5255b8c5","datavalue":{"value":{"entity-type":"item","numeric-id":3908476,"id":"Q3908476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096444$5A7C6210-D64C-4F43-A71D-7A0EEFC5E1A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9741e06ce9f548b05466c57084eff41a74813bc1","datavalue":{"value":{"entity-type":"item","numeric-id":4033833,"id":"Q4033833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096444$D1DBDE88-E89A-4332-91B1-5AD2A35F63C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ff043886c15344e26a5762a58f1c95f9724f12c","datavalue":{"value":{"entity-type":"item","numeric-id":4594216,"id":"Q4594216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096444$A39844B1-A7B9-4EF9-85B2-6DB94ABFAA8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fddae2b430463293478a63c6a631e1bdb5c8fb72","datavalue":{"value":{"entity-type":"item","numeric-id":1730315,"id":"Q1730315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096444$AE2DEA24-2172-4868-ABF7-7754D2AE0118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10f3c8da72a81dee234f4b63f5e0583ee7657e77","datavalue":{"value":{"entity-type":"item","numeric-id":5055779,"id":"Q5055779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096444$A774E6F7-B37F-4DF8-ADCB-EC2A44D0BCAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"975126c2667d6964e52988e556bf8223ff836bfd","datavalue":{"value":{"entity-type":"item","numeric-id":3883564,"id":"Q3883564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096444$07BE07B0-52E3-4818-BC74-474700EE5F8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a09716697edb234ce77c2288fe827cd22e3a8915","datavalue":{"value":{"entity-type":"item","numeric-id":876046,"id":"Q876046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096444$8F6B3BEA-866A-451B-B720-7BB8A5F14AAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b556daa46d372d3d13308ee1a82ad862dd3152e","datavalue":{"value":{"entity-type":"item","numeric-id":3455760,"id":"Q3455760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096444$FB07D58B-8BCB-459D-825B-C031177EBABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d09db88e7db8de8a699f35dd014c509760be4233","datavalue":{"value":{"entity-type":"item","numeric-id":4157961,"id":"Q4157961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096444$894E8681-444B-4076-8DCE-BB0F53DBC71F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e5ac5e87b7bb20051a97cb3e5d95d9b6576112f","datavalue":{"value":{"entity-type":"item","numeric-id":689111,"id":"Q689111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096444$28C39295-426B-470C-A127-7EC2732FC9EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3198643895c4e17fa96b7321331bcf34a99b2fd","datavalue":{"value":{"entity-type":"item","numeric-id":4002149,"id":"Q4002149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096444$EFC38F10-A4E3-4126-B822-DEEB7D461CE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23ac275822a45cd115f0548c6ba13b9690a7d26c","datavalue":{"value":{"entity-type":"item","numeric-id":6488579,"id":"Q6488579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096444$C1325BE7-2068-435C-9BC6-767164D7D961","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7559686705ac7b63ab6ad90fb2e22626418727d3","datavalue":{"value":{"entity-type":"item","numeric-id":2090128,"id":"Q2090128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b7ba05387bc8ff25479b1f41c0258e689027b00","datavalue":{"value":{"amount":"+0.9503108263015748","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":"Q2096444$C171059F-0A26-4A15-8E99-D9C7C4B9C022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75d2351b779d5c28f21e5a38cac61aa2d9a08182","datavalue":{"value":{"entity-type":"item","numeric-id":4020283,"id":"Q4020283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cefa81950cce64e86b91d1972de9a08f3007a86f","datavalue":{"value":{"amount":"+0.7262511849403381","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":"Q2096444$39443E5F-6040-45DA-BCCA-25574D64E4FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2344295417b5c35fbf01bdfe1ce2cd56b4f9331","datavalue":{"value":{"entity-type":"item","numeric-id":3137359,"id":"Q3137359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"321e7195dec9fa8a74bd9f519e2a604d8f0fb890","datavalue":{"value":{"amount":"+0.715073823928833","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":"Q2096444$D288CC52-0D71-4819-A307-63DDF000A922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f40c1b03cc2020fa8fdf4b63687fafd311eadecf","datavalue":{"value":{"entity-type":"item","numeric-id":5055778,"id":"Q5055778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25f2f298e044d8f6674e800d480ca0eab22c56ac","datavalue":{"value":{"amount":"+0.7146883010864258","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":"Q2096444$637071ED-C9AF-486C-86BD-075F6E5052C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"798a8d087a719a5edd9d4357d61d89f69bf4f100","datavalue":{"value":{"entity-type":"item","numeric-id":3703293,"id":"Q3703293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26093ef083d2818e579e93c8e772cb4c62495116","datavalue":{"value":{"amount":"+0.7088191509246826","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":"Q2096444$CE81032B-0811-4DB9-BFAD-17D3C56B40B7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2096444","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2096444"}}}}}