{"entities":{"Q2867904":{"pageid":2878624,"ns":120,"title":"Item:Q2867904","lastrevid":51894794,"modified":"2026-01-20T12:05:19Z","type":"item","id":"Q2867904","labels":{"en":{"language":"en","value":"A local graph-rewriting system for deciding equality in sum-product theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6241719"}},"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":"Q2867904$A86B7E5D-B80C-48D4-8C45-9441DDEA62EE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1167f8e03bf3696f71264882f628c07cfcdd8d69","datavalue":{"value":"1278.68115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867904$CF3F8208-40D4-43A3-89A8-D4329041F1E5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b22589ac4799fa11bdf6a319668e8a088247d277","datavalue":{"value":{"entity-type":"item","numeric-id":465684,"id":"Q465684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867904$236CCBD9-E53F-4D81-B738-D365ADA700B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d6bf052f199be8ac3a90410d7f749b0e91cc935","datavalue":{"value":{"entity-type":"item","numeric-id":2867903,"id":"Q2867903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867904$019B413A-4F34-4FAA-93F9-6784FE7DF9BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc687281410ad150f448b1775c32d6b9ec61b01b","datavalue":{"value":{"entity-type":"item","numeric-id":1960260,"id":"Q1960260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867904$1C11BE75-897F-4148-8278-0B256AC7A1AD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867904$A263980A-D6FC-44A4-952B-14E85F4670DA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"910ae69968b0b824ffb07e2bd5cc35370f9e2a13","datavalue":{"value":{"time":"+2013-12-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2867904$0562984D-3720-4FCA-A65F-F7344838AF9B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867904$B82112DD-22F4-423D-9C75-A630B42BFE1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867904$F6860020-A4A1-48BD-80A0-3EFA592EB0CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f801b03095eaa0d4d7598f475b5f643a4f2f78e3","datavalue":{"value":"6241719","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867904$863D3AD0-3DD0-429E-A86A-81B673D00D59","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6430a49583aa0d495003972f707611a4330706c","datavalue":{"value":"graph-based decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867904$2181AF10-5012-43B6-8233-ABD0DA71B956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78fb6f4e6680eb5083d0b0ecb1efa809096d66bb","datavalue":{"value":"point-free programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867904$198908D0-32CF-4588-9469-7EA73C95F0D8","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":"Q2867904$D8C4E715-6FBE-4447-85D6-3CDE23AB7535","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7308566172fdc1c30f4bb5a58b740737f9d1a11f","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2006.10.031","type":"string"},"datatype":"url"},"type":"statement","id":"Q2867904$0E6CE0CF-C560-45B1-9B32-0BAAB61035F9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3519ca5bca3b6e2cd9767f60d3cbdf238c3714ad","datavalue":{"value":"W1984602545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867904$968FF15D-8403-43C7-83C9-E246C04F0B5F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"477498c9b0f4eb04e17b21d45cc402bd00036414","datavalue":{"value":{"entity-type":"item","numeric-id":4339015,"id":"Q4339015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867904$4DF79B00-25A8-4D1C-8E2F-A9E875F90DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15f915bd6752b8e731b62673178ee8eafb7e0b32","datavalue":{"value":{"entity-type":"item","numeric-id":4331824,"id":"Q4331824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867904$C03D3631-04D3-49BD-B15D-4A648902AD26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ccfd968af8cb773cbd0325ee3bafe2e06f78e1c","datavalue":{"value":{"entity-type":"item","numeric-id":4322432,"id":"Q4322432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867904$FC44C6AF-B745-482D-8AB5-33ADB393B7A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3d888f9a9bf6d1962e3fd93c776cc5efd40043e","datavalue":{"value":{"entity-type":"item","numeric-id":5055791,"id":"Q5055791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867904$1CD816C2-391F-4E6E-92F2-B18A9B485BD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e6c515c53cd15526b8909325376b292606ea9c5","datavalue":{"value":{"entity-type":"item","numeric-id":3024834,"id":"Q3024834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867904$B1BD6C5E-08C5-4C89-8AC5-2311A7EFC610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867904$CA101CB3-BF4A-4A87-805D-21A6BD527839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ad289803c0aac5fbf57ce212aab2f54d76a1713","datavalue":{"value":{"entity-type":"item","numeric-id":2707132,"id":"Q2707132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867904$1AF6E902-BEC3-4426-942D-CF6BC84C7768","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f4c2dd4780f5426e620d936e88abc6cbc0077393","datavalue":{"value":"10.1016/J.ENTCS.2006.10.031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867904$A387A603-6164-4357-A132-77F9C74D024B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b62d0e2dee702530577f81f28b05360f66ddf7a5","datavalue":{"value":{"text":"A local graph-rewriting system for deciding equality in sum-product theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2867904$3B68D01C-4E3B-4ACF-B875-7066F1F2F18D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23060c9dc1628bd92e9ce02531ff52f85143df1d","datavalue":{"value":{"entity-type":"item","numeric-id":3024834,"id":"Q3024834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91209b05a0465715c92abab46007687389697343","datavalue":{"value":{"amount":"+0.7458147406578064","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":"Q2867904$ADCEB0C3-6379-46B7-BF72-4C5DD8295775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12b9cbfb80a3c71c4bf3f247de6c661e68291464","datavalue":{"value":{"entity-type":"item","numeric-id":3612636,"id":"Q3612636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e17093e5e0c1639165892b5f689812a2751b41f","datavalue":{"value":{"amount":"+0.7452194094657898","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":"Q2867904$2CF61CF0-5B79-46D8-9DFD-4292E8A30FA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17bc13c9d109a8dd9b6efca7c6bc87021f885de0","datavalue":{"value":{"entity-type":"item","numeric-id":4645801,"id":"Q4645801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fa84045fc9c279226b92fb957842c0d4e9e0ef3","datavalue":{"value":{"amount":"+0.7282892465591431","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":"Q2867904$F00B5835-5CCE-432C-A6CF-AF29BDD36E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1b1f5f15e3094f3e2ea120ae7742ec5ab66c04c","datavalue":{"value":{"entity-type":"item","numeric-id":800736,"id":"Q800736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d4dfe5a1f49bc09eef8cebcbf5ccbec61bd2692","datavalue":{"value":{"amount":"+0.7224609851837158","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":"Q2867904$C863E827-D83A-472E-8462-12E9C911F85C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edeccf5f6a0300858d99390cc80ff527ff6657ad","datavalue":{"value":{"entity-type":"item","numeric-id":4282581,"id":"Q4282581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c8a10a487d9e49fd99694dc6f25231e7b6c6852","datavalue":{"value":{"amount":"+0.7184072136878967","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":"Q2867904$B97BB988-F833-4CB2-9499-61585665FC3B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2867904","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2867904"}}}}}