{"entities":{"Q4981135":{"pageid":7010713,"ns":120,"title":"Item:Q4981135","lastrevid":52023134,"modified":"2026-01-20T18:52:24Z","type":"item","id":"Q4981135","labels":{"en":{"language":"en","value":"Automatized construction of implicative theory of algebraic identities of size up to 5"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6307459"}},"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":"Q4981135$A64AD3B0-14FD-4B43-BD77-78718A4D8A29","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"098eb30ebe44d3cdb1ab4f8308dcf3aa5ec3c036","datavalue":{"value":{"text":"Automatized Construction of Implicative Theory of Algebraic Identities of Size Up to 5","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4981135$D9A15ED3-BA73-46D7-8249-F1D06442DA59","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7928e3f332477f4b01e79f3a06b9be6c6131c632","datavalue":{"value":"1444.68286","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4981135$286D6D7A-65E4-4DF2-BBBC-31BAB8E7F57E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"682f2b1008fbb861386d80e29f3d8ec3d1106a39","datavalue":{"value":"10.1007/978-3-319-07248-7_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4981135$DBF59228-7B17-4DB3-929B-CF49325D78BB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e70d1e2fd8e37a727f1c6647439454451f4394e0","datavalue":{"value":{"entity-type":"item","numeric-id":899137,"id":"Q899137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4981135$126580CA-5232-4AEC-8B7D-1E12DCD47827","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"21f50f2d80e3a51ad2f2f97c9cb5264d3b50d16c","datavalue":{"value":{"entity-type":"item","numeric-id":2907455,"id":"Q2907455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4981135$F10785C5-0FC1-427E-A076-77903CDE3A0B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4162171d534841eaba82df8e339e73a24ff6ed5c","datavalue":{"value":{"time":"+2014-06-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":"Q4981135$894A6159-199F-4474-940C-8C5CB373BAA4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4981135$739F3545-B6F4-4495-AE20-60272E642128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4981135$59219FDD-0822-490D-AEE6-9B95457ADDB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4981135$4F3D2A4F-4DC8-4361-9E83-7D00C02F2412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4981135$25E27634-0B16-4405-879E-DD94E4DBC431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c276f6bcfe480cdd0a7a976933d6fd851c1b746","datavalue":{"value":"68V30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4981135$8B6499C2-7B29-4699-8B56-1833D388AFD9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"87f4efb85de782a1da5cdb2d5d6fa17d13de6603","datavalue":{"value":"6307459","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4981135$E0DBBD44-2AD2-407C-A1B0-FA422333552D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fe14137166e2eef9ab43af054a90dfcc5c7dd4a","datavalue":{"value":"equational classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4981135$C2456982-0B33-482F-A9DB-F0841E8088C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91b7bca02d898913be8c088a96ab88fbb079f56f","datavalue":{"value":"implicative theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4981135$F59757B1-94AD-4BD3-BE08-0396CA94163C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73ab3f54250d78fcc556a3f230824628f982e390","datavalue":{"value":"attribute exploration","type":"string"},"datatype":"string"},"type":"statement","id":"Q4981135$852A7484-EE69-4037-AE82-7E7037BD7511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"744fd5f6b592344bd2a87ac1816bb7847861172e","datavalue":{"value":"equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4981135$D360E798-1DAB-4CBD-95AF-03A52F942EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f6cad1e9a86b637b8b980df24f8ab7d044be471","datavalue":{"value":"infinite models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4981135$89E927ED-9616-4F21-8788-D39E97D2B3B5","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":"Q4981135$9834608E-E922-48D2-8FAE-17ED514E59C2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6dbe8ffdef4a64867ad1b8800524c2952f1f2e29","datavalue":{"value":"https://doi.org/10.1007/978-3-319-07248-7_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q4981135$88ED598A-93C5-4B9A-B672-D40D7DF6D1EB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8635591343f365757f0a94794081f47815f2d296","datavalue":{"value":"W138008187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4981135$6FD10B1F-A4E0-45D9-9CC5-57D10608D0F3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36121bf5236a82ef04ddf0417f5567032848a833","datavalue":{"value":{"entity-type":"item","numeric-id":3453394,"id":"Q3453394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a71d2fc5c34555ab14329e6c04a4e1939eca528","datavalue":{"value":{"amount":"+0.8192112445831299","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":"Q4981135$F57C9ACE-2CA0-46A6-B16C-3A5D35AEA7A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f4d3931939721ddafc5a1666aac2acbcb673a67","datavalue":{"value":{"entity-type":"item","numeric-id":5307076,"id":"Q5307076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9ddc30ddc47ee9bb8878517483ea3b69adcafa9","datavalue":{"value":{"amount":"+0.6963997483253479","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":"Q4981135$7B2DA7E5-6E15-4E4F-97E3-17D1BA1EC688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d35e06974f633b0e179b68a1376e2876ca11bdfa","datavalue":{"value":{"entity-type":"item","numeric-id":2219380,"id":"Q2219380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a75314b6ca5f1a1879afbd5f96e45179080ff06","datavalue":{"value":{"amount":"+0.6898673176765442","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":"Q4981135$CCDA242F-97D0-4531-8E0E-313162FAA47B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ae451d06798079b3acb1ead556cd1fa066e56e3","datavalue":{"value":{"entity-type":"item","numeric-id":1179710,"id":"Q1179710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a82cd3bfee8b5ae1d945585665786722b1d5cebb","datavalue":{"value":{"amount":"+0.6886625289916992","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":"Q4981135$993E3F6A-3849-4C44-A6FB-A10417CACBDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d635a620c8e2b9fe6d8a61ed885f240f041d4e7f","datavalue":{"value":{"entity-type":"item","numeric-id":4708425,"id":"Q4708425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"235ec42eb24d9bba7fcdafcace0ac948c23bbf2d","datavalue":{"value":{"amount":"+0.6847009062767029","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":"Q4981135$80188990-29BC-48BE-BB40-765F331A23EF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4981135","badges":[]}}}}}