{"entities":{"Q3067781":{"pageid":3078497,"ns":120,"title":"Item:Q3067781","lastrevid":51162512,"modified":"2026-01-17T00:34:08Z","type":"item","id":"Q3067781","labels":{"en":{"language":"en","value":"Term equation satisfiability over finite algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5835775"}},"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":"Q3067781$13209E4B-B513-402B-ACB9-F7846EFE7F43","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d800fa44f4510806de0ecaf9c647679e4b4ee6b4","datavalue":{"value":{"text":"TERM EQUATION SATISFIABILITY OVER FINITE ALGEBRAS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3067781$422BDB50-9C6E-438F-82C0-EFFE310FABC8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e4692b2f500247dd695c22002cbc32bf95145c3b","datavalue":{"value":"1214.68176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067781$B799D072-D235-487D-A060-4CA5D11F938C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"322a5397c79e1ee8edb9f7a9a014c84805c398b4","datavalue":{"value":"10.1142/S021819671000600X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067781$DBCC39B6-745E-4AED-A594-25C9592906E0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5eb479a7fea92b722637bef37a6df9dad3250641","datavalue":{"value":{"entity-type":"item","numeric-id":1905989,"id":"Q1905989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067781$2BE1323C-024F-486B-88B1-FBD08A24CF79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a09e850f401643dd2307aa6eb5a0d8dcb5cc8696","datavalue":{"value":{"entity-type":"item","numeric-id":292835,"id":"Q292835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067781$C15DEEB8-ED42-4A90-9BA0-C778F3B36F02","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7f4e75461d95037e69d585d3faf5530e0368f039","datavalue":{"value":{"entity-type":"item","numeric-id":2703070,"id":"Q2703070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067781$0829ABF0-BD03-444C-B57F-799FEFF39A72","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a97c1d6fc2599d06259094f1abb3cc946622f97a","datavalue":{"value":{"time":"+2011-01-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3067781$3244130B-D289-4B09-82EE-9A4D924F9CE2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067781$ED76F922-32DE-41A7-97C0-3B2CB41E107C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"602d7e96b613d2f356db81712453cadad0417631","datavalue":{"value":"08A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067781$67282FEA-A7A3-4633-BD2F-71DBB1FD5034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067781$83449764-E9C9-40B9-976E-57AFAE373A0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067781$CA883D85-3B01-4EB2-AC3B-3920323A4ED7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"52f2f2dbc7eba48129f904d5c28d40ebc951ad15","datavalue":{"value":"5835775","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067781$378EDCFD-8476-464E-8179-2D85D77A1C39","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3067781$6A271871-E6F0-4941-9DA4-DB6C6A753154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3067781$2D1B6CEC-D443-4278-A048-CF87AD491960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09a188bc590546995974b55a3f2f84f00e08b2a9","datavalue":{"value":"universal algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3067781$8512FEA4-7EAE-4D6F-8291-27AD70BC3831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d32b0bcc7bb39c92b92984e1db79a0a14ddfb744","datavalue":{"value":"clones","type":"string"},"datatype":"string"},"type":"statement","id":"Q3067781$3C98DCB7-33B4-4529-B69C-A1839CC19ACE","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":"Q3067781$D862E851-297E-4D76-965A-8D56A2B65506","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"da5c6061c3f6daf7454d0e9c58daef6f441530aa","datavalue":{"value":{"entity-type":"item","numeric-id":4210136,"id":"Q4210136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067781$A3F647DD-D8BD-4DB6-A4B8-3D474EE7A6A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95129feb93e690035be7048ddf51a4f5a6e82adb","datavalue":{"value":{"entity-type":"item","numeric-id":1854566,"id":"Q1854566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067781$0D141FA9-D057-486D-9291-39FCC0426229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6050894f5b25139356708ac3f5ed9b3c73276cf","datavalue":{"value":{"entity-type":"item","numeric-id":3421602,"id":"Q3421602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067781$254E0850-827F-408E-8E33-E938449771D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19a62d39b10622749e338de38252fcaed5d04493","datavalue":{"value":{"entity-type":"item","numeric-id":1276253,"id":"Q1276253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067781$CEB58DF7-3B27-4291-B3D0-6F8E3A03947A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f49bf139b4458a81d856bfe99e24e59ee7a4d438","datavalue":{"value":{"entity-type":"item","numeric-id":5483456,"id":"Q5483456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067781$E2A052AE-B63E-4581-950D-AD99F95A6425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ae41416b3c63fb62fa987b6d8dfe2556eabf311","datavalue":{"value":{"entity-type":"item","numeric-id":5845380,"id":"Q5845380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067781$8A8F25E9-B494-4668-BBEF-C835C51F185C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91638dc3b9d68080abf4a9393099333ab24e5e18","datavalue":{"value":{"entity-type":"item","numeric-id":5483456,"id":"Q5483456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb03b9acf847c852dadde5dc709b7524e3f26aba","datavalue":{"value":{"amount":"+0.8260704874992371","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":"Q3067781$6C72EB6D-34E5-411F-A9AC-D748ACD952F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9016018db5be80deea237df20069e2965e4c4de9","datavalue":{"value":{"entity-type":"item","numeric-id":2888155,"id":"Q2888155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f264236492444ed4af3d4b1bc43c6145d2b3b256","datavalue":{"value":{"amount":"+0.8218994140625","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":"Q3067781$C84BC7E1-C1E8-43DE-9B3F-7CE972E23E1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee9afb024e39224c0be1395ec9a94a17a985b352","datavalue":{"value":{"entity-type":"item","numeric-id":4729350,"id":"Q4729350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d63821339c6f6c86638cac792630e81ad3bc019","datavalue":{"value":{"amount":"+0.803528904914856","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":"Q3067781$17558F6C-1D06-4294-B42C-B1A167868C46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0de354211dd71bfa1529c23dfcfdfc564b9cd767","datavalue":{"value":{"entity-type":"item","numeric-id":3839875,"id":"Q3839875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39453a2be45385dd1bb591f17ee98a14bbe96cb4","datavalue":{"value":{"amount":"+0.7989841103553772","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":"Q3067781$D0BB93A2-1A80-464E-B253-31F1BADEC7E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"772471dea4fff19234b138f268654d47ef8408cb","datavalue":{"value":{"entity-type":"item","numeric-id":5145331,"id":"Q5145331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73e75b81655d2fc1a51ce59c42aa096985625ea7","datavalue":{"value":{"amount":"+0.798000693321228","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":"Q3067781$E55E07E6-A9D5-4F45-B217-AF43D207575A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3067781","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3067781"}}}}}