{"entities":{"Q437026":{"pageid":438793,"ns":120,"title":"Item:Q437026","lastrevid":61818588,"modified":"2026-04-11T01:52:40Z","type":"item","id":"Q437026","labels":{"en":{"language":"en","value":"Reducing equational theories for the decision of static equivalence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6057737"}},"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":"Q437026$E033E1FE-A5A9-4D06-8AD7-C4EA2D4AE237","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bebe98c7938917f3fd1f81c421520bf390463331","datavalue":{"value":{"text":"Reducing equational theories for the decision of static equivalence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q437026$4637FD5A-E80F-4B1D-83AC-B5E2CB515A9C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e2fc45fa9bf835ebadc3128ab438bf700211eda2","datavalue":{"value":"1242.68104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q437026$A21B4E8D-4287-4808-B146-62FA39B6223F","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":"Q437026$D11C12F2-98FB-4FCB-B62A-69F954D0239B","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":"Q437026$27C37FFD-CE05-4032-B137-5DCE94A742C5","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":"Q437026$EE520C59-A991-4A83-97A0-AC16149F5382","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":"Q437026$E13D7AEA-1465-425C-8190-8F4D58B15ED8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"84ece3a61d19e8a79724038a31d8c2f410ad0a43","datavalue":{"value":{"time":"+2012-07-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q437026$979A5753-FC26-4001-8863-B99FD9D1EA30","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q437026$E9417D6B-43A1-4B97-A322-A47B04EE2D78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q437026$470E4DC3-C131-4D5F-B0EA-715D13F21D78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q437026$64DCE0EE-A6F3-456E-86C2-96CDD5970C3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q437026$B7513D27-2862-4AEF-A52A-64513070EDD1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fab90484f79fd541d506f1d3e0fbb8e9cba05444","datavalue":{"value":"6057737","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q437026$8923D4F3-DD34-4F86-97AF-1A490B6CF120","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c35932420c57e81deee91d49171fd875f50cb478","datavalue":{"value":"computer security","type":"string"},"datatype":"string"},"type":"statement","id":"Q437026$F226ECF3-4807-487A-B84E-BF9D81012775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q437026$4DFFC975-C085-4690-BDE5-708BF45181A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9afb9f37755748b127a63f4dbdb174f5fd783a7","datavalue":{"value":"static equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q437026$25D2E410-DF82-4B2B-A5E7-A3972EB74464","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fea93917e6a5dd3b24dcb498614b8cdda44d5dfc","datavalue":{"value":{"entity-type":"item","numeric-id":15278,"id":"Q15278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437026$8DFDCB2A-8CA3-491F-A99B-F0F92FEDFFEB","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":"Q437026$3FA04967-6B4A-4079-818C-3DF339B4A8FB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9549fd5c27f4802283f1444fd1f366deec3745dd","datavalue":{"value":"https://doi.org/10.1007/s10817-010-9203-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q437026$CBC16AE6-56E3-4083-9F0A-DE4A9EB78566","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"044e36842a8c44a4fc598d282b7f02a25b4a3d78","datavalue":{"value":"W2062667260","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q437026$AC53916B-6785-450D-B11E-C913A5727837","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"737414dce6c255e1c801bd9ffb1616ecb5d1d9fa","datavalue":{"value":{"entity-type":"item","numeric-id":860894,"id":"Q860894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437026$8BF2B336-FA5E-42C9-B72B-3AC95944DE96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4659e4b65a5166be2e30470c613179619fe95b23","datavalue":{"value":{"entity-type":"item","numeric-id":5178877,"id":"Q5178877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437026$EA43CF66-D8C6-48F4-81AF-206E63FBCE26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95a34c8aa545e7f9fb8eb6bef8482adc1308a8ed","datavalue":{"value":{"entity-type":"item","numeric-id":3525004,"id":"Q3525004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437026$C92A07AB-5406-4E77-9C86-28727964C0C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0c2adeed657e5d066494848492da920d3c0f772","datavalue":{"value":{"entity-type":"item","numeric-id":3636824,"id":"Q3636824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437026$6DF9FA0A-ECE2-4B7B-A9D2-94899F08C841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcd58ab5931b203c08a37c52970d4a81de79c585","datavalue":{"value":{"entity-type":"item","numeric-id":1013091,"id":"Q1013091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437026$AA1B7398-D802-4DD4-A221-98BA1EF3E8B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82ef94cd854f261a03421632ce7dd586f76d29c7","datavalue":{"value":{"entity-type":"item","numeric-id":2474047,"id":"Q2474047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437026$9059B078-AEC9-4A6B-B09D-9E1AEB1C1A3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d708a4a38b2b92b479b4b0e9d1e701a6d375848a","datavalue":{"value":{"entity-type":"item","numeric-id":4783728,"id":"Q4783728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437026$89209F23-CFF5-4460-8DBF-F9393B269367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d3f49524649e20f43a97ecdb5d69e5cf5555990","datavalue":{"value":{"entity-type":"item","numeric-id":2482450,"id":"Q2482450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437026$67E716BC-0FC9-4FD6-BD95-93EE9DBF1C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15bf8dc0860cd608277d5dad93fad76cecbb7d14","datavalue":{"value":{"entity-type":"item","numeric-id":5191113,"id":"Q5191113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437026$D23241F4-2A76-497A-ADF5-7340A989C666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fe32806edf287e44f6855c200795e18b751477f","datavalue":{"value":{"entity-type":"item","numeric-id":2751366,"id":"Q2751366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437026$D231957E-9741-4442-8BB9-E38D6B3F7D8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd2a66adde1572dd62844706f77b656f9ab64e2d","datavalue":{"value":{"entity-type":"item","numeric-id":2849571,"id":"Q2849571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437026$DA05B24B-EE9F-4179-A5B9-38ADC56777DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4a73265bad6ea50fe9fad5bfba6b38941e6752f","datavalue":{"value":{"entity-type":"item","numeric-id":3968876,"id":"Q3968876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437026$44BB14B0-63AE-4E49-840F-A4E5201D54AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a495f6b2b58938463c38d32bf26af17b988ac8e8","datavalue":{"value":{"entity-type":"item","numeric-id":2739458,"id":"Q2739458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437026$EEB3E5DA-77D5-4340-B0E9-349FE587246A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b69083aa85cb8311da4db97df4a1a7dc55d60c0","datavalue":{"value":{"entity-type":"item","numeric-id":3656844,"id":"Q3656844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q437026$60FE8D6E-3E15-48CB-8FB0-49C867B543CF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cd93c98cfd0e4c833615efe9b9c095be03bc1d7e","datavalue":{"value":"10.1007/S10817-010-9203-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q437026$50B3A0A4-B144-492C-A205-8EC24717E025","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d11aee89078d56e560ea9cc08c8d7b92f1bef08","datavalue":{"value":{"entity-type":"item","numeric-id":3656844,"id":"Q3656844"},"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":"Q437026$C136D740-6D3D-4CB6-97E0-E59753F91C9D","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":"6a1cf577045beb47866967597ad73b192107e38f","datavalue":{"value":{"amount":"+0.7954243421554565","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":"Q437026$F345AF59-9ADF-481F-BADE-716504C99FE4","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":"3a76e4f09ef3c5c392edef3b5c93c387494df3a3","datavalue":{"value":{"amount":"+0.7724365592002869","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":"Q437026$164790F1-8B96-47E6-B839-09414010FD20","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":"3a3acf9ab9d88f519da461c3ba09c4b3b6af2805","datavalue":{"value":{"amount":"+0.7496750354766846","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":"Q437026$69E29E20-DD79-4881-BD94-0633D89FE7F2","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":"c4c8ce3afb7e108e6b8cc146c6c7526d925443ca","datavalue":{"value":{"amount":"+0.7391238808631897","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":"Q437026$3954C1BB-621F-43AF-A816-07A611974228","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reducing equational theories for the decision of static equivalence","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reducing_equational_theories_for_the_decision_of_static_equivalence"}}}}}