{"entities":{"Q2090128":{"pageid":2100870,"ns":120,"title":"Item:Q2090128","lastrevid":57540429,"modified":"2026-03-31T08:08:52Z","type":"item","id":"Q2090128","labels":{"en":{"language":"en","value":"Deciding the word problem for ground and strongly shallow identities w.r.t. extensional symbols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7606341"}},"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":"Q2090128$E8864279-F315-4A77-BF8A-9E564035592E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"db4b81c5f7d43fdfce65ec6431c13dd1264b1d12","datavalue":{"value":{"text":"Deciding the word problem for ground and strongly shallow identities w.r.t. extensional symbols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2090128$35B7593F-D457-4863-A241-55037978E3E8","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":"Q2090128$AEF09FAD-3D47-419B-959D-8E806F0747AC","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":"Q2090128$02194BA4-5AFC-4FBC-95CB-9C2D11125D38","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2090128$612A6022-BE14-494E-BEDB-C92F521C83D5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cc0a7c25255bdd57f0ebb42eaef0456a66df744e","datavalue":{"value":{"time":"+2022-10-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2090128$21A5A302-7A87-4A9E-96BE-D199A505EBC9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2090128$BB026536-BD34-4C11-AB7D-A3B523EC409B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8a36bcffdbdb4a5865bb2b7239c5b737f8c33a1a","datavalue":{"value":"7606341","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2090128$2A291AA8-76F1-4EBA-899C-C1730AAA3BF5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46bf623f046c15deb9639b85ddd32b0f74f2cdcc","datavalue":{"value":"word problem for ground identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q2090128$255982A6-FE6F-4E88-B95F-8464FEE62961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40510b754e91b9c548d9c320b70334cad642b67c","datavalue":{"value":"semantic congruence closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2090128$EBAA263C-BAD2-4736-8523-EAB98DB850E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d859e44f9ccd9ee36367816605a5ed43cde7fdd6","datavalue":{"value":"interpreted function symbols","type":"string"},"datatype":"string"},"type":"statement","id":"Q2090128$F352CD12-9051-4B2E-886E-25524C0F6279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed9d6740ec4a0a4155b3465b6b20982cb065945b","datavalue":{"value":"shallow identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q2090128$434003E0-3CB4-4685-A08A-1CB0A05F4A96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ca77418be81cfd12ac309aeee551470efbe64c9","datavalue":{"value":"extensionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2090128$F9A1FA52-F94C-4CCF-BABA-17BC99686F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35da8bcee53850c14a5fd9a173bd36b76911f46e","datavalue":{"value":"ordered rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2090128$5B0C5F66-9CDB-470C-BCC8-A8A82263AD72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ffcd6fd1b69e2ba55e26f146b61c6b3304d32d0","datavalue":{"value":"description logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2090128$8EDAEFFF-3A6A-4E55-89B7-2887986AB585","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":"Q2090128$0461D8C5-0689-4102-948D-CB4467D38D0F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ba8afdd122239cbe19418603d00ac826d839e7d8","datavalue":{"value":"https://doi.org/10.1007/s10817-022-09624-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2090128$E4D4AC22-4873-4ACA-AAEC-FB2B65846A9F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2cb65e1ea8778c5ebdb1af758d5b3daa916d192b","datavalue":{"value":"W4229336319","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2090128$CCDEFEEF-069E-4286-A693-64EDF781DC71","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":"Q2090128$D3D6492B-9F22-439D-B87F-05DF0B237377","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":"Q2090128$C4783A9C-7D41-4009-B617-68E0C8E9F6BB","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":"Q2090128$6F19A016-0BF9-4328-BBE6-920812F5B755","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":"Q2090128$CE99D761-5CD5-4668-A203-DBCB12185600","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":"Q2090128$241572BF-E3BE-4639-9B3D-7C411FC6010D","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":"Q2090128$75D4A478-3AA2-42F0-AC54-D3A61F21BEAC","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":"Q2090128$9D0AD3AD-287F-4838-BF84-6C9F91F29438","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":"Q2090128$0905868D-3552-44EA-B890-08D9FD0C5486","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":"Q2090128$22322A14-432D-449E-9B59-E439002E9129","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":"Q2090128$48882F08-8353-46F1-985D-BBC1AAA80331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41fd04728c35578b9492b10e8a18c6eb34280a87","datavalue":{"value":{"entity-type":"item","numeric-id":2096444,"id":"Q2096444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2090128$DCD1CA9E-6FEA-4BCA-8D93-C816B65FBB3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff7c628ff52abede3b151ab9a84b4dbfa41be244","datavalue":{"value":{"entity-type":"item","numeric-id":1357668,"id":"Q1357668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2090128$51B3C05C-8CAC-4DD0-93EF-AA7CE58438C0","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":"Q2090128$A67A67D0-E7C7-467A-88FD-EBB74A0056BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd15143c55f952e91bd09c38726e896edcde4053","datavalue":{"value":{"entity-type":"item","numeric-id":1327397,"id":"Q1327397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2090128$CAFDE260-C2FC-4548-9070-8204DFE30B6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"515a4d73159a3d00843d4500377b99f2a011f41f","datavalue":{"value":{"entity-type":"item","numeric-id":5583066,"id":"Q5583066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2090128$2525DE00-DE42-4230-8E81-328AEFF772B8","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":"Q2090128$51D5AA86-7B4C-4122-824A-6A83E09647B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b032d4c7611825b4821687076e447e12a3226844","datavalue":{"value":{"entity-type":"item","numeric-id":3883563,"id":"Q3883563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2090128$25FF48A9-23BD-44E4-A496-E3ED942FB729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbc8272a2eed684dcc743719a6651c947badf1e2","datavalue":{"value":{"entity-type":"item","numeric-id":1836661,"id":"Q1836661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2090128$98809513-5E99-48B5-9F0D-EC26F6FCF7F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f463d2fc68b751147d657b7d88f441cdf392409","datavalue":{"value":{"entity-type":"item","numeric-id":4000281,"id":"Q4000281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2090128$6A364D5F-8960-4265-B33E-6C0A3B098D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e06c9ee7f63c1861be20393d8a1882f7729ec88e","datavalue":{"value":{"entity-type":"item","numeric-id":549666,"id":"Q549666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2090128$B8157140-8C3B-4310-A7B4-DEFE28C857E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e35de33cbc764133a189bbb71604990e83ca9596","datavalue":{"value":{"entity-type":"item","numeric-id":5234683,"id":"Q5234683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2090128$8A57E74F-871C-47F2-9D97-9F0162601FEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dccf1d346c09e3ff74cb962a3ae96a718bd8b7fd","datavalue":{"value":{"entity-type":"item","numeric-id":3703293,"id":"Q3703293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2090128$73623E1B-7906-4A1E-9B24-47CE9740200E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f43f79ac5b44e70e22b3fddbf208217de1c327d","datavalue":{"value":{"entity-type":"item","numeric-id":6159930,"id":"Q6159930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2090128$6F7F4DDA-728F-40E2-A06B-52589C5F13C9","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":"Q2090128$1E03EC0A-D430-4148-AFA9-35ABF3AD28C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e4f240d70da77aed1ce5b5f7470d52f44d6a1a8","datavalue":{"value":{"entity-type":"item","numeric-id":6488545,"id":"Q6488545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2090128$E23D8874-CE59-47BF-935E-5E2603ECE7DC","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":"Q2090128$BFAD417E-67BC-4365-B0A6-8EDFE1DD0D91","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4300d16ec112d53ee948885e22c64b86483fe384","datavalue":{"value":"10.1007/S10817-022-09624-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2090128$FD3A151A-A82F-4CD3-B2F0-C5F9FD72C343","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1aba824bb15503158ec9c3563ab0f73b50ed4eac","datavalue":{"value":{"entity-type":"item","numeric-id":2096444,"id":"Q2096444"},"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":"Q2090128$3E02E564-82F7-4837-A8A3-01AE16EEB3BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e6a2aa462c9ec8fcc3cbc82a7a94e5b7cb14ceb","datavalue":{"value":{"entity-type":"item","numeric-id":2803061,"id":"Q2803061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de49b4d3cb754861f295418e09d57061d0fc2381","datavalue":{"value":{"amount":"+0.7143597602844238","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":"Q2090128$8C862281-D8D0-4B3C-B9DE-62A28E0AE8CF","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":"50d722442734b3ce92ca1dc178c9b34566d8a959","datavalue":{"value":{"amount":"+0.7125808000564575","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":"Q2090128$4AD2FCCE-6D2B-4705-8053-23BE9C8163ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a69148a98bb8be578ebffce87b8b01398d403a2","datavalue":{"value":{"entity-type":"item","numeric-id":4005178,"id":"Q4005178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"facf18a2635f2e7e5eb7c0633be9c8f802c53315","datavalue":{"value":{"amount":"+0.6954366564750671","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":"Q2090128$7C04C927-0CF3-48BE-BA21-68F6111FA0A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4418d767974e8ca885177c917f2c693a11f413d","datavalue":{"value":{"entity-type":"item","numeric-id":1281494,"id":"Q1281494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80a260e515d4bc4f8365a0614f82ea4fdd9ba507","datavalue":{"value":{"amount":"+0.6951087117195129","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":"Q2090128$645DEF5F-9272-411C-A032-393C82F65809","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2090128$BA45B74D-BD87-440D-A899-CC0A8A3A2D82","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2090128","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2090128"}}}}}