{"entities":{"Q3656844":{"pageid":5686750,"ns":120,"title":"Item:Q3656844","lastrevid":81035846,"modified":"2026-05-06T17:34:09Z","type":"item","id":"Q3656844","labels":{"en":{"language":"en","value":"Reducing equational theories for the decision of static equivalence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5658351"}},"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":"Q3656844$16973964-F5BA-4777-83DD-015CAF8612A0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7b0eac46289b6eaa94a98875dc07b5bab6401625","datavalue":{"value":{"text":"Reducing Equational Theories for the Decision of Static Equivalence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3656844$4D2085D9-80A7-4FA2-9EC4-3DFD89279E50","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fbe980af8ca858df7141b33ed8fede8dc7c49d6f","datavalue":{"value":"1273.94352","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656844$FD48D2EB-EAFD-4FEE-BE00-224B86805787","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9c46126016ea684b26c0e9c7be56263dd104a6e4","datavalue":{"value":"10.1007/978-3-642-10622-4_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656844$A868A5A3-37DC-452F-BB98-24A8701B4B18","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b9545c86dcecbba882f43703ca686b323cf501e","datavalue":{"value":{"entity-type":"item","numeric-id":437023,"id":"Q437023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3656844$8CAD71CA-B60A-46B9-B566-1EC0C793662D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9a96684450a58f2fd331e83c74e95e21ef64354","datavalue":{"value":{"entity-type":"item","numeric-id":437024,"id":"Q437024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3656844$780BAAA4-27EA-4D20-B75D-CF499805A2E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa707505e4dc35c303a48188dedbdb1698ec813a","datavalue":{"value":{"entity-type":"item","numeric-id":437025,"id":"Q437025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3656844$F99CD0E6-4DCD-49BD-8185-DF38C45384A2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d7eee17c9f8b073598571ed167b4471cb563b33e","datavalue":{"value":{"entity-type":"item","numeric-id":3656836,"id":"Q3656836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3656844$4B576745-F31F-4EF8-AE5C-84A313EF4813","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d7ae205d063227bc6a8fe4b8cec53b398b20968","datavalue":{"value":{"time":"+2010-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3656844$08447303-EF34-40BF-815F-941231233803","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656844$F773A2CF-C4C9-4162-9118-994D57248BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656844$F7EDEB7C-5E17-4382-A1A6-EAA73C9F78FE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"32be69ad2030ddc978086fa19ff59f1362f870c2","datavalue":{"value":"5658351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656844$AF1D2884-E50C-4FFA-AE6F-9A0C49546DA7","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":"Q3656844$7453D919-94D7-4B15-9486-A862B29B5235","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ecb5544a3b7bce4eda98a8867abfee533f9be324","datavalue":{"value":"https://doi.org/10.1007/978-3-642-10622-4_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q3656844$45B1D55D-71CC-48B1-AF1B-C3FD92F62C51","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d1c8428f5d313e969d97909e80579eaf0c5cb12d","datavalue":{"value":"W1549517332","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656844$AC1C2ADD-F3C9-442A-A4CD-0DE3259C7C9B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d911a500c2df9d660f946f63988aac50f6d0122c","datavalue":{"value":{"entity-type":"item","numeric-id":437026,"id":"Q437026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94c898758a2a5152dad9ac830c82dda14b06f208","datavalue":{"value":{"amount":"+0.9997265338897704","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":"Q3656844$E0AC0E1C-68C7-496D-BD25-85298D6ACF7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f07223c21ed5a6479ec2aa0b7699d91b8b47d335","datavalue":{"value":{"entity-type":"item","numeric-id":2852062,"id":"Q2852062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1cf979e1d913089622013211853c3b037231d43","datavalue":{"value":{"amount":"+0.79494309425354","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":"Q3656844$69964176-6FC1-41CE-906F-9E12DBB20B42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"010742de94d613e6cbb40233e1319c62703aef1d","datavalue":{"value":{"entity-type":"item","numeric-id":5899102,"id":"Q5899102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8c23bb50f0b93d0c79ecfd18be3d0c34e088ba8","datavalue":{"value":{"amount":"+0.7721304893493652","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":"Q3656844$F02097BC-2A46-4E48-BE42-F41E1C186A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb97bfc5a220e11cc1abb671a5654cdcadc1ee1e","datavalue":{"value":{"entity-type":"item","numeric-id":3498466,"id":"Q3498466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14ec30fbce21cf37086f2650ff7b41977be3f2b7","datavalue":{"value":{"amount":"+0.7501614093780518","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":"Q3656844$0024F769-E900-422C-904A-97BBB3243F02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07afc861fe55d194348e8777ab326795b95b1fcc","datavalue":{"value":{"entity-type":"item","numeric-id":1013091,"id":"Q1013091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e4dbe7044753ba9b48b186f4e00939332a637b1","datavalue":{"value":{"amount":"+0.7382899522781372","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":"Q3656844$933B54E6-C857-4881-A4A9-5358063D98CB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reducing equational theories for the decision of static equivalence (scientific article; zbMATH DE number 5658351)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reducing_equational_theories_for_the_decision_of_static_equivalence_(scientific_article;_zbMATH_DE_number_5658351)"}}}}}